ramla-i Goto Github PK

agora

biscuit

Biscuit research OS

blas

Wrappers for BLAS (Fortran)

blas-sys

Bindings to BLAS (Fortran)

blog_os

Writing an OS in Rust

bm_linux

cargo-fel4

A Cargo subcommand for working with feL4 projects.

comp

comp513_project1

Testbench for project 1 of comp 513

core_affinity_rs

Rust crate for managing CPU core affinities

cpsc429_prusti_demo

cs537-os-project-1a

cs537-os-project-2a

cs537-os-project-3a

cs537-os-project-4a

fel4-config

Parsing, transformation and validation for feL4 configuration data

fft-rust

A fast fft library in pure Rust

first-fit-verification

generic_linked_list

gnuplot

Unofficial mirror of gnuplot's git repository. Please don't open pull requests here, go to https://sourceforge.net/p/gnuplot/gnuplot-main/merge-requests/ instead.

hashbrown

Rust port of Google's SwissTable hash map

hello-world

My first ever repository!!!

intel-mkl-src

Redistribute Intel MKL as a crate

intrusive-rs

Intrusive collections for Rust

ironclad

The MSR Ironclad project builds provably secure and reliable systems.

ixy.rs

Rust rewrite of the ixy network driver

labrador-ldpc

LDPC encoding and decoding for Labrador

lapack

Wrappers for LAPACK (Fortran)

lapack-sys

Bindings to LAPACK (Fortran)

libc

Raw bindings to platform APIs for Rust