Skantz's Stars
UniMath/TypeTheory
The mathematical study of type theories, in univalent foundations
DeepSpec/InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
shvbsle/React-Jupyter-Viewer
A react component to embed .ipyb notebooks in a blog or something
Skantz/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
kuniss/xtext-ide-extensions
IDE extensions for the Xtext grammar language, mainly for VSCode and Theia/Gitpod
itemis/xtext-languageserver-example
An Example for an Xtext Language Server
textX/textX-LS
Language server for domain specific languages based on textX
marcelovicentegc/django-react-typescript
This is a non-opinionated Django 5 + React 18 boilerplate built with great development experience and easy deployment in mind.
UniMath/SymmetryBook
This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
UniMath/Foundations
Voevodsky's original development of the univalent foundations of mathematics in Coq
corail-research/SeaPearl.jl
Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.
QuickChick/QuickChick
Randomized Property-Based Testing Plugin for Coq
duckki/lean-quantum
Formalized quantum computing in Lean theorem prover
Qbricks/qbricks.github.io
HoTT/Coq-HoTT
A Coq library for Homotopy Type Theory
mko-x/docker-compose-code-server
The code-server project in docker-compose. Run Visual Studio Code remote on a server served in browser.
mirage/ocaml-tar
Pure OCaml library to read and write tar files
Skantz/tsp
algorithms - minimum spanning trees, traveling salesmen
CPMpy/cpmpy
Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.
SHoltzen/dice
Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
GaPhil/crypto-calendar
optapy/optapy
OptaPy is an AI constraint solver for Python to optimize planning and scheduling problems.
ocurrent/ocurrent
Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)
inhabitedtype/ocaml-webmachine
A REST toolkit for OCaml
voila-dashboards/voila
VoilĂ turns Jupyter notebooks into standalone web applications
mixxxdj/libkeyfinder
Musical key detection for digital audio, GPL v3
EasyCrypt/easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
mthom/scryer-prolog
A modern Prolog implementation written mostly in Rust.
Z3Prover/z3
The Z3 Theorem Prover
janestreet/ppx_fields_conv
Generation of accessor and iteration functions for ocaml records