Foundations-of-HPC / High-Performance-Computing-2024View external linksLinks
☆21Jun 26, 2025Updated 7 months ago
Alternatives and similar repositories for High-Performance-Computing-2024
Users that are interested in High-Performance-Computing-2024 are comparing it to the libraries listed below
Sorting:
- Material didático de apoio para a disciplina de Linguagens de Programação☆26Sep 11, 2024Updated last year
- bypass system calls using BPF☆50Apr 1, 2025Updated 10 months ago
- ☆384Feb 1, 2026Updated last week
- Visual Studio Code extension for Coq☆432Dec 10, 2025Updated 2 months ago
- A fast and flexible allocator for no_std and WebAssembly☆524Jun 14, 2025Updated 7 months ago
- Userspace eBPF runtime for Observability, Network, GPU & General Extensions Framework☆1,381Jan 26, 2026Updated 2 weeks ago
- Kernel-Bypass LibOS Architecture☆1,212Nov 12, 2025Updated 3 months ago
- FB (Facebook) + GEMM (General Matrix-Matrix Multiplication) - https://code.fb.com/ml-applications/fbgemm/☆1,530Updated this week
- Pragmatic microkernel-based OS with fully asynchronous I/O☆1,855Feb 7, 2026Updated last week
- MirageOS is a library operating system that constructs unikernels☆2,832Jan 27, 2026Updated 2 weeks ago
- Want to know NixOS & Flakes in detail? Looking for a beginner-friendly tutorial? Then you've come to the right place! 想要学习使用 NixOS 与 F…☆3,004Updated this week
- A machine learning compiler for GPUs, CPUs, and ML accelerators☆3,973Updated this week
- Visualize Ownership and Lifetimes in Rust☆4,980Feb 7, 2026Updated last week
- The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…☆5,351Updated this week
- High-quality QR Code generator library in Java, TypeScript/JavaScript, Python, Rust, C++, C.☆6,416Jan 23, 2025Updated last year
- Radix Themes is an open-source component library optimized for fast development, easy maintenance, and accessibility. Maintained by @work…☆8,132Updated this week
- “Zero setup” cross compilation and “cross testing” of Rust crates☆8,010Feb 6, 2026Updated last week
- A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/☆12,889Updated this week
- Open-source vector similarity search for Postgres☆19,799Jan 22, 2026Updated 3 weeks ago
- Writing an OS in Rust☆17,276Updated this week
- HTTP routing and request-handling library for Rust that focuses on ergonomics and modularity☆24,874Feb 4, 2026Updated last week
- Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust.☆24,299Updated this week
- Qdrant - High-performance, massive-scale Vector Database and Vector Search Engine for the next generation of AI. Also available in the cl…☆28,766Updated this week
- A cross-platform GUI library for Rust, inspired by Elm☆29,453Updated this week
- Extremely fast Query Engine for DataFrames, written in Rust☆37,354Updated this week
- A markup-based typesetting system that is powerful and easy to learn.☆51,147Updated this week
- A curated list of Rust code and resources.☆55,569Updated this week
- Small exercises to get you used to reading and writing Rust code!☆61,742Jan 22, 2026Updated 3 weeks ago
- Empowering everyone to build reliable and efficient software.☆110,115Updated this week
- Master the command line, in one page☆159,787Jun 25, 2024Updated last year
- Freely available programming books☆382,406Updated this week
- ☆22Sep 29, 2022Updated 3 years ago
- Implementation of Flash Attention in Jax☆225Mar 1, 2024Updated last year
- Nanomsg FFI Bindings for PicoLisp☆20Dec 12, 2021Updated 4 years ago
- N64 emulator☆11Sep 8, 2022Updated 3 years ago
- ECHO is a Progressive Web App (PWA) that recommends music based entirely on your personal listening profile. It uses cutting-edge AI to e…☆20Jan 13, 2025Updated last year
- Simple package manager for urbit☆12Mar 10, 2018Updated 7 years ago
- [DEPRECATED] Annotation based intent builder for Android activities and services☆27Mar 18, 2018Updated 7 years ago
- ☆36Dec 6, 2019Updated 6 years ago