Pinned Repositories
amcr
abstract machine for classical realizability
grothendieck-cern
Alexander Grothendieck's 1972 talk at CERN, on scientific research
induction-recursion
formalization of ornaments on indexed inductive-recursive definitions
lambda-encoding
Deriving induction principles for lambda-encoded datatypes in Coq
mu-mu-tilde
A mini formalization of μμ͂ and classical realizability
ogs
operational game semantics, formalized in Coq
ophiuchus
[WIP] Stellar Consensus Protocol implementation
py-swirld
Python implementation of the Swirld byzantine consensus algorithm
Lapin0t's Repositories
Lapin0t/py-swirld
Python implementation of the Swirld byzantine consensus algorithm
Lapin0t/grothendieck-cern
Alexander Grothendieck's 1972 talk at CERN, on scientific research
Lapin0t/induction-recursion
formalization of ornaments on indexed inductive-recursive definitions
Lapin0t/amcr
abstract machine for classical realizability
Lapin0t/ophiuchus
[WIP] Stellar Consensus Protocol implementation
Lapin0t/mu-mu-tilde
A mini formalization of μμ͂ and classical realizability
Lapin0t/ogs
operational game semantics, formalized in Coq
Lapin0t/static-sort
compile-time sorting networks in rust
Lapin0t/extempore
A cyber-physical programming environment
Lapin0t/extempore-aur
Lapin0t/lambda-encoding
Deriving induction principles for lambda-encoded datatypes in Coq
Lapin0t/ordinals
a couple formalizations of ordinals in agda
Lapin0t/lumdareman
Lapin0t/agda
Agda is a dependently typed programming language / interactive theorem prover.
Lapin0t/agda-patch
https://arxiv.org/pdf/1311.3903.pdf
Lapin0t/borg
Deduplicating archiver with compression and authenticated encryption.
Lapin0t/coinduction
coinduction library for Coq
Lapin0t/generic-syntax
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
Lapin0t/imonad
mcbride-style indexed monads in agda
Lapin0t/InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
Lapin0t/lambda
Lambda calculus in agda
Lapin0t/leo-app
Lapin0t/linear
PLR 2020 @ Gallinette w/ Guilhem Jaber
Lapin0t/plr2-scratch
Lapin0t/ppass
Password management and generation
Lapin0t/pyglet
pyglet is a cross-platform windowing and multimedia library for Python, for developing games and other visually rich applications.
Lapin0t/pynacl
Python binding to the Networking and Cryptography (NaCl) library
Lapin0t/tentacles
Project for the Distributed System class (https://shared.hadriencroubois.com/teaching/2016-M1-SystDist/project.pdf)
Lapin0t/turris-wwan
supervisor for qmi modems on openwrt (turris omnia)
Lapin0t/yt-dlp
A youtube-dl fork with additional features and fixes