High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.
Repository Index
47,133 repositories indexed
265–288 of 295 · Most stars
PEG parser generator for VB6
- vb6
- peg
- parser
- grammar
Run speedtest-cli and publish results via MQTT
Run DuckDB inside Excel VBA: pandas-style analytics via in-process SQL + native C bridge. High-speed Range/Array ingestion, Parquet/CSV/JSON I/O.
Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]
- coq
- mathcomp
- modal-logics
- ctl
Augments Hunchentoot error pages and logs with request and session information.
- web
- hunchentoot
- lisp
- common-lisp
JVM runtime execution analysis - finds hot code paths by frequency, not CPU time
- asm
- bytecode
- code-coverage
- java
A string argument parser that understands quotes and backslashes
ScalaNative bindings for Qt5
- scala-native
- qt5
Tiny simple blocking queue in erlang
Compiler & Runtime for 'Almost Binary'. Code in platform-independent binary and utilize high-level data structures and state-of-the-art libraries (e.g. quantum computing, blockchain, ..)
- binary
- compiler
- runtime
- csharp
A dynamic binding to libpq for the D Programming Language.
Zero-config, auto-scaling worker pool for Go with priority-aware scheduling, adaptive resource management, and per-task retry logic.
- async
- auto-scaling
- backpressure
- concurrency
Ada bindings for the MQTT broker mosquitto.
(almost) Fully functional GraphQL request parser written completely using TypeScript's typing system
Docker images of coq-mathcomp [maintainer=?]
Fast and flexible HTTP request parser for Go
- go-library
- golang
- http
- middleware
Extra contribution for mathcomp
- theorem-proving
- primality-test
- matroid
- rsa-algorithm
Solving the mini Rubik (2x2) in Coq
- theorem-proving
- formalization
- rubik-cube
- 2x2x2
A production-quality expert-system shell, written in thoroughly modern Common Lisp.
A Scala Native wrapper of the LIBPQ C library
Formal proof in Coq of Puiseux's Theorem.
A GraphQL parser for python
Anime quote web app that fetches data from Animechan (https://animechan.vercel.app/)