jrakow's Stars
rust-lang/rust
Empowering everyone to build reliable and efficient software.
bigskysoftware/htmx
</> htmx - high power tools for HTML
compiler-explorer/compiler-explorer
Run compilers interactively from your web browser and interact with the assembly
automerge/automerge-classic
A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.
Z3Prover/z3
The Z3 Theorem Prover
rust-bakery/nom
Rust parser combinator framework
munificent/craftinginterpreters
Repository for the book "Crafting Interpreters"
rustwasm/wasm-bindgen
Facilitating high-level interactions between Wasm modules and JavaScript
cplusplus/draft
C++ standards drafts
automerge/automerge
A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.
koka-lang/koka
Koka language compiler and interpreter
bigskysoftware/_hyperscript
a small scripting language for the web
supabase/pg_graphql
GraphQL support for PostgreSQL
inspec/inspec
InSpec: Auditing and Testing Framework
orbitinghail/sqlsync
SQLSync is a collaborative offline-first wrapper around SQLite. It is designed to synchronize web application state between users, devices, and the edge.
Instawork/hyperview
Server-driven mobile apps with React Native
rust-sailfish/sailfish
Simple, small, and extremely fast template engine for Rust
pstavirs/ostinato
Ostinato - Packet/Traffic Generator and Analyzer
bigskysoftware/idiomorph
A DOM-merging algorithm
bigskysoftware/hypermedia-systems
A book on building Hypermedia Driven Applications with htmx and Hyperview
RWTH-OS/eduOS-rs
A teaching operating system written in Rust
yoshuawuyts/html
Type-safe HTML support for Rust
render-rs/render.rs
🔏 A safe and simple template engine with the ergonomics of JSX
yilmaznaslan/berlin-auslaenderbehorde-termin-bot
A simple way to automate booking an appointment at Berlin Ausländerbehörde using java and selenium framework