83,586 visible repositories in the index
169–192 of 777 · Most stars
Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.
Postmodern immutable and persistent data structures for C++ — value semantics at scale
Parse RSS, Atom and JSON feeds in Go
python parser for human readable dates
A Parser Combinator library for C
Html Agility Pack (HAP) is a free and open-source HTML parser written in C# to read/write DOM and supports plain XPATH or XSLT. It is a .NET code library that allows you to parse "out of the web" HTML files.
A statically typed programming language for scientific computations with first class support for physical dimensions and units
The repository host gives no description.
Container to WASM converter
Parser Building Toolkit for JavaScript
clasp Common Lisp environment
bpython - A fancy curses interface to the Python interactive interpreter
Modern concurrency for C++. Tasks, executors, timers and C++20 coroutines to rule them all
Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.
A C++ library of Concurrent Data Structures
Goodbye CoffeeScript, hello JavaScript!
A code rewrite tool for structural search and replace that supports ~every language.
Keystone assembler framework: Core (Arm, Arm64, Hexagon, Mips, PowerPC, Sparc, SystemZ & X86) + bindings
An embedded scheme interpreter in Rust
High-performance browser-grade HTML5 parser
Useful extensions to the standard Python datetime features
CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
Mirage Persistent Kernel: Compiling LLMs into a MegaKernel
RDFLib is a Python library for working with RDF, a simple yet powerful language for representing information.