Anders Christiansen Sørby's Projects
A Fractal Physics Game
Mars is a tensor-based unified framework for large-scale data computation.
Mask R-CNN for object detection and instance segmentation on Keras and TensorFlow
Your self-hosted, globally interconnected microblogging community
Work in progress mathlib port for lean 4
Matrix Client-Server SDK for Rust
maze game encoded in Lean 4 syntax
Lean 4 port of Megaparsec
Common Lisp machine learning library.
Minetest is an open source voxel game engine with easy modding and game creation
Various side projects and experimentation
Moonad: a p2p academic journal, or a social network for code?
Easily package your Maven Java application with the Nix package manager.
Generate project-info.json for use with nix's Maven repository generation functions
Nix + Lean = Nale
Lean bindings to the Neptune hasher
An experimental Nix toolkit to use nickel as a language for writing nix packages, shells and more.
Library to easily and effortlessly integrate Cargo projects with Nix.
An interactive Nix documentation tool providing a CLI for function search, a Nix plugin for docs in the REPL, and a ctags implementation for Nix script
A drop-in replacement for nix-serve that is faster and more reliable
Nix expressions and derivations in lean (in development)
Nix Packages collection
Project in nummerical mathemathics
A personal framework for deep learning experiments
OpenSSL bindings for Lean