Lasse Møldrup's repositories
Language:TypeScript000
demand-pointer-analysis
Tests for demand-driven pointer analyses
Language:Rust000
Language:Rust000
lambda-calculus
A lambda calculus interpreter written in Rust
Language:Rust000
lambda-calculus-hs
A simple lambda calculus interpreter in Haskell.
Language:Haskell000
b-tree
An augmented B-tree implementation in Rust
Language:Rust000
biodivine-lib-param-bn
Rust library for working with parametrised Boolean networks.
MIT000
Language:Java000
Language:TypeScript000
locs
Simple line counter in Rust
Language:Rust000
Language:CSS000
portfolio
A website where I showcase some of my coding projects.
Language:Svelte000
Language:Rust000
spicy-sat-solver
A SAT solver with added spice.
Language:Rust000
simple-sat-solver-rs
A simple naive SAT solver.
simplechess
A simple chess engine in Java.
Language:Java000
PhysicsJS
Physics simulator in JavaScript
Language:JavaScript000