⚓ A collection of high-performance JavaScript tools.
Repository Index
47,133 repositories indexed
1–24 of 67 · Most stars
An extremely fast CSS parser, transformer, bundler, and minifier written in Rust.
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
A minimalistic ClojureScript interface to React.js
The Rubinius Language Platform
🔘 Minimalistic and High-performance goroutine worker pool written in Go
- go
- goroutine-pool
- worker-pool
- worker-pool-factory
jOOλ - The Missing Parts in Java 8 jOOλ improves the JDK libraries in areas where the Expert Group's focus was elsewhere. It adds tuple support, function support, and a lot of additional functionality around sequential Streams. The JDK 8's main efforts (default methods, lambdas, and the Stream API) were focused around maintaining backwards compatibility and implementing a functional API for parallelism.
The minimalistic but powerful, modular, functional reactive programming library in JavaScript.
Implementation of python itertools and builtin iteration functions for C++17
Safe and idiomatic TypeScript types to handle null, error, and async code handling: Maybe, Result, and Task types that are really nice.
- typescript
- typescript-library
- typescript-definitions
- functional-programming
A Leiningen plugin for a superior development environment
DFA regular expression library & friends
- fsm
- regex
- lexer-generator
- regexp
Sail architecture definition language
High-performance, minimalist async-io (proactor) networking for Golang.
- asyncio
- proactor
- c10k
- epoll
🚀 fast JavaScript 4 Eclipse Vert.x
- vertx
- language-support
- javascript
- typescript
Compiles C# code by first rewriting the syntax trees of LINQ expressions using plain procedural code, minimizing allocations and dynamic dispatch.
parser for Google ProtocolBuffers definition
An opinionated F# Library for error handling
- fsharp
- error-handling
- railway-oriented-programming
- category-theory
A small JavaScript library for defining and using union types.
Macros for defining monads, and definition of the most common monads
This is a header only C++ version of inih.
Mini audio library
- golang
- audio
- alsa
- wasapi
The Ott tool for writing definitions of programming languages and calculi
XSD (XML Schema Definition) parser and Go/C/Java/Rust/TypeScript code generator
- xsd
- xsd-schema
- xml
- xml-parser