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
</> htmx - high power tools for HTML
The first Open-Source high-performance MTA developed from the ground-up for high-volume email sending environments.
Your Personal AI super intelligence. Private, Simple and extremely powerful.
Lean 4 port of Iris, a higher-order concurrent separation logic framework
Light, fluffy, and always free - The AWS Local Emulator alternative
a Lean4 framework for the modeling and refinement of stateful systems
The fastest macOS package manager. Written in Zig. 3ms warm installs.
A Zig-native web framework. File-based routing, SSR, type-safe APIs, WASM client interactivity. No Node. No npm. Just zig build serve.
🚀 An open and lightweight modification to Windows, designed to optimize performance, privacy and usability.
🌱Light and powerful C++ web framework for highly scalable and resource-efficient web application. It's zero-dependency and easy-portable.
A self hosted virtual browser that runs in docker and uses WebRTC.
A graphical processor simulator and assembly editor for the RISC-V ISA
This repository contains the source code of toro unikernel
🚀2.3x faster than MinIO for 4KB object payloads. RustFS is an open-source, S3-compatible high-performance object storage system supporting migration and coexistence with other S3-compatible platfor…
Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞
A polyglot document intelligence framework with a Rust core. Extract text, metadata, images, and structured information from PDFs, Office documents, images, and 97+ formats. Available for Rust, Pyt…
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 aims to be a production-grade Linux alternative—memory safe, high-performance, and more.
Versioned, fast, 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 - ZeroFS serves S3-compatible buckets as POSIX filesystems over NFS and 9P, or as raw block devices over NBD.
A rugged, minimal framework for composing JavaScript behavior in your markup.