CosminGGeorgescu's repositories
Language:Rust000
cargo-make
Rust task runner and build tool.
Language:RustApache-2.0000
draft
C++ standards drafts
Language:TeX000
duckscript
Simple, extendable and embeddable scripting language.
Language:RustApache-2.0000
FPC
Repo for the Fundamentals of Compiler Design course
Language:RustGPL-2.0000
Language:Jupyter Notebook000
kibi
A text editor in ≤1024 lines of code, written in Rust
Language:RustNOASSERTION000
Language:Python000
Language:JavaScript000
Language:Python000
Language:Python000
Language:Python000
tock
A secure embedded operating system for microcontrollers
Language:RustNOASSERTION000
libtock-rs
Rust userland library for Tock
Language:RustApache-2.0000
rust
Empowering everyone to build reliable and efficient software.
Language:RustNOASSERTION000