Alternatives and similar repositories for Idris-Bifunctors

Users that are interested in Idris-Bifunctors are comparing it to the libraries listed below

• japesinator / Idris-Profunctors

  View on GitHub
  A small profunctor library for idris
  ☆17Nov 3, 2022Updated 3 years ago
• idris-hackers / idris-lens

  View on GitHub
  ☆23Sep 30, 2016Updated 9 years ago
• HuwCampbell / idris-lens

  View on GitHub
  van Laarhoven lenses for Idris
  ☆20Sep 25, 2017Updated 8 years ago
• ziman / idris-benchmarks

  View on GitHub
  Some benchmarks for Idris
  ☆12Aug 12, 2017Updated 8 years ago
• david-christiansen / idris-quickcheck

  View on GitHub
  A port of QuickCheck to Idris
  ☆60Oct 30, 2017Updated 8 years ago
• jfdm / idris-containers

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

  View on GitHub
  A port of miniprl to Haskell with co-/inductive types bolted on the side.
  ☆22May 13, 2016Updated 9 years ago
• drdo / logic-translation

  View on GitHub
  Translation from FOL to LTL+Past and LTL, via separation of LTL+Past
  ☆10May 22, 2024Updated last year
• deech / LeftPad

  View on GitHub
  ☆23Dec 6, 2017Updated 8 years ago
• RobertHarper / TILT-Compiler

  View on GitHub
  Standard ML compiler based on typed intermediate languages.
  ☆51Aug 22, 2014Updated 11 years ago
• sweirich / replib

  View on GitHub
  Replib: generic programming & Unbound: generic treatment of binders
  ☆46Oct 18, 2022Updated 3 years ago
• SimonJF / IdrisNet2

  View on GitHub
  A proper network library for Idris, now that I know what I'm doing.
  ☆59Sep 27, 2016Updated 9 years ago
• parsonsmatt / lambda

  View on GitHub
  An exploration and implementation of the lambda calculus.
  ☆12Oct 18, 2016Updated 9 years ago
• ToTal / total

  View on GitHub
  ☆11Jul 20, 2016Updated 9 years ago
• spacekitteh / haskell-clifford

  View on GitHub
  Clifford algebra for Haskell! :D
  ☆14Jul 1, 2014Updated 11 years ago
• shlevy / cat-fiat

  View on GitHub
  An attempt to formalize unix cat in fiat
  ☆11May 28, 2017Updated 8 years ago
• rodrigogribeiro / idrisregexp

  View on GitHub
  Regular expression matching in Idris
  ☆11Apr 27, 2016Updated 9 years ago
• ctford / flying-spaghetti-monster

  View on GitHub
  An Idris type provider for communicating type-checkable protocols.
  ☆26Nov 6, 2017Updated 8 years ago
• jfdm / idris-config

  View on GitHub
  Parsers for various configuration files written in Idris.
  ☆19Nov 8, 2017Updated 8 years ago
• uwap / idris-http

  View on GitHub
  An HTTP library for idris
  ☆39Dec 26, 2018Updated 7 years ago
• puffnfresh / bam-idris-blog

  View on GitHub
  Static blog generator in Idris.
  ☆40Feb 17, 2015Updated 10 years ago
• mietek / formal-logic

  View on GitHub
  TODO
  ☆23Oct 10, 2015Updated 10 years ago
• ISANobody / sill

  View on GitHub
  ☆29Sep 14, 2015Updated 10 years ago
• yallop / icfp2014-papers

  View on GitHub
  Accepted papers for ICFP 2014
  ☆119May 19, 2016Updated 9 years ago
• domdere / fp-in-idris

  View on GitHub
  Functional Programing in Scala (in Idris) [Idris]
  ☆16Mar 23, 2015Updated 10 years ago
• japesinator / tarts

  View on GitHub
  Timing attack resistant type systems
  ☆24May 13, 2015Updated 10 years ago
• boyland / twelf-library

  View on GitHub
  Library classes for the Twelf Proof System
  ☆24Jun 16, 2020Updated 5 years ago
• danelahman / Directed-Containers

  View on GitHub
  An Agda formalisation of the theory of directed containers
  ☆12Apr 25, 2025Updated 9 months ago
• jyp / sctt

  View on GitHub
  Type-Theory in Sequent Calculus
  ☆14Jul 30, 2015Updated 10 years ago
• berewt / acme-haskellee

  View on GitHub
  Haskell Enterprise Edition
  ☆12Nov 17, 2017Updated 8 years ago
• camfort / reprinter

  View on GitHub
  Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring
  ☆27Apr 29, 2021Updated 4 years ago
• ekmett / bifunctors

  View on GitHub
  Haskell 98 bifunctors, bifoldables and bitraversables
  ☆58Jan 11, 2026Updated last month
• idris-hackers / idris-free

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

  View on GitHub
  Github project where I track everything related to my thesis
  ☆28Sep 2, 2016Updated 9 years ago
• idris-hackers / idris-crypto

  View on GitHub
  Implementation of cryptographic primitives using Idris
  ☆123May 5, 2018Updated 7 years ago
• jdoughertyii / hott-species

  View on GitHub
  Combinatorial species in HoTT
  ☆12May 23, 2015Updated 10 years ago
• tonyfischetti / starlight

  View on GitHub
  A practical application launcher for impractical people
  ☆12Dec 21, 2023Updated 2 years ago
• bobatkey / sorting-types

  View on GitHub
  Typed DSLs for sorting
  ☆20Feb 16, 2018Updated 7 years ago
• Gabriella439 / Haskell-Pipes-Parse-Library

  View on GitHub
  Parsing for the pipes ecosystem
  ☆29Apr 8, 2023Updated 2 years ago