ramla-i Goto Github PK
Type: User
Type: User
Building seL4 and generating Rust bindings based on feL4 configuration
minimal linear algebra library for finding the pseudo inverse
Linux kernel source tree
General matrix multiplication of f32 and f64 matrices in Rust. Supports matrices with general strides.
offsetof for Rust
Rust MetroHash
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.
copy-pasted from old rust stdlib
A library for computing the Fast Fourier Transform (FFT) in one or two dimensions.
A collection of numeric types and traits for Rust.
Complex numbers for Rust
Mirror of https://gitlab.redox-os.org/redox-os/ralloc
The rbtree for Rust
RedLeaf Operating System
Mirror of https://gitlab.redox-os.org/redox-os/drivers
A linear algebra library written in Rust
Custom derivation macro for Rust
Intel x86 intrinsics (_mm_*) for Rust.
Simple malloc implementation.
A mixed-radix FFT library written in pure Rust
how to use EGA display with Sel4
No-assurance libraries for rapid-prototyping of seL4 apps.
Basic seL4 example programs.
a smol tcp/ip stack
Snabb: Simple and fast packet networking
Ensure correct assumptions about constants, types, and more in Rust
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.