mlyean/purely-functional-data-structure mlyean/purely-functional-data-structure

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language Agda
  • Created over 4 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mlyean/purely-functional-data-structure
github

mlyean

Reviews

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

Repository Details

Some data structures from "Purely Functional Data Structures" by Chris Okasaki implemented in Agda

More Repositories

1

grid-pathfinding

Implementation of Dijkstra's algorithm and A* search algorithm on a grid in Python
Python
8
star
2

MATH40002-lean

Analysis I in Lean
Lean
4
star
3

kattis-tool

Test Kattis Solutions Locally
Haskell
3
star
4

game-of-life-hs

Conway's Game of Life in Haskell, animated using Gloss
Haskell
1
star
5

wordle-solver

Solve Wordle under 5 guesses
C++
1
star
6

agda-extras

Extra stuff (mostly math) for Agda.
Agda
1
star
7

clipboard-translate

Python
1
star