Stars
A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development snapshots. Submit issues and PRs here.
Techniques and numbers for estimating system's performance from first-principles
A library for building fast, reliable and evolvable network services.
PureScript bindings for the framer-motion animation library for React
Type Level Regular Expressions
Exemplary real world application built with PureScript + Halogen
TypeScript for Tiny IoT Devices (ESP32, RP2040, ...)
Neon: Serverless Postgres. We separated storage and compute to offer autoscaling, code-like database branching, and scale to zero.
YTsaurus is a scalable and fault-tolerant open-source big data platform.
An uroboros program with 100+ programming languages
An introduction to programming language theory in Agda
The core of an open-source, distributed, highly scalable platform designed to provide robust telecom services
A strongly-typed language that compiles to JavaScript
A Multi-Raft implementation for Erlang and Elixir that strives to be efficient and make it easier to use multiple Raft clusters in a single system.
The Arweave server and App Developer Toolkit.
A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.
Represent large sets and maps compactly with finite state transducers.
Domain-Specific Languages of Mathematics
Wrong project! You should head over to http://github.com/sshuttle/sshuttle
Deprecated in favor of https://github.com/facebook/duckling
Lovely console emulator package for Windows
Luigi is a Python module that helps you build complex pipelines of batch jobs. It handles dependency resolution, workflow management, visualization etc. It also comes with Hadoop support built in.