doofin/differentiable-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

doofin/differentiable-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/doofin/differentiable-idris)

Close

doofin / differentiable-idrisView on GitHubMore

• External links
• Readme badge

dependent types meets deep learning

☆44Jan 7, 2019Updated 7 years ago

Alternatives and similar repositories for differentiable-idris

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

• idris-industry / ikan

  View on GitHub
  build tool and package manager for idris,in idris,with free monads
  ☆32Feb 20, 2019Updated 7 years ago
• kowainik / hintman

  View on GitHub
  🔫 GitHub application to suggest hints
  ☆26Nov 6, 2020Updated 5 years ago
• timjb / idris-pfds

  View on GitHub
  Purely functional data structures in Idris
  ☆11Sep 24, 2017Updated 8 years ago
• idris-industry / idris-ffi-example

  View on GitHub
  A minimal example of the Idris C FFI
  ☆14May 15, 2015Updated 10 years ago
• Idris-zh / Idris-dev

  View on GitHub
  用作文档目的，翻译方式见 Issue #10
  ☆41Apr 1, 2019Updated 6 years ago
• NickSeagull / drahko

  View on GitHub
  🐲 Boost your efficiency: Make your computer work for you
  ☆14Oct 18, 2021Updated 4 years ago
• Feldspar / feldspar-compiler

  View on GitHub
  This is the compiler for the Feldspar Language.
  ☆23Jun 25, 2020Updated 5 years ago
• aaronallen8455 / Typson

  View on GitHub
  Type safe JSON PostgreSQL queries using bidirectional serializers
  ☆21Nov 27, 2020Updated 5 years ago
• bor0 / gidti

  View on GitHub
  Book: Introduction to Dependent Types with Idris
  ☆78Feb 27, 2023Updated 3 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
• swr1bm86 / vscode-idris

  View on GitHub
  Idris for Visual Studio Code
  ☆106May 13, 2022Updated 3 years ago
• jaredloomis / Idris-HoTT

  View on GitHub
  Homotopy Type Theory proofs in Idris
  ☆22May 22, 2019Updated 6 years ago
• jdevuyst / rekenaar

  View on GitHub
  Idris tactics for (commutative) monoids
  ☆20May 24, 2020Updated 5 years ago
• leon-vv / Todo

  View on GitHub
  Idris Todo web application example
  ☆41Jan 30, 2023Updated 3 years ago
• gallais / idris-tparsec

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

  View on GitHub
  Software Foundations in Idris
  ☆457May 15, 2019Updated 6 years ago
• well-typed / optics-zurihac-2021

  View on GitHub
  ☆11Jun 19, 2021Updated 4 years ago
• sigma-andex / idris-refined

  View on GitHub
  Port of Scala/Haskell Refined library to Idris
  ☆17Apr 25, 2021Updated 4 years ago
• edwinb / Idris2-boot

  View on GitHub
  A dependently typed programming language, a successor to Idris
  ☆900Aug 11, 2020Updated 5 years ago
• joom / hezarfen

  View on GitHub
  a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
  ☆121Sep 12, 2018Updated 7 years ago
• isovector / containers-good-graph

  View on GitHub
  It's Data.Graph, but it doesn't suck!
  ☆16Jun 3, 2021Updated 4 years ago
• deepeshpatel / jnumbertools

  View on GitHub
  JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…
  ☆12May 13, 2025Updated 9 months ago
• ekmett / heaps

  View on GitHub
  Asymptotically optimal Brodal/Okasaki heaps
  ☆34Dec 4, 2024Updated last year
• jfdm / idris-xml

  View on GitHub
  A simple XML module for Idris.
  ☆13May 22, 2020Updated 5 years ago
• haskell-github-trust / pureMD5

  View on GitHub
  A reasonably performing MD5 implementation in pure Haskell
  ☆12Feb 1, 2026Updated last month
• ralsei / six-eyes

  View on GitHub
  A work-in-progress structure editor for the cooltt proof assistant.
  ☆18Jul 28, 2022Updated 3 years ago
• smaccoun / servant-ts

  View on GitHub
  See the docs and live playground here
  ☆13Dec 10, 2022Updated 3 years ago
• pheymann / specdris

  View on GitHub
  A test framework for Idris
  ☆55Mar 21, 2019Updated 6 years ago
• LighghtEeloo / data-types-a-la-carte

  View on GitHub
  A quick tour to *Data types à la carte* for reading group presentation.
  ☆16Feb 7, 2023Updated 3 years ago
• composewell / unicode-data

  View on GitHub
  Access unicode character database
  ☆18Sep 16, 2025Updated 5 months ago
• cdepillabout / servant-rawm

  View on GitHub
  Effectful Raw handler for Servant servers.
  ☆16Mar 16, 2021Updated 4 years ago
• edwinb / Blodwen

  View on GitHub
  A prototype successor to Idris
  ☆541Jul 8, 2019Updated 6 years ago
• vmchale / recursion_schemes

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

  View on GitHub
  Benchmarks and examples for a "Slow Auto, Inconvenient Semi" presentation
  ☆17Mar 26, 2025Updated 11 months ago
• rkaippully / webgear

  View on GitHub
  Moved to https://github.com/haskell-webgear/webgear
  ☆38Jun 13, 2021Updated 4 years ago
• Tehnix / miso-isomorphic-stack

  View on GitHub
  An example of an "isomorphic" Miso server set up with stack
  ☆43Sep 1, 2020Updated 5 years ago
• ekmett / exceptions

  View on GitHub
  mtl friendly exceptions
  ☆56Updated this week
• timjb / quantities

  View on GitHub
  Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
  ☆164Jan 28, 2019Updated 7 years ago