Anderssorby
Regenify Tech. Worked on the Yatima language. Studied mathematics and statistics with an interest in Machine Learning.
Sopra SteriaNorway
Pinned Repositories
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
yatima-lang-alpha
A programming language for the decentralized web
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/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/elm-datepicker
A reusable date picker component in Elm.
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/itch
🎮 The best way to play your itch.io games
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/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