Lists (2)
Stars
LazyFS: A FUSE Filesystem with an internal dedicated page cache, which can be used to simulate data loss on unsynced writes
Property-based testing for Rust, built on Hypothesis
An open-source component library built for Tailwind CSS. Inspired by Shadcn UI.
Snapshotable WebAssembly interpreter from scratch. Includes a time travel debugger
Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier
A multi core friendly rigid body physics and collision detection library. Written in C++. Suitable for games and VR applications. Used by Horizon Forbidden West and Death Stranding 2.
A tiny experimental language designed to be targeted by coding LLMs
Zork I (Microcomputer Version) by Infocom
An ergonomic and safe syscall interception framework for Linux.
A components library built with Tailwind CSS that works with any web stack.
A Simple showcase for the Sea-of-Nodes compiler IR
DbUp is a .NET library that helps you to deploy changes to SQL Server databases. It tracks which SQL scripts have been run already, and runs the change scripts that are needed to get your database …
Aho-Corasick multi-string search for .NET and SQL Server.
Powerful, pliable pixel perfection. An advanced Hugo theme.
Franken UI is an HTML-first UI component library built on UIkit 3 and extended with LitElement, inspired by shadcn/ui.
A type-safe TypeScript SQL query builder
⚙️ Convert HTML to Markdown. Even works with entire websites and can be extended through rules.
System-F type-checker written in Haskell
Svelte inside Phoenix LiveView with seamless end-to-end reactivity
A resource for learning the OTP framework with the Gleam programming language
Full Source Code for Making a Language series
Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
Free TailwindCSS HTML UI Components - built to create landing pages and websites. Easyfrontend UI components are free and open-source. show your support and love, don't forget to give us a star 🌟
Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci