brunoczim's repositories
typed-symmetric-interaction
Typed abstract calculi, typed version of https://github.com/maiavictor/symmetric-interaction-calculus
linux-conio
A (very incomplete) compatibility library so Linux users can work with Conio projects. Implemented on ncurses.
phoneshift
Linguistical sound shift DSL (domain specific language)
dicionario-termos-funcionais
Dicionario de termos funcionais traduzidos
000
failure
Error management
Language:RustApache-2.0000
lazy-static.rs
A small macro for defining lazy evaluated static variables in Rust.
Language:RustApache-2.0000
same
Tools for testing identity of objects in Rust
Language:Rust000
spin-rs
A spinlock for rust
Language:RustMIT000
thread_local-rs
Per-object thread-local storage for Rust
Language:RustApache-2.0000
updatehub
WIP: A generic and safe Firmware Over-The-Air agent for Embedded and Industrial Linux-based devices
Language:RustApache-2.0000