overshiki
Follow
Lists (30)
agda
1 repository
autodiff
3 repositories
c/c++
3 repositories
compiler
59 repositories
cpp
1 repository
cuda
4 repositories
diffusion
1 repository
dynamic
13 repositories
elisp
1 repository
emacs
1 repository
fortran
7 repositories
functional_python
4 repositories
futhark
4 repositories
generative_model
2 repositories
haskell_utils
36 repositories
juliaTensors
3 repositories
lang
46 repositories
llm
2 repositories
MCMC
35 repositories
MD
molecular dynamic7 repositories
numeric
7 repositories
ocaml
2 repositories
optimizer
6 repositories
protein&matter
61 repositories
qc_formal_verification
1 repository
quantum computing
67 repositories
rl
2 repositories
statistics
6 repositories
symbolic
7 repositories
theorem_prove
2 repositories
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.
