bor0/gidti 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

bor0/gidti

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/bor0/gidti)

Close

bor0 / gidtiView on GitHubMore

• External links
• Readme badge

Book: Introduction to Dependent Types with Idris

☆78Feb 27, 2023Updated 3 years ago

Alternatives and similar repositories for gidti

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

• ohad / collie

  View on GitHub
  Command line interface library in Idris
  ☆33Jul 26, 2024Updated last year
• kowainik / idris-patricia

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

  View on GitHub
  GRIN backend for Idris
  ☆50Apr 11, 2020Updated 5 years ago
• QuentinDuval / IdrisReducers

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

  View on GitHub
  dependent types meets deep learning
  ☆44Jan 7, 2019Updated 7 years ago
• gallais / pearl-binary-search

  View on GitHub
  Functional Pearl: Certified Binary Search in a Read-Only Array
  ☆29May 26, 2021Updated 4 years ago
• AJChapman / co-log-polysemy-formatting

  View on GitHub
  A Haskell library: A fancy logging effect for Polysemy using the formatting library to format log messages.
  ☆12Jul 16, 2021Updated 4 years ago
• MarcelineVQ / idris2-streaming

  View on GitHub
  Effectful Streaming for Idris
  ☆15Dec 13, 2020Updated 5 years ago
• kowainik / unlift

  View on GitHub
  🛗 Typeclass for monads that can be unlifted to arbitrary base monads
  ☆25Apr 21, 2021Updated 4 years ago
• A1kmm / http4idris

  View on GitHub
  An experimental HTTP framework for Idris
  ☆14Mar 4, 2020Updated 6 years ago
• i-am-tom / LICK

  View on GitHub
  Idris-written, correct-by-construction, simply-typed lambda calculus.
  ☆39May 21, 2018Updated 7 years ago
• david-christiansen / idris-code-highlighter

  View on GitHub
  A semantic highlighter for Idris code
  ☆14Feb 22, 2018Updated 8 years ago
• timjb / idris-pfds

  View on GitHub
  Purely functional data structures in Idris
  ☆11Sep 24, 2017Updated 8 years ago
• edwinb / IdrisApp

  View on GitHub
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Feb 25, 2020Updated 6 years ago
• ioanluca / real-world-idris

  View on GitHub
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Aug 22, 2019Updated 6 years ago
• roman / lc-2018-rock-solid-haskell-services

  View on GitHub
  Slides and projects for LambdaConf 2018 Workshop
  ☆16Jun 3, 2018Updated 7 years ago
• joaomilho / awesome-idris

  View on GitHub
  𝛌 Awesome Idris resources
  ☆410Feb 20, 2020Updated 6 years ago
• andorp / order-taking

  View on GitHub
  Idris version of Domain Modeling Made Functional Book.
  ☆142Oct 25, 2021Updated 4 years ago
• mortberg / yacctt

  View on GitHub
  yacctt: Yet Another Cartesian Cubical Type Theory
  ☆77Jul 30, 2018Updated 7 years ago
• jameshaydon / idris-graphql

  View on GitHub
  Idris GraphQL
  ☆16Dec 16, 2017Updated 8 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
• Thimoteus / purescript-optlicative

  View on GitHub
  applicative opt parsing for node
  ☆31Jun 14, 2021Updated 4 years ago
• scott-fleischman / agda-from-nothing

  View on GitHub
  A workshop on learning Agda with minimal prerequisites.
  ☆85May 26, 2016Updated 9 years ago
• gallais / agdarky

  View on GitHub
  Agda suffices: software written from A to Z in Agda
  ☆16Mar 31, 2019Updated 6 years ago
• jdevuyst / dependable-data-structures

  View on GitHub
  Experiments in implementing functional data structures in Idris
  ☆15Jul 25, 2019Updated 6 years ago
• karroffel / Idris2-Ocaml

  View on GitHub
  OCaml backend for Idris2
  ☆20Oct 12, 2020Updated 5 years ago
• edwinb / idris2-clibs

  View on GitHub
  Idris 2 bindings to various C libraries
  ☆15Jun 28, 2021Updated 4 years ago
• danilkolikov / categories

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

  View on GitHub
  Asymptotically optimal Brodal/Okasaki heaps
  ☆34Dec 4, 2024Updated last year
• kowainik / awesome-haskell-sponsorship

  View on GitHub
  💝 Haskell profiles to sponsor
  ☆48Oct 28, 2021Updated 4 years ago
• bamboo / idris2dart

  View on GitHub
  The Dart backend for Idris 2.
  ☆48Jul 4, 2021Updated 4 years ago
• idris-hackers / software-foundations

  View on GitHub
  Software Foundations in Idris
  ☆457May 15, 2019Updated 6 years ago
• gallais / idris-tparsec

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

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

  View on GitHub
  An idris backend compiling to chez scheme
  ☆48Sep 30, 2017Updated 8 years ago
• 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
• idris-community / idris2-nvim

  View on GitHub
  Simple configuration and extra tools for NVIM + LSP + Idris2
  ☆54Oct 13, 2025Updated 4 months ago
• haskell-suite / haskell-names

  View on GitHub
  Haskell suite library for name resolution
  ☆53Apr 9, 2025Updated 10 months ago
• xgrommx / coq-ecosystem

  View on GitHub
  ☆43Nov 2, 2018Updated 7 years ago