Lists (1)
Stars
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
Protocol Buffers - Google's data interchange format
Extensions to cubical for categorical logic/type theory
A friendly programming language from the future
A collection of tools for writing technical documents that mix Coq code and prose.
A high performance caching library for Java
An interpreter for Rust's mid-level intermediate representation
EasyCrypt: Computer-Aided Cryptographic Proofs
The fastest path to AI-powered full stack observability, even for lean teams.
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
A python-ish pure and total functional programming language
Cloud-native genomic dataframes and batch computing
GeoMesa is a suite of tools for working with big geo-spatial data in a distributed fashion.
Mathematical Components compliant Analysis Library
Creusot helps you prove your code is correct in an automated fashion.
Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail called μSail and verifies separation logic-based contracts of fu…
The batteries-included full-stack framework for the AI era. Develop JS/TS web apps (React, Node.js, and Prisma) using declarative code that abstracts away complex full-stack features like auth, bac…
Public repository for Abstact Algebra Theory and Applications
uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.
A formalization of continuation-passing style calculi in Coq [WIP]
Programming language for literate programming law specification
A static analyzer for Java, C, C++, and Objective-C