Alternatives and similar repositories for idris2-async

Users that are interested in idris2-async are comparing it to the libraries listed below

• stefan-hoeck / idris2-ref1

  View on GitHub
  Linear mutable References and Utilities
  ☆13Oct 30, 2025Updated 3 months ago
• idris-community / idris2-http

  View on GitHub
  a http(s) client in idris
  ☆29Dec 11, 2024Updated last year
• stefan-hoeck / idris2-pack

  View on GitHub
  ☆144Dec 28, 2025Updated last month
• stefan-hoeck / idris2-dom-mvc

  View on GitHub
  Single Page Web Applications in Idris
  ☆27Nov 22, 2025Updated 2 months ago
• stefan-hoeck / idris2-dom

  View on GitHub
  Javascript DOM bindings for Idris2
  ☆54Oct 18, 2025Updated 3 months ago
• kbertalan / tyttp

  View on GitHub
  ☆23May 10, 2025Updated 9 months ago
• idris-community / idris2-nvim

  View on GitHub
  Simple configuration and extra tools for NVIM + LSP + Idris2
  ☆54Oct 13, 2025Updated 4 months ago
• stefan-hoeck / idris2-webidl

  View on GitHub
  Parsers and (eventually) Idris code generator for WebIDL documents
  ☆16Feb 10, 2025Updated last year
• MarcelineVQ / idris2-curl

  View on GitHub
  libcurl bindings for idris2
  ☆15Feb 21, 2021Updated 4 years ago
• idris-community / idris2-lsp

  View on GitHub
  Language Server for Idris2
  ☆187Dec 28, 2025Updated last month
• stefan-hoeck / idris2-tutorial

  View on GitHub
  ☆236Aug 10, 2025Updated 6 months ago
• mattpolzin / pg-idris

  View on GitHub
  Beginnings of a Postgres client for Idris 2
  ☆18Dec 9, 2025Updated 2 months ago
• Z-snails / Idris2-Grin

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

  View on GitHub
  ☆21May 19, 2025Updated 8 months ago
• edwinb / idris2-vim

  View on GitHub
  Vim mode for Idris 2
  ☆78Aug 31, 2022Updated 3 years ago
• berewt / UnionType

  View on GitHub
  UnionType in Idris
  ☆11Jun 24, 2018Updated 7 years ago
• kayhide / tree-sitter-idris

  View on GitHub
  ☆12Nov 5, 2024Updated last year
• edwinb / SchemeEval

  View on GitHub
  Experimental normalisation via scheme
  ☆12Jul 25, 2021Updated 4 years ago
• stefan-hoeck / idris2-pack-db

  View on GitHub
  ☆30Feb 6, 2026Updated last week
• tusharad / sql2er

  View on GitHub
  Generate ER-diagram using SQL file
  ☆17Dec 31, 2024Updated last year
• mattpolzin / ncurses-idris

  View on GitHub
  A hobby implementation of an ncurses binding for Idris 2
  ☆16Dec 9, 2024Updated last year
• Miezhiko / BiSH

  View on GitHub
  Idris 2 static web blog generator. More like proof of concept, everything could change, not sure if I will put more time into that but ge…
  ☆11Oct 28, 2024Updated last year
• ohad / collie

  View on GitHub
  Command line interface library in Idris
  ☆33Jul 26, 2024Updated last year
• tweag / smtlib-backends

  View on GitHub
  A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.
  ☆18Oct 28, 2025Updated 3 months ago
• stefan-hoeck / idris2-tailrec

  View on GitHub
  Provably total, tail-call optimized monadic recursion in Idris2
  ☆14Nov 14, 2023Updated 2 years ago
• stefan-hoeck / idris2-json

  View on GitHub
  Automatically derivable JSON marshallers in the spirit of Haskell's aeson
  ☆19Nov 15, 2025Updated 2 months ago
• kasiaMarek / TyRE

  View on GitHub
  ☆26Jan 22, 2024Updated 2 years ago
• dunhamsteve / newt

  View on GitHub
  A toy dependent typed language.
  ☆36Updated this week
• mattpolzin / idv

  View on GitHub
  Idris Version Manager
  ☆16Feb 23, 2025Updated 11 months ago
• matthunz / hoot

  View on GitHub
  Opinionated package manager for haskell (WIP)
  ☆16Jul 9, 2023Updated 2 years ago
• madman-bob / idris2-table

  View on GitHub
  A table library for Idris 2
  ☆15Oct 25, 2022Updated 3 years ago
• edwinb / idris-lang.org

  View on GitHub
  Idris web site
  ☆17Apr 22, 2024Updated last year
• edwinb / Yaffle

  View on GitHub
  A core language and API for dependently typed languages
  ☆97Feb 19, 2025Updated 11 months ago
• idris-community / idris2-tls

  View on GitHub
  A portable idris2 implementation of TLS
  ☆32Oct 30, 2024Updated last year
• lagunoff / idris-elm

  View on GitHub
  The Elm architecture ported to Idris Programming language
  ☆14Feb 27, 2019Updated 6 years ago
• karroffel / Idris2-Ocaml

  View on GitHub
  OCaml backend for Idris2
  ☆20Oct 12, 2020Updated 5 years ago
• JoeyEremondi / aoc-2020-idris

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

  View on GitHub
  Idris port of Haskell's sop-core library
  ☆37Aug 14, 2025Updated 5 months ago
• exercism / idris

  View on GitHub
  Exercism exercises in Idris.
  ☆35Updated this week