Lapin0t

py-swirld

Python implementation of the Swirld byzantine consensus algorithm

grothendieck-cern

Alexander Grothendieck's 1972 talk at CERN, on scientific research

induction-recursion

formalization of ornaments on indexed inductive-recursive definitions

amcr

abstract machine for classical realizability

ophiuchus

[WIP] Stellar Consensus Protocol implementation

mu-mu-tilde

A mini formalization of μμ͂ and classical realizability

ogs

operational game semantics, formalized in Coq

static-sort

compile-time sorting networks in rust

extempore

A cyber-physical programming environment

extempore-aur

lambda-encoding

Deriving induction principles for lambda-encoded datatypes in Coq

ordinals

a couple formalizations of ordinals in agda

lumdareman

agda

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

agda-patch

https://arxiv.org/pdf/1311.3903.pdf

borg

Deduplicating archiver with compression and authenticated encryption.

coinduction

coinduction library for Coq

generic-syntax

A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs

imonad

mcbride-style indexed monads in agda

InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq

lambda

Lambda calculus in agda

leo-app

linear

PLR 2020 @ Gallinette w/ Guilhem Jaber

plr2-scratch

ppass

Password management and generation

pyglet

pyglet is a cross-platform windowing and multimedia library for Python, for developing games and other visually rich applications.

pynacl

Python binding to the Networking and Cryptography (NaCl) library

tentacles

Project for the Distributed System class (https://shared.hadriencroubois.com/teaching/2016-M1-SystDist/project.pdf)

turris-wwan

supervisor for qmi modems on openwrt (turris omnia)

yt-dlp

A youtube-dl fork with additional features and fixes