Naïm Camille Favier

config. Moved to https://codeberg.org/ncf/config

glam. Polymorphic guarded λ-calculus

agda-stuff. My Agda stuff

knob. Memory-backed handles

muri. A theorem prover for intuitionistic propositional logic

graded-type-theory. A Logical Relation for Martin-Löf Type Theory in Agda

aoc. Advent of Code solutions in Haskell

misfortune. A fortune-mod clone

jq-optics. 👓 A toy jq implementation using optics

bothendieck. An IRC bot

dotfiles. My old configuration files. See https://github.com/ncfavier/config

ni. A stack-based concatenative programming language (and an IRC bot for some reason)

dice. Simplistic D&D style dice-rolling system.

pgo. Tiny Go compiler for the compilation project at ENS

contravariant. Haskell 98 contravariant functors

lambdabot. A friendly IRC bot and apprentice coder, written in Haskell.

recaman. Recamán sequence visualization