Highlights
- Pro
Lists (32)
Abstract/Virtual Machines
Ada Ecosystem
Assembly Ecosystem
Books
C Ecosystem
Computer Networking
Confidential Computing
Config Management
Cursed Projects
Databases
Formal Development
Formal Methods
Fundamental Theories
Homomorphic Encryption
Kotlin Native
Lean Ecosystem
Linux Distro
OCaml Ecosystem
Operating Systems
Programming Languages
Resource Guides
Rust Ecosystem
Theorem Prover
TUI
user interface libraries for terminalTVLK
all stared traveloka's repositories are hereTypesetter
Unikernels
WASM Ecosystem
Web App Framework
Web Frontend Libs/Frameworks
Web3
Zig Ecosystem
Stars
A polyglot document intelligence framework with a Rust core. Extract text, metadata, and structured information from PDFs, Office documents, images, and 50+ formats. Available for Rust, Python, Rub…
Spin is the open source developer tool for building and running serverless applications powered by WebAssembly.
Ghidra is a software reverse engineering (SRE) framework
Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
A fast, versioned, distributed Datalog engine for everyone.
Full-featured, open source mail server solution for mainstream Linux/BSD distributions.
An immutable SQL database for application development, time-travel reporting and data compliance. Developed by @juxt
ZeroFS - The Filesystem That Makes S3 your Primary Storage. ZeroFS is 9P/NFS/NBD on top of S3. Initially built for www.merklemap.com
A rugged, minimal framework for composing JavaScript behavior in your markup.
A terminal workspace with batteries included
🚀 Fast, secure, lightweight containers based on WebAssembly
WasmEdge is a lightweight, high-performance, and extensible WebAssembly runtime for cloud native, edge, and decentralized applications. It powers serverless apps, embedded functions, microservices,…
permaweb / HyperBEAM
Forked from samcamwilliams/HyperBEAMAn implementation of AO: the A(ctor) O(riented) supercomputer for the permaweb.
Framework and Language for Neurosymbolic Programming.
A high-performance algorithmic trading platform and event-driven backtester
Web framework for Zig that leverages dependency injection for clean, modular application development.
Use any web browser or WebView as GUI, with Zig in the backend and modern web technologies in the frontend, all in a lightweight portable library.
A simple and easy-to-use library to enjoy videogames programming
A simple and easy-to-use immediate-mode gui library
Manually tweaked, auto-generated raylib bindings for zig. https://github.com/raysan5/raylib