Stars
Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, StarRocks
My attempt at an NFA-based regular expression engine (in haskell)
Jabel - unlock Javac 9+ syntax when targeting Java 8
Experiments with higher-kinded types and object algebras in C#
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
Online demo without installing at - https://buildit.so/tryit
A networking framework that evolves with your application
State of the art mutation testing system for the JVM
A simple library for Haskell that allows relational programming.
An opinionated list of resources for learning Haskell
Fast persistent recoverable log and key-value store + cache, in C# and C++.
An encoding of linear logic in Coq with minimal Sokoban and blocks world examples
Play Minesweeper by formally proving your moves in Idris
playground for working with succinct data structures
💰Expense tracker using Google Sheets 📉 as a storage written in React
Small minimal examples of modern cryptographic techniques in Haskell
A complete computer science study plan to become a software engineer.
A library that provides an embeddable, persistent key-value store for fast storage.
A type-safe, high-level SQL library for Haskell
Haywire is an asynchronous HTTP server framework written in C that's built using the event loop based libuv platform layer that node.js is built on top of.
Runtime type system for IO decoding/encoding