ncfavier Goto Github PK

gentle-intro-to-reflection

A slow-paced introduction to reflection in Agda. ---Tactics!

glam

The guarded λ-calculus

graded-type-theory

A Logical Relation for Martin-Löf Type Theory in Agda

home-manager

Manage a user environment using Nix [maintainer=@rycee]

hottest-summer-school

HoTTEST Summer School materials

html-charset

Determine character encoding of HTML documents/fragments

hydra

Hydra, the Nix-based continuous build system

ibus

Intelligent Input Bus for Linux/Unix

install-nix-action

Installs Nix on GitHub Actions for the supported platforms: Linux and macOS.

irc-client

This project is essentially abandonware!

irc-conduit

This project is essentially abandonware!

jailbreak-cabal

Strip version restrictions from build dependencies in Cabal files.

jq

Command-line JSON processor

jq-optics

👓 A toy jq implementation using optics

kahn

Various Kahn process network implementations for the OS class project at ENS

knob

Memory-backed handles

lambdabot

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

lens

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

ll

Internship on the phase semantics of linear logic

marvin

Microprocessor simulator for the digital electronics project at ENS

mathematics-and-computation

Andrej Bauer's blog "Mathematics and Computation"

misfortune

A fortune-mod clone

monade.li

My website

mosh

Mobile Shell

mpd

Music Player Daemon

mueval

A secure sandboxed Haskell interpreter for pure function evaluation

muri

A theorem prover for intuitionistic propositional logic

ncfavier.github.io

ni

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

nix

Nix, the purely functional package manager