Functional, persistent, off-heap, high performance data structure
Repository Index
47,133 repositories indexed
25–48 of 71 · Most stars
functional, durable data structures
Generalized recursion schemes and traversals for Scala.
- recursion-schemes
- algebra
- traversal
- recursive-structures
An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
🤠 Object property paths with wildcards and regexps 🌵
- nodejs
- javascript
- map
- json
Library for creating tagged constructors.
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
- algebraic-data-types
- optics
- functional-programming
- algebra
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
- ocaml
- stdlib
- data-structure
- portable
ECMAScript parsing infrastructure for multipurpose analysis
Structured concurrency made easy
- concurrency
- golang
- goroutine
- structured-concurrency
Functional programming, immutable collections and FP constructs for typescript and javascript
- typescript
- functional-programming
- immutable-collections
- javascript
No-Frills Functional Programming Lib Augmenting Javascript/Node.js
- functional-programming
- pure-function
- recursion
- javascript
Fastest tool to access data in Elixir
- elixir
- macros
- lenses
- nested-structures
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
This is an engine that converts data of one structure to another, based on a configuration file which describes how. There is an accompanying syntax to make writing mappings easier and more robust.
Clojure's data structures modified for use outside of Clojure
Finger Tree data structure
Flexible regular expressions constructor for Golang.
- builder-pattern
- constructor
- go
- golang
[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
Thread-safe, persistent, immutable collections for the Crystal language
- crystal
- immutable-collections
- vector
- hash
An extended core library for F#.
- fsharp
- performance
- csharp
- immutable
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq