snape / Loopless-Functional-AlgorithmsLinks
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
Sorting:
- Invertible parsing for S-expressions☆34Updated 3 months ago
- Experiments in implementing functional data structures in Idris☆15Updated 5 years ago
- A collection of libraries I've written for Unison☆11Updated 5 years ago
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- A http client for Idris based on libcurl☆10Updated 9 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last year
- every day i'm truffling☆70Updated 4 years ago
- Auto-parallelizing Pure Functional Language☆27Updated 6 years ago
- JVM code generation☆32Updated 6 years ago
- A small profunctor library for idris☆17Updated 2 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- Haskell graphs and networks library☆31Updated 3 years ago
- Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories☆25Updated 3 weeks ago
- B+-tree implementation in Haskell☆28Updated 6 years ago
- ☆23Updated 7 years ago
- playground for working with succinct data structures☆97Updated 9 years ago
- A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''☆10Updated 6 years ago
- Haskell library containing common graph search algorithms☆53Updated 2 weeks ago
- Functional Programing in Scala (in Idris) [Idris]☆16Updated 10 years ago
- Idris rules for Bazel☆13Updated 6 years ago
- dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.☆39Updated 6 years ago
- Delete half (minus ε) of your Haskell code!☆30Updated this week
- Heyting Algebras in Haskell☆14Updated 2 years ago
- A definition and reference implementation for MRA in PureScript.☆17Updated 7 years ago
- Provides a type-safe way of working with permutations in Idris☆36Updated 3 years ago
- Collection of Idris snippets☆22Updated last year
- A talk☆28Updated 4 years ago
- Synchronous programming in Haskell☆17Updated 4 years ago
- Reasonable Haskell default import☆27Updated 2 years ago
- Implementing Abstract Binding Trees (in Scala, ...)☆19Updated 9 years ago