Alternatives and similar repositories for tdd-with-idris

Users that are interested in tdd-with-idris are comparing it to the libraries listed below

• sellout / Iaia

  View on GitHub
  A recursion scheme library for Idris.
  ☆25Feb 3, 2026Updated last week
• swift-nav / plover

  View on GitHub
  Plover is a language for matrix algebra on embedded systems.
  ☆48Jul 3, 2021Updated 4 years ago
• gergoerdi / hm-compo

  View on GitHub
  Compositional type checking for a Hindley-Milner type system
  ☆11Mar 28, 2017Updated 8 years ago
• jonsterling / topos-theory-notes

  View on GitHub
  ☆10May 3, 2017Updated 8 years ago
• TimRichter / CId

  View on GitHub
  a little category theory in Idris
  ☆10Jun 27, 2016Updated 9 years ago
• calmm-js / freer

  View on GitHub
  A free Static Land compatible Monad implementation
  ☆15Jan 6, 2019Updated 7 years ago
• benjaminselfridge / propcheck

  View on GitHub
  Proof checker for propositional logic
  ☆16Jul 7, 2017Updated 8 years ago
• edwinb / Vars

  View on GitHub
  A small library for tracking mutable state in Idris programs
  ☆12Apr 19, 2017Updated 8 years ago
• JonathanLorimer / weft

  View on GitHub
  GraphQL Schema generation in Haskell
  ☆17Mar 27, 2020Updated 5 years ago
• SandroMaglione / eslint-plugin-fp-ts-strict

  View on GitHub
  ESLint plugin for typescript to enforce fp-ts functions to avoid the most common javascript problems
  ☆16Oct 30, 2021Updated 4 years ago
• gcanti / recursion-schemes-ts

  View on GitHub
  Recursion schemes in TypeScript (POC)
  ☆22May 29, 2020Updated 5 years ago
• GaloisInc / cryptol-semantics

  View on GitHub
  Semantics for Cryptol
  ☆16Apr 9, 2018Updated 7 years ago
• relrod / ct

  View on GitHub
  My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.
  ☆14Aug 3, 2019Updated 6 years ago
• esengie / fpl-exploration-tool

  View on GitHub
  Diploma work (if this is still here contact me if you need details)
  ☆13May 30, 2017Updated 8 years ago
• jlerche / phoenix_pubsub_lasp_pg

  View on GitHub
  A Lasp PG adapter for the Phoenix framework pubsub
  ☆18Apr 18, 2018Updated 7 years ago
• robrix / abstract-interpretation

  View on GitHub
  Experiments in abstracting definitional interpreters
  ☆16Oct 13, 2017Updated 8 years ago
• tel / hotep

  View on GitHub
  "Fail Fast" process management for Haskell; inspired by Erlang
  ☆16Jan 19, 2017Updated 9 years ago
• LouisJenkinsCS / LLVM-JVM

  View on GitHub
  [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell
  ☆21Aug 23, 2021Updated 4 years ago
• mietek / research

  View on GitHub
  Work in progress
  ☆40Jun 7, 2025Updated 8 months ago
• elm-community / elm-check

  View on GitHub
  Property Based Testing in Elm
  ☆15Nov 15, 2016Updated 9 years ago
• ToJans / idris101

  View on GitHub
  Learning project by a group of people interested in learning the Idris language
  ☆51Feb 18, 2015Updated 10 years ago
• rodrigogribeiro / unification

  View on GitHub
  Formalisation of a type unification algorithm in Coq proof assistant.
  ☆21Oct 9, 2018Updated 7 years ago
• LiamGoodacre / purescript-type-lang

  View on GitHub
  Lambda calculus at the type level.
  ☆20Jul 22, 2017Updated 8 years ago
• BekaValentine / so-you-want-to-write-a-type-checker

  View on GitHub
  ☆56Mar 2, 2017Updated 8 years ago
• justinwoo / spacchetti-react-basic-starter

  View on GitHub
  Fork of react-basic-starter using Package sets
  ☆24May 22, 2019Updated 6 years ago
• reasonml-community / bs-downshift

  View on GitHub
  BuckleScript bindings for Downshift
  ☆22Nov 27, 2018Updated 7 years ago
• gcanti / mtl-ts

  View on GitHub
  MTL-style in TypeScript
  ☆25Feb 27, 2018Updated 7 years ago
• agda / ooAgda

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

  View on GitHub
  xmonad with the X11 abstracted and configured with Idris
  ☆209May 31, 2019Updated 6 years ago
• xgrommx / idris-ecosystem

  View on GitHub
  ☆50Dec 21, 2017Updated 8 years ago
• purescript-deprecated / purescript-strongcheck

  View on GitHub
  ☆26Oct 3, 2020Updated 5 years ago
• yigitozkavci / typelevel-dijkstra-sp

  View on GitHub
  Dijkstra's shortest path algorithm implemented at type level with Haskell
  ☆20Dec 11, 2017Updated 8 years ago
• bitonic / tog

  View on GitHub
  ☆26Feb 7, 2017Updated 9 years ago
• gallais / idris-tparsec

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

  View on GitHub
  Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…
  ☆182May 2, 2018Updated 7 years ago
• adamwespiser / deep-learning-koans

  View on GitHub
  A series of educational Deep Learning Koans, using Julia and Flux.jl
  ☆34Dec 11, 2019Updated 6 years ago
• codygman / concise-json-parsing-in-haskell

  View on GitHub
  concise json parsing in Haskell using lenses
  ☆20Oct 2, 2017Updated 8 years ago
• konn / type-natural

  View on GitHub
  Type-level well-kinded natural numbers.
  ☆36Jan 2, 2025Updated last year
• haskell-haskey / haskey-btree

  View on GitHub
  B+-tree implementation in Haskell
  ☆28May 12, 2019Updated 6 years ago