Stars
Enkel is a simple programming language running on the jvm
🧙♀️ Move Fast and Break Nothing. End-to-end typesafe APIs made easy.
Type safe middleware architecture for HTTP servers
LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
🌈 React for interactive command-line apps
A modern animation library for React and JavaScript
🎆Interactive Online Platform that Visualizes Algorithms from Code
Specification for interoperability of common algebraic structures in JavaScript
Generate type guard functions from TypeScript interfaces
A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web
LLVM bindings for .NET Standard written in C# using ClangSharp
An introduction to programming language theory in Agda
A suite of packages designed to provide low-level APIs for interoperable libraries.
Write more elegant Azure Functions with less boilerplate, more consistency, and support for REST APIs. Docs can be found at https://functionmonkey.azurefromthetrenches.com
📘 A comprehensive handbook on how to create transformers for TypeScript with code examples.
Clio is a functional, parallel, distributed programming language.
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
TypeScript-first schema validation with static type inference
🦊 JavaScript as the query language for your API
Statically typechecks a common SQL dialect and translates it to various RDBMS backends