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