Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 4 Data Structure Dependent Types Open Source Projects

Open source projects categorized as Data Structure Dependent Types
Categories > Computer Science > Data Structure
Categories > Programming Languages > Dependent Types
Idris Patricia ⭐ 21
🌋 Idris implementation of patricia tree
most recent commit 3 years ago
Dependable Data Structures ⭐ 13
Experiments in implementing functional data structures in Idris
most recent commit 5 years ago
Agda From Nothing 2017 ⭐ 11
Agda from Nothing: Order in the Types
most recent commit 7 years ago
Type Indexed Queues ⭐ 7
Queues with verified and unverified versions
total releases 3most recent commit 7 years ago
Popular Computer Science Categories
Algorithms
Search
Graph
Stack
Hash
Vector
Data Structure
Matrix
Struct
Sort
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.