Bjørnar Steinnes Luteberget's repositories
minisat-rs
Rust crate which compiles minisat and provides an interface (C/C++ compiler required)
browserfilewatch
Send file updates to browser using WebSocket
Language:Rust000
Language:Rust000
Language:Python000
deadlockrail
Railway deadlock checker
Language:Rust000
Language:C000
ipamir-rs
IPAMIR MaxSAT solver interface for Rust
Language:Rust000
Language:Python000
lsqr-rs
[WIP] Rust port of LSQR: Sparse Equations and Least Squares
Language:Rust000
000
Language:Rust000
paraspace
Timelines planner
Language:RustMIT000
000
Language:Rust000
Language:Rust000
Language:Rust000
Language:Python000
rlua
High level Lua bindings to Rust
Language:CNOASSERTION000
Language:HTML000
Language:Rust000
Language:C000
skeletonrailway
Sketch railway infrastructure
Language:Rust000
slotmapvec-rs
Slot map data structure for Rust
Language:RustMIT000
Language:PythonMIT000