Anders Christiansen Sørby's Projects
High-level Rust library for the Activitypub protocol
Write shims from within Lean code.
Awesome widgets
Accessible AutoML for deep learning.
Bitcoin Core integration/staging tree
My Bluetooth Android remote, setting ready for public release
This is the server you would need to be able to run the Blink Android Application.
The core component that is used to participate in a Cardano decentralised blockchain.
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
The Clojure programming language
The core language compiler
A C++ header-only HTTP/HTTPS server and client library
Cryptographic routines for the Lean 4 language
Collaborative office suite, end-to-end encrypted and open-source.
An Ethereum Dapp
Defect Process (2d hack n' slash game) partial source code
A 3D RTS game implemented in Rust.
Document Generator for Lean 4
Base haskell image with hakyll and some other utilities already installed
A CSV parser for Elm.
A reusable date picker component in Elm.
Pure Elm renderer for OpenStreetMap tiles
🌲 Rust Filecoin Node Implementation
A multi-syntax functional programming language that compiles to WebAssembly.
An efficient proof language