Distributed ledger framework for developing solutions and applications
Markdown with superpowers, from ideas to papers, and presentations
A header-only C++ library for interacting with crypto exchanges
TypeDB: a strongly-typed database
jQuery grid plugin
Reactive Extensions for the JVM
Animated illustrations, one-click data structure
A networking framework that evolves with your application
A source code analyzer built for surfacing features of interest
An extensible multilanguage static code analyzer
Convert curl commands to Python, JavaScript, Go, PHP, etc.
An AI agent development platform with all-in-one visual tools
Everything you need to know to get the job.
TLC is an explicit state model checker for specifications in TLA+
Static site generator for .NET API documentation
Mobile database: a replacement for Core Data & SQLite
Template-driven engine to generate documentation
The MongoDB drivers for Java, Kotlin, and Scala
Examples for the usage of LaTeX
Repository for the book "Crafting Interpreters"
Clojure & ClojureScript Language Server (LSP) implementation
A set of tools that keep Java sweet
Capstone disassembly/disassembler framework
Simplified version of ZXing, optimized to scan codes to generate QR