Alternatives and similar repositories for curses-idris

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

• jfdm / idris-xml

  View on GitHub
  A simple XML module for Idris.
  ☆13May 22, 2020Updated 5 years ago
• david-christiansen / idris-code-highlighter

  View on GitHub
  A semantic highlighter for Idris code
  ☆14Feb 22, 2018Updated 7 years ago
• mxswd / editable

  View on GitHub
  Derive editors for data types.
  ☆28Oct 5, 2014Updated 11 years ago
• justjoheinz / idris-httpclient

  View on GitHub
  A http client for Idris based on libcurl
  ☆10Mar 18, 2016Updated 9 years ago
• rodrigogribeiro / idrisregexp

  View on GitHub
  Regular expression matching in Idris
  ☆11Apr 27, 2016Updated 9 years ago
• shlevy / cat-fiat

  View on GitHub
  An attempt to formalize unix cat in fiat
  ☆11May 28, 2017Updated 8 years ago
• jfdm / idris-config

  View on GitHub
  Parsers for various configuration files written in Idris.
  ☆19Nov 8, 2017Updated 8 years ago
• david-christiansen / IdrisSqlite

  View on GitHub
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41May 1, 2018Updated 7 years ago
• i-am-tom / LICK

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

  View on GitHub
  Codes related to Idris
  ☆16Sep 4, 2015Updated 10 years ago
• gallais / typing-with-leftovers

  View on GitHub
  Self-contained repository for the eponymous paper
  ☆30Jan 11, 2019Updated 7 years ago
• mietek / idris-bash

  View on GitHub
  GNU bash backend for Idris
  ☆52Feb 14, 2019Updated 7 years ago
• isovector / do-notation

  View on GitHub
  deprecated in favor of -XQualifiedDo
  ☆41May 8, 2021Updated 4 years ago
• ekmett / hyperfunctions

  View on GitHub
  playing with hyperfunctions
  ☆16May 2, 2021Updated 4 years ago
• superbobry / io-mode

  View on GitHub
  Emacs Major Mode for Io language
  ☆23Oct 4, 2016Updated 9 years ago
• palladin / idris-snippets

  View on GitHub
  Collection of Idris snippets
  ☆23Dec 23, 2025Updated last month
• DanBurton / system-f

  View on GitHub
  System F implemented in Haskell
  ☆24Mar 15, 2012Updated 13 years ago
• gmalecha / coq-interaction-trees

  View on GitHub
  Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.
  ☆18Jul 9, 2018Updated 7 years ago
• uwap / idris-http

  View on GitHub
  An HTTP library for idris
  ☆39Dec 26, 2018Updated 7 years ago
• puffnfresh / bam-idris-blog

  View on GitHub
  Static blog generator in Idris.
  ☆40Feb 17, 2015Updated 10 years ago
• stedolan / idris-malfunction

  View on GitHub
  Experimental Malfunction backend for Idris
  ☆82Jun 20, 2018Updated 7 years ago
• wenkokke / msla2014

  View on GitHub
  wherein I implement several substructural logics in Agda
  ☆24Oct 8, 2018Updated 7 years ago
• tromey / emacs-module

  View on GitHub
  Simple Emacs Module System
  ☆30Jan 5, 2015Updated 11 years ago
• conal / circat

  View on GitHub
  A categorical framework for circuit construction
  ☆31Sep 27, 2016Updated 9 years ago
• coq-ext-lib / coq-compile

  View on GitHub
  A compiler for Coq
  ☆26Feb 22, 2013Updated 12 years ago
• jaredloomis / Idris-HoTT

  View on GitHub
  Homotopy Type Theory proofs in Idris
  ☆22May 22, 2019Updated 6 years ago
• melted / idris-chez

  View on GitHub
  An idris backend compiling to chez scheme
  ☆48Sep 30, 2017Updated 8 years ago
• LightAndLight / idris-but-its-c

  View on GitHub
  Idris, but it's C
  ☆24May 25, 2018Updated 7 years ago
• jwiegley / coq-lattice

  View on GitHub
  A reflection-based proof tactic for lattices in Coq
  ☆21Oct 15, 2023Updated 2 years ago
• cdparks / lambda-machine

  View on GitHub
  A simple UI for evaluating expressions in the untyped lambda calculus
  ☆56Nov 22, 2025Updated 2 months ago
• ocamllabs / ocaml-effects

  View on GitHub
  *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers
  ☆27Apr 29, 2016Updated 9 years ago
• effectfully / STLC

  View on GitHub
  Dependently typed Algorithm M and friends
  ☆26Jun 2, 2018Updated 7 years ago
• mietek / formal-logic

  View on GitHub
  TODO
  ☆23Oct 10, 2015Updated 10 years ago
• TOTBWF / muprl

  View on GitHub
  A small NuPRL style proof assistant
  ☆31Jan 31, 2019Updated 7 years ago
• larroy / deployingScalaLibrariesToSonatype

  View on GitHub
  Deploying scala libraries to central for dummies
  ☆23Oct 29, 2016Updated 9 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
• LightAndLight / cbpv

  View on GitHub
  A usable type system for call by push-value
  ☆33Dec 16, 2019Updated 6 years ago
• yamadapc / haskell-ascii-progress

  View on GitHub
  A simple Haskell progress bar for the console. Heavily borrows from TJ Holowaychuk's Node.JS project
  ☆64May 10, 2017Updated 8 years ago
• swcombine / swc-core

  View on GitHub
  SWCombine core code library
  ☆20Mar 8, 2017Updated 8 years ago