Naïm Favier (@ncfavier)
github

ncfavier

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    67
  • Global Rank 277,624 (Top 10 %)
  • Followers 73
  • Following 45
  • Registered over 11 years ago
  • Most used languages
    Haskell
         63.6 %
    Agda     9.1 %
    Nix
         9.1 %
    HTML
         9.1 %
    Shell
         9.1 %
  • Location 🇫🇷 France
  • Country Total Rank 6,631
  • Country Ranking
    Agda     5
    Nix
         19
    Haskell
         40
    Shell
         2,248
    HTML
         5,630

Top repositories

1

config

My NixOS configurations
Nix
21
star
2

knob

Memory-backed handles
Haskell
11
star
3

glam

The guarded λ-calculus
Haskell
8
star
4

aoc

Advent of Code solutions in Haskell
Haskell
6
star
5

muri

A theorem prover for intuitionistic propositional logic
Haskell
4
star
6

cubical-experiments

Fun with 🧊
Agda
4
star
7

dotfiles

My old configuration files. See https://github.com/ncfavier/config
Shell
3
star
8

ni

A stack-based concatenative programming language (and an IRC bot for some reason)
Haskell
2
star
9

jq-optics

👓 A toy jq implementation using optics
Haskell
1
star
10

recaman

Recamán sequence visualization
HTML
1
star
11

pgo

Tiny Go compiler for the compilation project at ENS
Haskell
1
star