A parser combinator library written in the Swift programming language.
- parser
- parser-combinators
- swift
- functional
Repository Index
47,133 repositories indexed
361–384 of 698 · Most stars
The Frenetic Programming Language and Runtime System
Template your base files and generate new projects from Git(Hub).
- generator
- scaffolding
- templates
- schema
C Header Translator for Delphi
- header-translators
- clang-parsing-process
- clang
- delphi
A functional JavaScript library that facilitates currying and point-free programming
- ai-friendly
- composition
- curry
- currying
Sound Processing Language for Web Audio
Extended version of Rambda
- ramda
- rambda
- utils
- lodash
Functional data types and functions for any project
Functional programming in R
Tiny library (<200B gzip) for deferring something by a "tick"
- defer
- javascript
- async
- wait
interactive programming of melodies, producing MIDI
⛓ A chainable interface for Swift's async/await.
- async-await
- swift5
- concurrency
- async
A formalization of geometry in Coq based on Tarski's axiom system
A Simplest in-memory and Distributed Storage-Agnostic Message Queue for Your Concurrent Go Program
- concurrency
- go
- goroutine
- priority-queue
Lispbuilder provides a range of libraries for developing useful portable Common Lisp applications
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- raft
- verdi
- coq
- proof
Thread-safe, persistent, immutable collections for the Crystal language
- crystal
- immutable-collections
- vector
- hash
Like `Promise.all()` but for `Map` and `Object`
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
Providing pattern matching for modern C++.
- cpp
- pattern-matching
- modern-cpp
An esoteric programming language built to break LLMs and coding agents.
Boost.org interprocess module
A Verified Compiler for Gallina, Written in Gallina