Sweden

Naïm Camille Favier

Expert
@ncfavier

aka ncf. PhD student working on cubical type theory. Trying to move to Codeberg.

monade.li

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

28

glam. Polymorphic guarded λ-calculus

22

agda-stuff. My Agda stuff

13

knob. Memory-backed handles

11

muri. A theorem prover for intuitionistic propositional logic

10

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

7

aoc. Advent of Code solutions in Haskell

6

misfortune. A fortune-mod clone

6

jq-optics. 👓 A toy jq implementation using optics

5

bothendieck. An IRC bot

4

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

3

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

3

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

3

pgo. Tiny Go compiler for the compilation project at ENS

1

contravariant. Haskell 98 contravariant functors

1

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

1

recaman. Recamán sequence visualization

1
17
Apply