Utilities for treating frozen JavaScript objects as persistent immutable collections
Repository Index
67,762 visible repositories in the index
25–48 of 70 · Most stars
Functional programming, immutable collections and FP constructs for typescript and javascript
- typescript
- functional-programming
- immutable-collections
- javascript
A lightweight library for writing concurrent programs in Go using the Actor model.
- actor
- go-actor
- concurrency
- concurrent-programming
A best-of-breed language with a holistic approach to moving the needle
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.
- immutable
- typescript-definitions
- es2015-modules
- data-structures
An OCaml lexer generator for Unicode
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
A functional JavaScript library that facilitates currying and point-free programming
- ai-friendly
- composition
- curry
- currying
Thread-safe, persistent, immutable collections for the Crystal language
- crystal
- immutable-collections
- vector
- hash
An extended core library for F#.
- fsharp
- performance
- csharp
- immutable
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Library for lexing and parsing D source code
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
😴 Functional programming with lazy immutable iterables
- iterables
- functional-programming
- iterator
- haskell
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.
- community-driven
- manifesto
- coq
Library providing fast hash based immutable map and set
- hashmap
- fsharp
- collections
- hashset
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
Messaging system for communication between classes / layers in delphi
- delphi
- firemonkey
- vcl
- fmx
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
- coq
- theorems
OCaml bindings to MariaDB, supporting the nonblocking API