programming languages, formal verification, functional programming, game theory.
Lists (2)
Sort Name ascending (A-Z)
- All languages
- Agda
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- D
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- F*
- Go
- HTML
- Haskell
- Haxe
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- Makefile
- Mathematica
- Motoko
- Nim
- Nix
- OCaml
- Objective-C
- Odin
- PHP
- PureScript
- Python
- R
- Racket
- Ruby
- Rust
- SMT
- Scala
- ShaderLab
- Shell
- Smalltalk
- Solidity
- Standard ML
- Stylus
- Swift
- TeX
- TypeScript
- V
- Verilog
- WebAssembly
- Zig
Starred repositories
9
stars
written in Jupyter Notebook
Clear filter
This repository contains implementations and illustrative code to accompany DeepMind publications
Official inference library for Mistral models
Solve puzzles. Improve your pytorch.
The Virtual Feature Store. Turn your existing data infrastructure into a feature store.
Multiple NVIDIA GPUs or Apple Silicon for Large Language Model Inference?
Videos, notes and experiments to understand deep learning
Tutorial on creating your own GAN in Tensorflow
Experimental algorithms. Unsupported.