Context sensitive completion for OCaml in Vim and Emacs

Programming language for literate programming law specification

A minimal block sparse symmetric and fermionic tensor python library

Abstract machines for functional programming languages

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

BP+OSD: Belief propagation with ordered statistics post-processing for decoding quantum LDPC codes

Type level string parser combinators

Quantum computational chemistry based on TensorCircuit

An efficient graph library for Haskell

A modern supercompiler for call-by-value functional languages

⏰ Collaboratively track worldwide conference deadlines (Website, Python Cli, Wechat Applet) / If you find it useful, please star this project, thanks~

Fast low-rank updates (LRU) of matrix determinants and pfaffians in JAX

A Julia library for Majorana propagation simulation of fermionic quantum circuits and quantum systems.

A project to digitalise results from physics into Lean.

A low-level OpenQASM benchmark suite for NISQ evaluation and simulation. Please see our paper for details.

Verified compiler from LambdaBox to WebAssembly, C, Rust, and OCaml

An ott-like DSL embedded in Lean.

A categorical programming language with effects

QOS: Quantum Operating System

An Efficient and Scalable Sparse Quantum Simulator

Skala exchange-correlation functional

Jeff is a structured, extensible, and simple interchange format for quantum compilers. Designed to foster collaboration and accelerate research by providing a common language for compilers to commu…

shadchen is a common lisp pattern matching library.

Automated Reasoning in Nonlinear Theories of Reals

Experiments about intermediate representations in compilers

shadchen is an emacs lisp pattern matching library

💽 Soothing pastel theme for Tmux

Racket parser combinators inspired by parsack and megaparsec