emeinhardt's Stars
debauchee/barrier
Open-source KVM software
flox/flox
Developer environments you can take with you
andrejbauer/plzoo
Programming Languages Zoo
google/codeworld
Educational computer programming environment using Haskell
mickeynp/combobulate
Structured Editing and Navigation in Emacs with Tree-Sitter
divnix/std
A DevOps framework for the SDLC with the power of Nix and Flakes. Good for keeping deadlines!
lecopivo/SciLean
Scientific computing in Lean 4
purenix-org/purenix
Nix backend for PureScript. Transpile PureScript code to Nix.
inpla/inpla
Inpla: Interaction nets as a programming language (the current version)
disco-lang/disco
Functional teaching language for use in a discrete mathematics course
jespercockx/agda-lecture-notes
Agda lecture notes for the Functional Programming course at TU Delft
avigad/lamr
Logic and Mechanized Reasoning
pettarin/ipapy
ipapy is a Python module to work with International Phonetic Alphabet (IPA) strings
leanprover-community/lean4-samples
Code samples for Lean 4
TOTBWF/refinery
⛏️ A refinement proof framework for haskell
TOTBWF/tactic-haskell
Tactic Metaprogramming in Haskell
LEXUGE/oceanix
OpenCore bootloader manager with Nix
JamesGallicchio/LeanColls
WIP collections library for Lean 4
ChrisPenner/proton
Haskell Profunctor Optics experiments
curry-packages/pflp
Probabilistic Functional Logic Programming
arthurpaulino/LeanREPL
Kha/nale
Nix + Lean = Nale
lecopivo/lean4-karray
tydeu/lean4-itertools
A Lean 4 library for iterators.
gabriel-fallen/bidirectional-demo
A demo implementation of a simple bidirectional type-checker in Lean 4.
Procrat/xmonad-contexts
Context switch for XMonad: switch between sets of workspaces
tydeu/folktale
Knights and Knaves logic puzzles formalized in Lean 4.
disco-lang/disco_lang_kernel
Jupyter kernel for the Disco language.
lambdaJasonYang/Lean4FFI
Minimal Working Sample of Lean 4 calling C++ functions with Foreign Function Interface (FFI)
PolyB/LeanPythonRaw
Raw Lean4 bindings to python C-API