terohuttunen

Pinned Repositories

miniKanren_org-website
Files for the miniKanren.org website. If you would like to update the site, please do so and send a pull request!
Language:HTML10 4 128
libc
Raw bindings to platform APIs for Rust
Language:Rust00
proto-vulcan
A relational logic programming language embedded in Rust.
Language:Rust12 2 41
scars
RTOS for hard real-time applications
Language:Rust00

terohuttunen's Repositories

terohuttunen/proto-vulcan
A relational logic programming language embedded in Rust.
Language:Rust12 2 41
terohuttunen/libc
Raw bindings to platform APIs for Rust
Language:Rust00
terohuttunen/scars
RTOS for hard real-time applications
Language:Rust00