jdevuyst/dependable-data-structures jdevuyst/dependable-data-structures

  • This repository has been archived on 25/Jul/2019
  • Stars
    star
    14
  • Rank 1,438,076 (Top 29 %)
  • Language Idris
  • License
    BSD 3-Clause "New...
  • Created over 7 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jdevuyst/dependable-data-structures
github

jdevuyst

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Experiments in implementing functional data structures in Idris

More Repositories

1

comprehend

Clojure in-memory database modeled on sets, not tables. Comprehend supports pattern matching, forward matching, rewriting, and transactional storage.
Clojure
72
star
2

ruminant

Swift persistent vectors à la Clojure
Swift
37
star
3

fletching-macros

Clojure macros that complement the clojure.core threading (arrow) macros
Clojure
33
star
4

rekenaar

Idris tactics for (commutative) monoids
Idris
20
star
5

kripke

Clojure library for constructing and manipulating sequences of similar structures
Clojure
13
star
6

termcat

Termcat is a markup language for scientific and technical writing.
Clojure
11
star
7

tableaux

Tableau-based theorem prover for public announcement logic
Clojure
6
star
8

dustpan

Swift mark-and-sweep garbage collector
Swift
3
star