Stars
The firmware of LinnStrument, an Open Revolutionary Expressive Musical Performance Controller
A framework for simulating quantum mechanical thought experiments in projectq
jangnur / Quanundrum
Forked from Croydon-Brixton/qthoughtA framework for simulating quantum mechanical thought experiments in projectq
A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
Machine Learning Toolkit accompanying The Little Learner by Daniel P. Friedman and Anurag Mendhekar
An Agda formalization of "division by 2" in classical ZF without choice.
HoTTEST Summer School materials
Some tools for making Agda videos with syntax highlighting
personal Agda HoTT library (borrows plenty from HoTT-Agda and agda-stdlib)
Experimental implementation of Cubical Type Theory
theseus, functional programming language with fully reversible computation
A compiler for the gradually typed lambda calculus
♾ A Graph Visualization Framework in JavaScript.
Emacs major and minor modes for Racket: edit, REPL, check-syntax, debug, profile, packages, and more.
Python - 100天从新手到大师
"Lispsy" Lisp(ish) to C Converter (designed for CLISP)
Repo for counting stars and contributing. Press F to pay respect to glorious developers.
PySonar2: a semantic indexer for Python with interprocedual type inference
Programs from the book Lisp in Small Pieces, updated to work on modern schemes
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
For live demo, see http://lh3lh3.users.sourceforge.net/bioseq.shtml
JavaScript audio decoding framework