Extended version of Rambda
- ramda
- rambda
- utils
- lodash
Repository Index
47,133 repositories indexed
433–456 of 862 · Most stars
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
Useful cmake macros that help with: compiler/linker flags, collecting sources, PCHs, Unity builds and other stuff.
- linker-flags
- cmake
- compiler-flags
- unity-build
Flexible regular expressions constructor for Golang.
- builder-pattern
- constructor
- go
- golang
⛓ 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
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
Functional Concurrency Primitives
- concurrency
- software-transactional-memory
- synchronization
- lock
[TOOL/CLI] - Filter and examine Go type structures, interfaces and their transitive dependencies and relationships. Export structural types as TypeScript value object or bare type representations.
- go
- golang
- type
- struct
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
Open source Python/CUDA C/C++ to SASS/CUDA Binary compiler (previously closed source by nvidia), more efficient (10-18% speedup) General Matrix Multiplication (GEMM)
- compiler
- compiler-backend
- compiler-optimization
- gpu-acceleration
Thread-safe, persistent, immutable collections for the Crystal language
- crystal
- immutable-collections
- vector
- hash
Like `Promise.all()` but for `Map` and `Object`
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
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
🌟 DataFormsJS 🌟 A minimal JavaScript Framework, standalone React and Web Components, and JSX Compiler for rapid development of high quality websites and single page applications.
- javascript-framework
- react-components
- web-components
- dataformsjs
SUSHI (aka "SUSHI Unshortens Short Hand Inputs") is a reference implementation command-line interpreter/compiler for FHIR Shorthand (FSH).
Providing pattern matching for modern C++.
- cpp
- pattern-matching
- modern-cpp
An esoteric programming language built to break LLMs and coding agents.