snape / Loopless-Functional-Algorithms
Loopless Functional Algorithms (Haskell)
☆15Updated last year
Alternatives and similar repositories for Loopless-Functional-Algorithms:
Users that are interested in Loopless-Functional-Algorithms are comparing it to the libraries listed below
- Invertible parsing for S-expressions☆34Updated 5 months ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- A talk☆28Updated 3 years ago
- Experiments in implementing functional data structures in Idris☆15Updated 5 years ago
- Haskell graphs and networks library☆31Updated 2 years ago
- playground for working with succinct data structures☆95Updated 9 years ago
- Auto-parallelizing Pure Functional Language☆27Updated 5 years ago
- A definition and reference implementation for MRA in PureScript.☆17Updated 7 years ago
- HoTT Note-taking action☆25Updated 5 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 2 months ago
- A small library for tracking mutable state in Idris programs☆12Updated 7 years ago
- Reasonable Haskell default import☆27Updated 2 years ago
- A small profunctor library for idris☆17Updated 2 years ago
- oleg modules☆30Updated 12 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 6 years ago
- Haskell library containing common graph search algorithms☆52Updated 3 months ago
- Interval Arithmetic☆27Updated 3 weeks ago
- A command line tool to automate the generation of ffi import code for the bindings of various Java libraries.☆18Updated 7 years ago
- Collection of Idris snippets☆21Updated 11 months ago
- Extensible, Type Safe Error Handling in Haskell☆13Updated 4 years ago
- ☆23Updated 7 years ago
- My London HUG talk: Recursion Schemes by Example☆50Updated 10 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- Regular expressions of types☆16Updated 6 years ago
- A http client for Idris based on libcurl☆10Updated 8 years ago
- Implementing Abstract Binding Trees (in Scala, ...)☆19Updated 9 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics☆23Updated 8 years ago
- ☆22Updated 8 years ago
- A JVM bytecode assembler written in Haskell.☆36Updated 8 years ago