Projects in Awesome Lists by ncfavier
A curated list of projects in awesome lists by ncfavier .
https://github.com/ncfavier/config
My NixOS configurations
dotfiles nix-flake nixos nixos-configuration
Last synced: 16 Mar 2025
https://github.com/ncfavier/glam
Polymorphic guarded λ-calculus
guarded-recursion lambda-calculus
Last synced: 11 Feb 2025
https://github.com/ncfavier/muri
A theorem prover for intuitionistic propositional logic
curry-howard-isomorphism intuitionistic-logic theorem-prover
Last synced: 10 Apr 2025
https://github.com/ncfavier/cubical-experiments
Experiments with Cubical Agda
agda cubical-type-theory homotopy-type-theory
Last synced: 17 Feb 2025
https://github.com/ncfavier/jq-optics
👓 A toy jq implementation using optics
Last synced: 17 Feb 2025
https://github.com/ncfavier/ni
A stack-based concatenative programming language (and an IRC bot for some reason)
concatenative-language stack-based
Last synced: 10 Apr 2025
https://github.com/ncfavier/kana-no-sensei
A tool for learning hiragana and katakana
hiragana japanese-language katakana
Last synced: 16 May 2025
https://github.com/ncfavier/pgo
Tiny Go compiler for the compilation project at ENS
Last synced: 17 Feb 2025
https://github.com/ncfavier/streetlight
`sed streetlight <<< reeter` == lighter
Last synced: 17 Feb 2025
https://github.com/ncfavier/marvin
Microprocessor simulator for the digital electronics project at ENS
digital-circuits microprocessor simulator
Last synced: 16 May 2025
https://github.com/ncfavier/ll
Internship on the phase semantics of linear logic
Last synced: 16 May 2025
https://github.com/ncfavier/kahn
Various Kahn process network implementations for the OS class project at ENS
Last synced: 16 May 2025