Norway

Anders Christiansen Sørby

Expert
@Anderssorby

Developing the Monad language. Interested in NixOS, RISC-V, Quantum comp. and Rust.

SDL.lean. SDL2 bindings for lean

24

Nix.lean. Nix expressions and derivations in lean (in development)

10

FORCE-2019-core. Python

2

hextech. A turn based dynamic strategy game written in Haskell (unfinished)

1

Godot.lean. Nix

1

DocGen4.lean. Document Generator for Lean 4

1

atproto-fun. TypeScript

1

rustyverse. Rust ActivityPub node (wip)

1

rust-web-play. Trying out Rust with Actix and SurrealDB

1

bitcoin. Bitcoin Core integration/staging tree

1

event-app. Rust

1

Corecompiler. The core language compiler

1
12
Apply