Alternatives and similar repositories for ikan

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

• elba / elba

  View on GitHub
  A package manager for Idris
  ☆185Jul 16, 2020Updated 5 years ago
• thautwarm / Quick-Backend

  View on GitHub
  Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master
  ☆24Jun 2, 2020Updated 5 years ago
• meraymond2 / idris-ide-client

  View on GitHub
  TypeScript client for Idris IDE-mode.
  ☆13Nov 6, 2022Updated 3 years ago
• MarcelineVQ / idris2-streaming

  View on GitHub
  Effectful Streaming for Idris
  ☆15Dec 13, 2020Updated 5 years ago
• doofin / differentiable-idris

  View on GitHub
  dependent types meets deep learning
  ☆44Jan 7, 2019Updated 7 years ago
• ice1k / ConsHoTT

  View on GitHub
  Constructive Interpretations of HoTT
  ☆36Aug 26, 2020Updated 5 years ago
• Z-snails / Idris2-Grin

  View on GitHub
  GRIN backend for Idris2
  ☆33Jul 3, 2022Updated 3 years ago
• joaomilho / awesome-idris

  View on GitHub
  𝛌 Awesome Idris resources
  ☆410Feb 20, 2020Updated 5 years ago
• ice1000 / agda-mode

  View on GitHub
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆28Nov 12, 2025Updated 3 months ago
• jdevuyst / rekenaar

  View on GitHub
  Idris tactics for (commutative) monoids
  ☆20May 24, 2020Updated 5 years ago
• idris-hackers / idris-llvm

  View on GitHub
  Idris LLVM codegen factored out
  ☆82Jul 28, 2017Updated 8 years ago
• idris-community / idris2-mode

  View on GitHub
  Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆28Dec 20, 2024Updated last year
• andorp / DepPy

  View on GitHub
  Imagine a Dependently Typed Python
  ☆10Apr 4, 2025Updated 10 months ago
• JoeyEremondi / lambda-pi-constraint

  View on GitHub
  ☆16Feb 18, 2025Updated 11 months ago
• owo-lang / Mini-TT

  View on GitHub
  Documented version of a simple type-theoretic language: Mini-TT
  ☆18May 5, 2019Updated 6 years ago
• skeeto / rdp

  View on GitHub
  Recursive descent parser for Emacs Lisp
  ☆18Sep 29, 2012Updated 13 years ago
• idris-industry / idris-ffi-example

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

  View on GitHub
  Libgit2 bindings for Idris 2
  ☆13Sep 10, 2020Updated 5 years ago
• yeghishe / ammonite-modules

  View on GitHub
  ☆14Jul 26, 2019Updated 6 years ago
• SPY / idris-codegen-wasm

  View on GitHub
  WebAssembly Code Generation Backend for Idris Compiler
  ☆82Jun 26, 2018Updated 7 years ago
• Russoul / Idris2-Lua

  View on GitHub
  Lua backend for Idris 2
  ☆28Aug 14, 2022Updated 3 years ago
• kasiaMarek / TyRE

  View on GitHub
  ☆26Jan 22, 2024Updated 2 years ago
• hackergarten / hackadoc

  View on GitHub
  Realtime collaborative asciidoc notes on all platforms, fork of hackmd.io
  ☆30Aug 11, 2020Updated 5 years ago
• narumincho / definy

  View on GitHub
  deiny is web app for web app. under development
  ☆16Feb 5, 2026Updated last week
• idris-hackers / idris-mode

  View on GitHub
  Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆274Dec 3, 2025Updated 2 months ago
• idris-community / inigo

  View on GitHub
  Inigo: A Package Manager for Idris2
  ☆62Oct 30, 2022Updated 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
• ruzickap / action-my-markdown-link-checker

  View on GitHub
  A GitHub Action for checking broken links in Markdown files
  ☆20Feb 8, 2026Updated last week
• garyb / purescript-codec

  View on GitHub
  General purpose bi-directional codecs
  ☆15Oct 20, 2023Updated 2 years ago
• jessealama / argo

  View on GitHub
  JSON Schema Adventures
  ☆17Mar 13, 2023Updated 2 years ago
• adamwespiser / variational-autoencoders

  View on GitHub
  Experiments with variational autoencoders in Julia
  ☆17Sep 19, 2019Updated 6 years ago
• edwinb / Idris2-boot

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

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

  View on GitHub
  My Idris2 solutions/attempts for Advent of Code 2020
  ☆17Dec 16, 2020Updated 5 years ago
• edwinb / idris2-clibs

  View on GitHub
  Idris 2 bindings to various C libraries
  ☆15Jun 28, 2021Updated 4 years ago
• funexists / coq-lean-cheatsheet

  View on GitHub
  A Cheat Sheet for Coq Developers who want to try LeanProver
  ☆19Jul 25, 2023Updated 2 years ago
• idream-build / idream

  View on GitHub
  A simple build system for Idris
  ☆22Mar 19, 2021Updated 4 years ago
• hydrolarus / toml-idr

  View on GitHub
  A TOML parser for Idris 2
  ☆17Jun 27, 2024Updated last year
• grin-compiler / ghc-whole-program-compiler-project

  View on GitHub
  GHC Whole Program Compiler and External STG IR tooling
  ☆120Oct 24, 2025Updated 3 months ago