Lists (1)
Stars
A graph node engine and editor written in Javascript similar to PD or UDK Blueprints, comes with its own editor in HTML5 Canvas2D. The engine can run client side or server side using Node. It allow…
Interactive external NotITG inspector and debugger
Effing package management! Build packages for multiple platforms (deb, rpm, etc) with great ease and sanity.
Lean 4 formalization of the Luby sequence, offering recursive, tree, and state-machine characterizations, proofs and lemmas.
A lovingly crafted handwriting-style monospace font.
Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, StarRocks
Welcome to the ultimate list of resources for formal verification techniques and tools. This repository aims to provide an organized collection of high-quality resources to help professionals, rese…
Browser extension that automatically notifies and redirects you to independent wikis.
libSQL is a fork of SQLite that is both Open Source, and Open Contributions.
All-in-one LLM CLI tool featuring Shell Assistant, Chat-REPL, RAG, AI Tools & Agents, with access to OpenAI, Claude, Gemini, Ollama, Groq, and more.
An implementation of Joshua Yanovski's Ghost Cell paper.
MiniFB is a small cross platform library to create a frame buffer that you can draw pixels in
Upstream repo for the claude-desktop-native AUR package.
Analyze how a Git repo grows over time
OSS-Fuzz - continuous fuzzing for open source software.
🌟 For when you really just want to serve some files over HTTP right now!
An efficient graphical Minecraft seed finder and map viewer.
A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust