nrolland

helloNixShebang

collection of hello world with **precise dependencies** in various languages

fp-papers

nrolland.github.com

adjointFoldsHaskell

brew-testtap

category-papers

category papers

challenge

Strongly-typed System F in Haskell

dth

Examples of Dependently-typed programs in Haskell

easy_rust

Rust explained using easy English

embeddedInterpretersHaskell

embeddedInterpretersHaskell

hello-world-http

http-hello-world

helloworld

homebrew-core

🍻 Default formulae for the missing package manager for macOS

leftpad

leftpad library for lean4

lftcm2023

mathematics_in_lean

The user home repository for the Mathematics in Lean tutorial.

mathematics_in_lean_source

Source code for the Mathematics in Lean tutorial.

mathlib4

The math library of Lean 4

nix-index

Quickly locate nix packages with specific files

nixos-homepage

Sources for nixos.org

nixpkgs-config

~/.config/nixpkgs

nrolland

ocaml

The core OCaml system: compilers, runtime system, base libraries

ocaml-1

Exercism exercises in OCaml.

odoc_bug

refine

Build your React-based CRUD applications, without constraints.

sharemytodo

A stateless web app made with Cloudflare Workers and Svelte that allows you to create shareable to-do lists

stackage

"Stable Hackage": vetted consistent packages from Hackage

test-brew

brew recipe test

test-crypt