DrRuisseau

aneris

Program logic for developing and verifying distributed systems

category-lecture-notes

certainty-by-construction

cubical-mini

derivation

Configured derivation library for scala 3

Dive_into_Haskell

Dive into Haskell: Examples of all features of this Pure Functional programing language

docker-volumes.sh

The docker-export and docker-commit commands do not save the container volumes. Use this script to save and load the container volumes.

DreamBerd

perfect programming language

flix

The Flix Programming Language

funind

giter8

a command line tool to apply templates defined on GitHub

helix

A post-modern modal text editor.

herringtondarkholme.github.io

install-nix-action

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

izumi

Productivity-oriented collection of lightweight fancy stuff for Scala toolchain

klac_fork

KL Agda course

lisa

Proof assistant based on first-order logic and set theory

math342-project

My final project for Topology, a writeup on Higher Homotopy Groupoids.

multi-poly-cats

Multicategories (someday Polycategories?) in Cubical Agda

nixpkgs

Nix Packages collection

privateGPT

Interact privately with your documents using the power of GPT, 100% privately, no data leaks

quivr

Dump all your files and thoughts into your GenerativeAI Second Brain and chat with it

reactiveScala

Example of Features, Reactive and Pure functional programing in Scala

rzk

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

smithy

Smithy is a protocol-agnostic interface definition language and set of tools for generating clients, servers, and documentation for any programming language.

steel

An embedded scheme interpreter in Rust

topology

General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]

unification-agda-

Notes (and implementation) of unification with binders

zettlemath

My zettlekasten notes for math in latex.

zio-path

ZIO Path