Lists (1)
Stars
The Moby Project - a collaborative project for the container ecosystem to assemble container-based systems
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
OpenTitan: Open source silicon root of trust
Linux virtual machines, with a focus on running containers
Visualizer for neural network, deep learning and machine learning models
Packet, where are you? -- eBPF-based Linux kernel networking debugger
The web framework for content-driven websites. ⭐️ Star to support our work!
High performance ordinary differential equation (ODE) and differential-algebraic equation (DAE) solvers, including neural ordinary differential equations (neural ODEs) and scientific machine learni…
An acausal modeling framework for automatically parallelized scientific machine learning (SciML) in Julia. A computer algebra system for integrated symbolics for physics-informed machine learning a…
PlayStation 4 emulator for Windows, Linux and macOS written in C++
DyninstAPI: Tools for binary instrumentation, analysis, and modification.
CTF framework and exploit development library
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies
🚀 Automatically deploy your project to GitHub Pages using GitHub Actions. This action can be configured to push your production-ready code into any branch you'd like.
A C++ bare metal environment for Raspberry Pi with USB (32 and 64 bit)
A Swift package for parsing, building, editing, and analyzing Markdown documents.
High-performance and differentiation-enabled nonlinear solvers (Newton methods), bracketed rootfinding (bisection, Falsi), with sparsity and Newton-Krylov support.
A computer algebra system written in pure Python