Anderssorby
Worked on the Yatima language. Studied mathematics and statistics with an interest in Machine Learning.
Sopra SteriaNorway
Pinned Repositories
atproto-fun
bitcoin
Bitcoin Core integration/staging tree
Corecompiler
The core language compiler
DocGen4.lean
Document Generator for Lean 4
FORCE-2019-core
hextech
A turn based dynamic strategy game written in Haskell (unfinished)
Nix.lean
Nix expressions and derivations in lean (in development)
OpenSSL.lean
OpenSSL bindings for Lean
SDL.lean
SDL2 bindings for lean
nixpkgs
Nix Packages collection & NixOS
Anderssorby's Repositories
Anderssorby/SDL.lean
SDL2 bindings for lean
Anderssorby/Nix.lean
Nix expressions and derivations in lean (in development)
Anderssorby/atproto-fun
Anderssorby/hextech
A turn based dynamic strategy game written in Haskell (unfinished)
Anderssorby/OpenSSL.lean
OpenSSL bindings for Lean
Anderssorby/Cli.lean
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Anderssorby/cryptpad
Collaborative office suite, end-to-end encrypted and open-source.
Anderssorby/DigitalExtinction
A 3D RTS game implemented in Rust.
Anderssorby/forest
🌲 Rust Filecoin Node Implementation
Anderssorby/helix
A post-modern modal text editor.
Anderssorby/Html.lean
Html processing for lean based on doc-gen4
Anderssorby/Http.lean
Basic Http functionality in Lean (unfinished)
Anderssorby/indigo
Go source code for Bluesky's atproto services.
Anderssorby/lake
Lean 4 build system and package manager with configuration files written in Lean.
Anderssorby/lean4
Lean 4 programming language and theorem prover
Anderssorby/LeanPlay
A play project using lean4
Anderssorby/lurk-rs
Anderssorby/mathlib4
Work in progress mathlib port for lean 4
Anderssorby/Megaparsec.lean
Lean 4 port of Megaparsec
Anderssorby/nale
Nix + Lean = Nale
Anderssorby/nickel-nix
An experimental Nix toolkit to use nickel as a language for writing nix packages, shells and more.
Anderssorby/nixpkgs
Nix Packages collection
Anderssorby/Quantum.lean
Quantum computing with Lean
Anderssorby/SciLean
Scientific computing in Lean 4
Anderssorby/Socket.lean
A toy implementation of socket programming for Lean 4.
Anderssorby/spectral
Anderssorby/std4
Standard Library for Lean 4
Anderssorby/straume
State-of-the-art streams for Lean 4
Anderssorby/yatima-lang
A verifiable computing language
Anderssorby/YatimaStdLib.lean