Ramla-I

Pinned Repositories

Agora
Language:C++0 1 00
biscuit
Biscuit research OS
Language:Go0 1 00
blas
Wrappers for BLAS (Fortran)
Language:Rust0 1 00
blas-sys
Bindings to BLAS (Fortran)
Language:Rust0 1 00
blog_os
Writing an OS in Rust
Language:HTML0 1 00
bm_linux
Language:Rust0 1 00
cargo-fel4
A Cargo subcommand for working with feL4 projects.
Language:Rust0 1 00
CoMP
Language:C++0 1 00
comp513_project1
Testbench for project 1 of comp 513
Language:Rust0 1 00
core_affinity_rs
Rust crate for managing CPU core affinities
Language:Rust0 1 00

Ramla-I's Repositories

Ramla-I/Agora
Language:C++0 1 00
Ramla-I/cpsc429_prusti_demo
Language:Rust1 0
Ramla-I/first-fit-verification
Language:Rust0 0
Ramla-I/generic_linked_list
Language:Rust1 0
Ramla-I/gpt_for_hal
Language:Python
Ramla-I/intrusive-rs
Intrusive collections for Rust
Language:Rust0 0
Ramla-I/Ironclad
The MSR Ironclad project builds provably secure and reliable systems.
Language:Dafny0 0
Ramla-I/ixy.rs
Rust rewrite of the ixy network driver
Language:Rust
Ramla-I/linear-veribetrkv-artifact
Ramla-I/LOSC
Lightweight OS Correctness
Language:Python
Ramla-I/memoffset
offsetof for Rust
Language:Rust1 0
Ramla-I/MoonGen
MoonGen is a fully scriptable high-speed packet generator built on DPDK and LuaJIT. It can saturate a 10 Gbit/s connection with 64 byte packets on a single CPU core while executing user-provided Lua scripts for each packet. Multi-core support allows for even higher rates. It also features precise and accurate timestamping and rate control.
Language:Lua0 0
Ramla-I/proc-assertions
A solution for clearly verifying your code through procedural assumptions in Rust.
Language:Rust
Ramla-I/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
Ramla-I/ramla-i.github.io
Language:HTML
Ramla-I/range_inclusive
Language:Rust1 0
Ramla-I/redleaf
RedLeaf Operating System
Language:Rust0 0
Ramla-I/redox-drivers
Mirror of https://gitlab.redox-os.org/redox-os/drivers
Language:Rust
Ramla-I/snabb
Snabb: Simple and fast packet networking
Language:Lua1 0
Ramla-I/static-assertions
Ensure correct assumptions about constants, types, and more in Rust
Language:Rust0 0
Ramla-I/tester
Language:Lua
Ramla-I/Theseus
A modern experimental OS written from scratch in Rust to experiment with novel OS structure and state management.
Language:Rust1 01
Ramla-I/theseus_proofs
1 0
Ramla-I/tinynf
Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without overhead is practical" (ICSE 2023)
Ramla-I/trusted_chunk
Language:Rust1 0
Ramla-I/trusted_linked_list
linked list verified with Prusti
Language:Rust1 0
Ramla-I/verified_driver_functions
Language:Rust1 0
Ramla-I/verified_ranges
Language:Rust1 0
Ramla-I/vigor
Main repository of the Vigor NF verification project.
Ramla-I/volatile
Language:Rust0 0