steshaw/tdd-with-idris 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

steshaw/tdd-with-idris

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/steshaw/tdd-with-idris)

Close

steshaw / tdd-with-idrisView on GitHubMore

• External links
• Readme badge

Working through Type-Driven Development with Idris

☆26Sep 7, 2016Updated 9 years ago

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 13, 2026Updated 3 weeks ago
• swift-nav / plover

  View on GitHub
  Plover is a language for matrix algebra on embedded systems.
  ☆48Jul 3, 2021Updated 4 years ago
• jonsterling / topos-theory-notes

  View on GitHub
  ☆10May 3, 2017Updated 8 years ago
• gergoerdi / hm-compo

  View on GitHub
  Compositional type checking for a Hindley-Milner type system
  ☆11Mar 28, 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
• benjaminselfridge / propcheck

  View on GitHub
  Proof checker for propositional logic
  ☆16Jul 7, 2017Updated 8 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
• JonathanLorimer / weft

  View on GitHub
  GraphQL Schema generation in Haskell
  ☆17Mar 27, 2020Updated 5 years ago
• calmm-js / freer

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

  View on GitHub
  A compiler from mini-STG to Wasm (**far from complete**)
  ☆14Jun 13, 2017Updated 8 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
• robrix / abstract-interpretation

  View on GitHub
  Experiments in abstracting definitional interpreters
  ☆16Oct 13, 2017Updated 8 years ago
• gcanti / recursion-schemes-ts

  View on GitHub
  Recursion schemes in TypeScript (POC)
  ☆22May 29, 2020Updated 5 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
• GaloisInc / cryptol-semantics

  View on GitHub
  Semantics for Cryptol
  ☆16Apr 9, 2018Updated 7 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 9 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 11 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
• justinwoo / spacchetti-react-basic-starter

  View on GitHub
  Fork of react-basic-starter using Package sets
  ☆24May 22, 2019Updated 6 years ago
• gcanti / mtl-ts

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

  View on GitHub
  Interactive and object-oriented programming in Agda using coinductive types
  ☆25Nov 29, 2025Updated 3 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
• CompSciCabal / reading-material

  View on GitHub
  Reading schedule and our library of pdfs
  ☆24Apr 29, 2019Updated 6 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
• gallais / idris-tparsec

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

  View on GitHub
  ☆26Feb 7, 2017Updated 9 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
• 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
• 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
• haskell-haskey / haskey-btree

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

  View on GitHub
  Recursion schemes for Idris
  ☆64Aug 23, 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