Stars
7
Forks
3
Language
Haskell
Last Updated
Feb 22, 2023
Similar Repos
Repo | Language | Stars | Description | Updated At |
---|---|---|---|---|
PureScript | 7 | Stack-safe recursion schemes on dissectible data structures. | Apr 09, 2022 | |
Go | 129 | Go (golang) package to get hash strings of arbitrary data structures. | Apr 18, 2023 | |
TypeScript | 15 | Merkle tree and other data structures. | Oct 04, 2022 | |
Haskell | 7 | Define Backwards Compatibility Schemes for Arbitrary Data | Sep 27, 2022 | |
Python | 132 | Re-apply type annotations from .pyi stubs to your codebase. | Feb 17, 2023 | |
Haskell | 24 | Hash consing for arbitrary Haskell data types | Jun 20, 2022 | |
C# | 2 | My application for recursive calculations in data structures | Mar 29, 2022 | |
Go | 57 | A library to generate merkle proofs for complex data structures | Feb 16, 2022 | |
Haskell | 2 | Generic traversal of arbitrary data structures in Haskell. | Dec 05, 2019 | |
JavaScript | 3 | Type check your JavaScript data structures | Jun 15, 2015 | |
PureScript | 29 | Profunctor type classes and data structures | Jun 17, 2022 | |
C# | 11 | Extends Options with recursive data annotations validation and eager validation on startup. | Mar 10, 2023 | |
None | 2 | Specifications for pre-defined data structures provided by HDMF. | Apr 11, 2023 | |
C | 4 | Data structures of generic type for C | Apr 23, 2023 | |
Python | 10 | A type-checker which can process recursive types and data | Jan 28, 2022 | |
Java | 2 | Stable binary serialization method for arbitrary key-value data structures | Mar 13, 2020 | |
JavaScript | 5 | Notes and annotations from Egghead.io's Data Structures and Algorithms in JavaScript | Feb 10, 2021 | |
Go | 59 | Type safe persistent/immutable data structures for Go | Jan 25, 2023 | |
D | 3 | D data structures that work for any type. | Dec 20, 2022 | |
Python | 6 | Walks complex nested data structures to map or do arbitrary commands. | Jan 31, 2023 | |
Haskell | 23 | Benchmarks for set data structures: hash sets, dawg's, bloom filters, etc. | Jan 09, 2023 | |
Python | 3 | Build customized cryptocurrency portfolios using Binance API data and user-defined filters and weighting schemes | Nov 29, 2023 | |
C | 958 | PostgreSQL extension adding HyperLogLog data structures as a native data type | Aug 11, 2022 | |
Go | 2 | Type inference algorithm with mutable data structures in Go | Apr 10, 2019 | |
None | 3 | A wrapper for GML data structures for type checking. | Jan 30, 2023 | |
C | 4 | Command line utility to extend hash of arbitrary data into a TPMs PCR. | Jan 28, 2023 | |
Kotlin | 5 | 常用的数据结构, Common user-defined data structures. | May 15, 2023 | |
None | 4 | 🟣 Recursion Interview Questions Answered to help you get ready for your next data structures … | Feb 14, 2023 | |
C++ | 2 | Experimenting with well known algorithms and data structures. Hash and random functions | Apr 04, 2022 | |
C++ | 5 | User-defined data structure (object) in C++, which can hold any primitive data-type. | Feb 12, 2023 | |
Haskell | 2 | Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle … | Sep 05, 2021 | |
FORTRAN | 4 | LES filtering from DNS channel data and get vortical structures using three different identification schemes | Aug 08, 2019 | |
Python | 4 | Easing the thistly problem of accessing data stored in arbitrary, consistent directory structures | Mar 24, 2022 | |
C++ | 53 | Parallel algorithms and data structures for tree-based AMR with arbitrary element shapes. | Apr 14, 2023 | |
Java | 5 | Code complexity measuring tool, which measure the complexity due to size, type and the nesting … | Feb 13, 2023 | |
Ruby | 15 | Schema validation library for Hash-like data structures in declarative DSL-powered style. | Dec 19, 2022 | |
C | 3 | Here we are going to study all type pf Data Structures | Nov 08, 2019 | |
TypeScript | 8 | Type-safe Lens API for immutable updates in complex data structures | May 08, 2023 | |
C | 6 | postgresql-hll - a PostgreSQL extension adding HyperLogLog data structures as a native data type | Feb 01, 2021 | |
Java | 2 | Data structures codes. What's inside? Linked List, Stack, Queue, Trees, Hash Table and Graphs. | Jan 12, 2023 | |
JavaScript | 56 | Collection of Redis backed data structures for nodejs, including the primitives (List, Hash, Queue, etc) | Jan 16, 2023 | |
Java | 2 | This Repo Defines The Basic Of data structures and Principal AlgoT . BackTracking, Recursion Dynamic … | Mar 30, 2023 | |
Java | 2 | Master Java Programming and Data Structures and Algorithms in Java in an efficient way. Clear … | Mar 08, 2023 | |
Python | 4 | Data Structures and Algorithms including Linked List , Stack, Queue, Arrays, Hash Table, Search, Strings, … | Apr 04, 2023 | |
JavaScript | 12 | Thought experiment: leveraging static typing instead of new data structures to enforce immutability in JavaScript … | Sep 29, 2018 | |
Ruby | 3 | Schema validation library for Hash-like data structures in declarative DSL-powered style (https://github.com/smart-rb) | Nov 17, 2021 | |
None | 4 | 🟣 Hash Tables Interview Questions Answered to help you get ready for your next Data … | Feb 14, 2023 | |
C++ | 13 | All Data Structures Implemented in C++ (Trees, LinkedList, Stacks, Queues, sorting, Hash-Tables and other complex … | Nov 20, 2021 | |
C++ | 2 | This is a linux app that is built to hash and verify user defined data … | Mar 06, 2023 | |
C | 2 | Recursion, asymptotic behavior, memoization, divide and conquer, backtracking, search algorithms, classical sorting algorithms, heaps and … | Nov 29, 2023 |