ncfavier

Naïm Camille Favier's repositories

config

My NixOS configurations

Language:NixISC22 20

knob

Memory-backed handles

Language:HaskellMIT11 2 2

aoc

Advent of Code solutions in Haskell

Language:HaskellISC6 20

cubical-experiments

Experiments with Cubical Agda

Language:AgdaGPL-3.05 20

bothendieck

An IRC bot

Language:HaskellISC3 20

contravariant

Haskell 98 contravariant functors

Language:HaskellNOASSERTION100

nix-tree

Interactively browse dependency graphs of Nix derivations.

Language:HaskellBSD-3-Clause1 10

1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Language:AgdaAGPL-3.0020

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellNOASSERTION010

brainfuck

This is an interpreter of the brainf*ck language, written in the pure, lazy, functional language Haskell.

Language:HaskellGPL-2.0010

curl-cookiejar

A parser and pretty-printer for cURL and wget cookie jar files

Language:HaskellMIT000

data-interval

Interval datatype, interval arithmetic, and interval-based containers for Haskell

Language:HaskellNOASSERTION010

dependent-sum-template

Template Haskell code to generate instances of classes in some package

Language:Haskell010

feh

a fast and light image viewer

Language:CNOASSERTION000

haskell-challenges

Code challenges to solve with Haskell

Language:HaskellMIT000

irc-client

This project is essentially abandonware!

Language:HaskellMIT010

irc-conduit

This project is essentially abandonware!

Language:HaskellMIT010

monade.li

My website

Language:HTML020

niv

Easy dependency management for Nix projects

Language:HaskellMIT010

nix-bash-completions

Bash completion for the Nix command line tools

Language:ShellBSD-3-Clause000

nix-haskell-updates-status

Automatically-updated Hydra status of the `haskell-updates` branch in Nixpkgs

BSD-3-Clause000

nix-serve-ng

A drop-in replacement for nix-serve that is faster and more reliable

Language:HaskellNOASSERTION010

nixpkgs

Nix Packages collection

Language:NixMIT020

pygments

Pygments is a generic syntax highlighter written in Python

BSD-2-Clause000

qeval

qemu+nix for code evaluation

Language:Nix020

rust-xcb-util

Rust bindings and wrappers for XCB utility functions.

Language:RustMIT000

rzk

An experimental proof assistant based on a type theory for synthetic ∞-categories.

Language:Haskell010

these

An either-or-both data type, with corresponding hybrid error/writer monad transformer.

000

wezterm

A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust

Language:RustNOASSERTION000

xhmm

Extra home manager modules

Language:NixApache-2.0010