Anders Christiansen Sørby's repositories
OpenSSL.lean
OpenSSL bindings for Lean
Language:CMIT000
DigitalExtinction
A 3D RTS game implemented in Rust.
elm-datepicker
A reusable date picker component in Elm.
itch
🎮 The best way to play your itch.io games
MIT000
Megaparsec.lean
Lean 4 port of Megaparsec
Language:LeanMIT000
nickel-nix
An experimental Nix toolkit to use nickel as a language for writing nix packages, shells and more.
Quantum.lean
Quantum computing with Lean
Socket.lean
A toy implementation of socket programming for Lean 4.
Language:CApache-2.0000
std4
Standard Library for Lean 4
Language:LeanApache-2.0000
yatima-lang
A verifiable computing language
Language:LeanMIT000