QuentinDuval/IdrisReducers external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

QuentinDuval/IdrisReducers

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/QuentinDuval/IdrisReducers)

Close

QuentinDuval / IdrisReducersView on GitHubMore

• External links
• Readme badge

Transducers for Idris: a library for composable algorithmic transformation.

☆32Jul 28, 2017Updated 8 years ago

Alternatives and similar repositories for IdrisReducers

Users that are interested in IdrisReducers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• QuentinDuval / IdrisPipes

  View on GitHub
  A library for composable and effectful production, transformation and consumption of streams of data in Idris
  ☆37Jan 19, 2018Updated 8 years ago
• kowainik / idris-patricia

  View on GitHub
  🌋 Idris implementation of patricia tree
  ☆23Nov 6, 2020Updated 5 years ago
• eckart / gl-idris

  View on GitHub
  ☆13Jul 19, 2018Updated 7 years ago
• justjoheinz / idris-httpclient

  View on GitHub
  A http client for Idris based on libcurl
  ☆10Mar 18, 2016Updated 10 years ago
• eraserhd / Idris-json

  View on GitHub
  Formally verified JSON parser
  ☆15Sep 27, 2017Updated 8 years ago
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• FranckS / RingIdris

  View on GitHub
  Ring solver for Idris
  ☆20Nov 12, 2018Updated 7 years ago
• domdere / fp-in-idris

  View on GitHub
  Functional Programing in Scala (in Idris) [Idris]
  ☆16Mar 23, 2015Updated 11 years ago
• danilkolikov / categories

  View on GitHub
  Category Theory
  ☆19Oct 24, 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
• JoeyEremondi / lambda-pi-constraint

  View on GitHub
  ☆16Feb 18, 2025Updated last year
• stedolan / idris-malfunction

  View on GitHub
  Experimental Malfunction backend for Idris
  ☆82Jun 20, 2018Updated 7 years ago
• fieldstrength / probability

  View on GitHub
  Probabilistic computation in Idris
  ☆33Jul 2, 2019Updated 6 years ago
• Barry-Jay / Intensional-computation

  View on GitHub
  translations of a lambda abstraction to combinations of operators
  ☆18Sep 6, 2019Updated 6 years ago
• aaronlevin / free-http

  View on GitHub
  An HTTP Client in Haskell Based on Free Monads
  ☆10Dec 31, 2015Updated 10 years ago
• DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• sbp / idris-bi

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

  View on GitHub
  Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.
  ☆14Apr 5, 2017Updated 8 years ago
• pigworker / Totality

  View on GitHub
  being the programs and code for a paper about general recursion
  ☆26Feb 15, 2015Updated 11 years ago
• hablapps / LensAlgebra

  View on GitHub
  Towards Optic-Based Algebraic Theories: the Case of Lenses
  ☆17Nov 26, 2018Updated 7 years ago
• agda / ooAgda

  View on GitHub
  Interactive and object-oriented programming in Agda using coinductive types
  ☆25Nov 29, 2025Updated 3 months ago
• vmchale / recursion_schemes

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

  View on GitHub
  GRIN backend for Idris
  ☆50Apr 11, 2020Updated 5 years ago
• dorchard / effectful-explanations-talk

  View on GitHub
  "Programs that explain their effects" talk material
  ☆17Jun 22, 2018Updated 7 years ago
• effectfully / STLC

  View on GitHub
  Dependently typed Algorithm M and friends
  ☆26Jun 2, 2018Updated 7 years ago
• GPU virtual machines on DigitalOcean Gradient AI • Ad
  Get to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
• gallais / agdarky

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

  View on GitHub
  An experimental HTTP framework for Idris
  ☆14Mar 4, 2020Updated 6 years ago
• eckart / SDL2-idris

  View on GitHub
  SDL2 Bindings for the Idris programming language
  ☆10Feb 26, 2020Updated 6 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
• idris-bayes / melocule

  View on GitHub
  Probabilistic music composition in Idris2
  ☆16Dec 23, 2022Updated 3 years ago
• bamboo / idris-cil

  View on GitHub
  A Common Intermediate Language backend for Idris 1
  ☆134Oct 29, 2018Updated 7 years ago
• mietek / idris-bash

  View on GitHub
  GNU bash backend for Idris
  ☆52Feb 14, 2019Updated 7 years ago
• gallais / agda-sizedIO

  View on GitHub
  IO using sized types and copatterns
  ☆36Apr 14, 2021Updated 4 years ago
• andorp / IdrisExtSTGCodegen

  View on GitHub
  ☆26Nov 18, 2022Updated 3 years ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
• jdolson / univalence-from-scratch

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

  View on GitHub
  van Laarhoven lenses for Idris
  ☆20Sep 25, 2017Updated 8 years ago
• jship / tao

  View on GitHub
  Type-level assertion operators
  ☆16Mar 20, 2018Updated 8 years ago
• MichelBoucey / cayley-client

  View on GitHub
  A Haskell client library for Cayley database graph
  ☆14Jan 6, 2026Updated 2 months ago
• idris-hackers / idris-posix

  View on GitHub
  System POSIX bindings for Idris.
  ☆36Jan 5, 2019Updated 7 years ago
• david-christiansen / derive-all-the-instances

  View on GitHub
  Work on type class deriving with elaboration reflection
  ☆32Sep 9, 2018Updated 7 years ago
• RedPRL / kado

  View on GitHub
  🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory
  ☆22Nov 20, 2025Updated 4 months ago