Alternatives and similar repositories for IdrisPipes

Users that are interested in IdrisPipes are comparing it to the libraries listed below

• QuentinDuval / IdrisReducers

  View on GitHub
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Jul 28, 2017Updated 8 years ago
• danilkolikov / categories

  View on GitHub
  Category Theory
  ☆19Oct 24, 2018Updated 7 years ago
• pheymann / specdris

  View on GitHub
  A test framework for Idris
  ☆55Mar 21, 2019Updated 6 years ago
• A1kmm / http4idris

  View on GitHub
  An experimental HTTP framework for Idris
  ☆14Mar 4, 2020Updated 5 years ago
• leon-vv / Todo

  View on GitHub
  Idris Todo web application example
  ☆41Jan 30, 2023Updated 3 years ago
• eckart / gl-idris

  View on GitHub
  ☆13Jul 19, 2018Updated 7 years ago
• jdevuyst / dependable-data-structures

  View on GitHub
  Experiments in implementing functional data structures in Idris
  ☆15Jul 25, 2019Updated 6 years ago
• idris-hackers / idris-free

  View on GitHub
  Free Monads and useful constructions to work with them
  ☆26Aug 14, 2018Updated 7 years ago
• thalerjonathan / gloss-idris

  View on GitHub
  A port of the gloss library from Haskell to Idris
  ☆23Jul 9, 2018Updated 7 years ago
• justjoheinz / idris-httpclient

  View on GitHub
  A http client for Idris based on libcurl
  ☆10Mar 18, 2016Updated 9 years ago
• edwinb / SchemeEval

  View on GitHub
  Experimental normalisation via scheme
  ☆12Jul 25, 2021Updated 4 years ago
• vmchale / permutations

  View on GitHub
  Provides a type-safe way of working with permutations in Idris
  ☆37Oct 3, 2021Updated 4 years ago
• vmchale / recursion_schemes

  View on GitHub
  Recursion schemes for Idris
  ☆64Aug 23, 2018Updated 7 years ago
• kowainik / idris-patricia

  View on GitHub
  🌋 Idris implementation of patricia tree
  ☆23Nov 6, 2020Updated 5 years ago
• MarcelineVQ / idris2-streaming

  View on GitHub
  Effectful Streaming for Idris
  ☆15Dec 13, 2020Updated 5 years ago
• jdolson / univalence-from-scratch

  View on GitHub
  Univalence from scratch in Idris
  ☆19Apr 25, 2018Updated 7 years ago
• idris-hackers / idris-llvm

  View on GitHub
  Idris LLVM codegen factored out
  ☆82Jul 28, 2017Updated 8 years ago
• jdevuyst / rekenaar

  View on GitHub
  Idris tactics for (commutative) monoids
  ☆20May 24, 2020Updated 5 years ago
• FranckS / RingIdris

  View on GitHub
  Ring solver for Idris
  ☆20Nov 12, 2018Updated 7 years ago
• idris-industry / idris-ffi-example

  View on GitHub
  A minimal example of the Idris C FFI
  ☆14May 15, 2015Updated 10 years ago
• Trundle / idris-go

  View on GitHub
  A Go backend for Idris
  ☆15Jul 28, 2018Updated 7 years ago
• eraserhd / Idris-json

  View on GitHub
  Formally verified JSON parser
  ☆15Sep 27, 2017Updated 8 years ago
• gallais / agdarky

  View on GitHub
  Agda suffices: software written from A to Z in Agda
  ☆16Mar 31, 2019Updated 6 years ago
• lambdabetaeta / modal-logics

  View on GitHub
  Agda formalisation of dual-context constructive modal logics.
  ☆20Apr 1, 2020Updated 5 years ago
• jfdm / idris-containers

  View on GitHub
  Various data structures for use in the Idris Language.
  ☆94May 22, 2020Updated 5 years ago
• gallais / idris-tparsec

  View on GitHub
  TParsec - Total Parser Combinators in Idris
  ☆99Aug 7, 2023Updated 2 years ago
• HuwCampbell / idris-lens

  View on GitHub
  van Laarhoven lenses for Idris
  ☆20Sep 25, 2017Updated 8 years ago
• langston-barrett / coq-big-o

  View on GitHub
  A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.
  ☆36May 14, 2017Updated 8 years ago
• ReplicaTest / REPLica

  View on GitHub
  Golden tests for command-line interfaces.
  ☆19Jan 7, 2026Updated last month
• programminglanguagesclub / elemental-magicks

  View on GitHub
  Idris + Ur/Web development of a perfect information, fair, deterministic turn based strategy game, built with dependent types!
  ☆17Nov 4, 2018Updated 7 years ago
• andreasabel / ipl

  View on GitHub
  Agda formalization of Intuitionistic Propositional Logic
  ☆22Nov 14, 2025Updated 2 months ago
• ziman / itt-idris

  View on GitHub
  ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2
  ☆23Dec 5, 2024Updated last year
• mietek / idris-bash

  View on GitHub
  GNU bash backend for Idris
  ☆52Feb 14, 2019Updated 6 years ago
• thautwarm / idris-cam

  View on GitHub
  Sucessor: https://github.com/thautwarm/Quick-Backend
  ☆24Feb 6, 2020Updated 6 years ago
• agda / ooAgda

  View on GitHub
  Interactive and object-oriented programming in Agda using coinductive types
  ☆25Nov 29, 2025Updated 2 months ago
• doofin / differentiable-idris

  View on GitHub
  dependent types meets deep learning
  ☆44Jan 7, 2019Updated 7 years ago
• dmurfet / polysemantics

  View on GitHub
  Polynomial semantics of linear logic
  ☆13Apr 15, 2018Updated 7 years ago
• sbp / idris-bi

  View on GitHub
  Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
  ☆37Dec 31, 2020Updated 5 years ago
• kbertalan / tyttp

  View on GitHub
  ☆23May 10, 2025Updated 9 months ago