The repository host gives no description.
Repository Index
47,133 repositories indexed
1–24 of 24 · Most stars
Database Markup Language (DBML), designed to define and document database structures
- dbx
- database-schema
- dbml
ClojureScript's persistent data structures and supporting API from the comfort of vanilla JavaScript
High Performance data structures and utility methods for Java
- java
- performance
A C++ library of Concurrent Data Structures
- lock-free
- containers
- hazard-pointer
- rcu
Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the research, design and implementation of high performance concurrent systems developed in C99+.
Eclipse Collections is a collections framework for Java with optimized data structures and a rich, functional and fluent API.
- java
- eclipse-collections
- java-collections
- collections
🐆 An immutable list with unmatched performance and a comprehensive functional API.
- functional-programming
- data-structures
- immutable
- ramda
Concurrent data structures in C++
An advanced, but easy to use, platform for writing functional applications in Java 8.
- functional-programming
- reactive-streams
- monoid
- streams
functional, durable data structures
Generalized recursion schemes and traversals for Scala.
- recursion-schemes
- algebra
- traversal
- recursive-structures
🤠 Object property paths with wildcards and regexps 🌵
- nodejs
- javascript
- map
- json
Functional programming, immutable collections and FP constructs for typescript and javascript
- typescript
- functional-programming
- immutable-collections
- 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
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
- coq
- serialization
- json
- sexp
Verified hash-based AMQ structures in Coq
- bloom-filter
- probability
- coq-formalization
- coq
Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
- coq
- mathcomp
- 2-3-tree
- avl-tree
Web app that can hash/hmac, encrypt/decrypt, and sign/verify the data, debug JWT tokens, parse and edit ASN1 structures, compute diffs, and more
A lock-free concurrent data structures library for Common Lisp.
- common-lisp
- concurrency
- lisp
- primitives
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect
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