78,850 visible repositories in the index
529–552 of 954 · 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
Common Lisp to JavaScript compiler
formally verified category theory library
Official GitHub repository for netCDF-Fortran libraries, which depend on the netCDF C library. Install the netCDF C library first.
WATSON: Wasted but Amazing Turing-incomplete Stack-based Object Notation
GTK4/Libadwaita/WebKit2 bindings for Common Lisp.
A JavaScript library for building React applications in more functional way. Alternative to JSX.
:alarm_clock: A lightweight implementation of Promises in Swift
JavaScript Engine for .NET
Sento - Actor framework featuring actors and agents for easy access to state and asynchronous operations.
A high-performance, thread-safe generic concurrent hash map implementation with Swiss Map.
Mypy static type checker plugin for Pytest
TypeQL: Built for systems, not records
Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy
Erlang state "monad" with merge/conflict-resolution capabilities. Useful for Riak.
Formal proof of the Four Color Theorem [maintainer=@ybertot]
This is an engine that converts data of one structure to another, based on a configuration file which describes how. There is an accompanying syntax to make writing mappings easier and more robust.
Strip console, alert, and debugger statements from JavaScript code
Elegance, high performance and robustness all in one java bean mapper
High performance System.Threading.(Value)Task computation expressions for F#
🛠 A full-featured dependency injection container for go programming language.
F# computation expression builder for System.Threading.Tasks
A simple, flexible, extensible, and liberal RSS and Atom reader for Ruby. It is designed to be backwards compatible with the standard RSS parser, but will never do RSS generation.