rokopt's Stars
typicode/husky
Git hooks made easy 🐶 woof!
syl20bnr/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
HigherOrderCO/HVM
A massively parallel, optimal functional runtime in Rust
joncampbell123/dosbox-x
DOSBox-X fork of the DOSBox project
anoma/namada
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
yhzhang0128/egos-2000
Envision a future where every student can read all the code of a teaching operating system.
jzimmerman/langcc
langcc: A Next-Generation Compiler Compiler
stateright/stateright
A model checker for implementing distributed systems.
grin-compiler/grin
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
Robert-van-Engelen/tinylisp
Lisp in 99 lines of C and how to write one yourself. Includes 20 Lisp primitives, garbage collection and REPL. Includes tail-call optimized versions for speed and reduced memory use.
magmide/magmide
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
precog/matryoshka
Generalized recursion schemes and traversals for Scala.
higherkindness/droste
recursion schemes for cats; to iterate is human, to recurse, divine
BlockstreamResearch/simplicity
Simplicity is a blockchain programming language designed as an alternative to Bitcoin script.
lanl/quantum_algorithms
Codes accompanying the paper "Quantum algorithm implementations for beginners"
anoma/vamp-ir
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
msakai/cpl
An interpreter of Hagino's Categorical Programming Language (CPL).
bolt12/advent-of-haskell-dd
Day 9 of Advent of Haskell - Denotational Design
thrumdev/nomt
bennorth/literate-git
Render hierarchical git repositories into HTML
morphic-lang/morphic
Pure functional programming with whole-program mutability inference
IntersectMBO/formal-ledger-specifications
Formal specifications of the cardano ledger
khinsen/leibniz-pharo
Leibniz - a Digital Scientific Notation
anoma/geb
A Categorical View of Computation
anoma/typhon
Formalization of Typhon protocol
anoma/research
Early-stage research related to the Anoma protocols.
anoma/juvix-stdlib
The Juvix standard library
anoma/anoma-blog
ngzhian/shift-reset-ochacaml
Shift and Reset with OchaCaml
ymyzk/ochacaml
Unofficial fork of OchaCaml