80,339 visible repositories in the index
145–168 of 238 · Most stars
High-performance immutable data structures for modern JavaScript and TypeScript applications. Functional interfaces, deep/composite operations API, mixed mutability API, TypeScript definitions, ES2015 module exports.
Sophisticated and functionally-minded async with advanced features: coroutines, promises, ES2015 iterables, fantasy-land
formally verified category theory library
A high-performance engine for matrix math, physics simulation, and MCAD and ECAD as code. RunMat checks types, sizes and units before anything runs, executes on CPU and GPU, and runs existing MATLAB-language code as written.
A JavaScript library for building React applications in more functional way. Alternative to JSX.
A TLA+ interpreter and model checker in TypeScript
Mathematical Components compliant Analysis Library
Verifying Signal's security at the machine-code level
A Blazor WebAssembly app for browsing the "Awesome Blazor" resources.
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
Lispbuilder provides a range of libraries for developing useful portable Common Lisp applications
🌟 DataFormsJS 🌟 A minimal JavaScript Framework, standalone React and Web Components, and JSX Compiler for rapid development of high quality websites and single page applications.
A lightweight lexical string parser for BBCode styled markup.
A Verified Compiler for Gallina, Written in Gallina
Extism Go SDK - easily run WebAssembly modules in your Go applications
A reactive dataflow programming language for the AI era, with automatic parallelization and very high standards of static verification
Helper modules for OTP applications
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
A Lean formalization of the Classification of Finite Simple Groups
Automatically exported from code.google.com/p/llvm-lua
Post-build IL optimizer and intermediate representation for .NET programs
:incoming_envelope: A fast Message/Event Hub using publish/subscribe pattern with support for topics like* rabbitMQ exchanges for Go applications
TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.