Lists (30)
Sort Name ascending (A-Z)
agda
autodiff
c/c++
compiler
cpp
cuda
diffusion
dynamic
elisp
emacs
fortran
functional_python
futhark
generative_model
haskell_utils
juliaTensors
lang
llm
MCMC
MD
molecular dynamicnumeric
ocaml
optimizer
protein&matter
qc_formal_verification
quantum computing
rl
statistics
symbolic
theorem_prove
- All languages
- Agda
- BQN
- C
- C#
- C++
- Chapel
- Clojure
- Common Lisp
- Coq
- Cuda
- Cython
- D
- Dart
- Dhall
- Dylan
- Earthly
- Elixir
- Emacs Lisp
- F#
- F*
- Fortran
- Futhark
- Gnuplot
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- Makefile
- Markdown
- Mathematica
- Nim
- OCaml
- OpenEdge ABL
- OpenQASM
- PHP
- PowerShell
- Prolog
- Python
- Q#
- Racket
- ReScript
- Reason
- Rich Text Format
- Roff
- Rust
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- Tcl
- TeX
- TypeScript
Starred repositories
(MIRROR) Quantumsim, a GPU-accellerated full density matrix simulator of quantum circuits
An implementation of the Fermionic Neural Network for ab-initio electronic structure calculations
OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
Emacs minor mode to highlight indentation
Intermediate Language (IL) for Hardware Accelerator Generators
A parser combinator library for Emacs Lisp, similar to Haskell's Parsec library.
Efficiently computes derivatives of NumPy code.
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
The core OCaml system: compilers, runtime system, base libraries
The QuTiP quantum information processing package
The best C-like language that can be implemented in 10kLOC.
An incremental parsing system for programming tools
Measurement-free Qunatum Error Correction past, present and future
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
a language for fast, portable data-parallel computation
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.