Pinned Repositories
atplt-project
b-tree
An augmented B-tree implementation in Rust
backend
biodivine-lib-param-bn
Rust library for working with parametrised Boolean networks.
bracket-rl
Crypto
demand-pointer-analysis
Tests for demand-driven pointer analyses
frontend
Kingly
A (WIP) UCI compliant chess engine written in Rust
simple-sat-solver-rs
A simple naive SAT solver.
lassemoldrup's Repositories
lassemoldrup/Kingly
A (WIP) UCI compliant chess engine written in Rust
lassemoldrup/simple-sat-solver-rs
A simple naive SAT solver.
lassemoldrup/atplt-project
lassemoldrup/b-tree
An augmented B-tree implementation in Rust
lassemoldrup/backend
lassemoldrup/biodivine-lib-param-bn
Rust library for working with parametrised Boolean networks.
lassemoldrup/bracket-rl
lassemoldrup/Crypto
lassemoldrup/demand-pointer-analysis
Tests for demand-driven pointer analyses
lassemoldrup/frontend
lassemoldrup/lambda-calculus
A lambda calculus interpreter written in Rust
lassemoldrup/lambda-calculus-hs
A simple lambda calculus interpreter in Haskell.
lassemoldrup/lassemoldrup.github.io
lassemoldrup/locs
Simple line counter in Rust
lassemoldrup/PhysicsJS
Physics simulator in JavaScript
lassemoldrup/portfolio
A website where I showcase some of my coding projects.
lassemoldrup/simplechess
A simple chess engine in Java.
lassemoldrup/spicy-sat-solver
A SAT solver with added spice.