Alternatives and similar repositories for Idris

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

• rodrigogribeiro / idrisregexp

  View on GitHub
  Regular expression matching in Idris
  ☆11Apr 27, 2016Updated 9 years ago
• jfdm / idris-config

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

  View on GitHub
  Source of the "Pony for X" intro to Pony series
  ☆14Oct 4, 2016Updated 9 years ago
• JakobBruenker / curses-idris

  View on GitHub
  Curses bindings package for Idris
  ☆13Jan 4, 2019Updated 7 years ago
• andyarvanitis / idris-cplusplus

  View on GitHub
  Experimental C++11 backend for Idris
  ☆15Nov 29, 2014Updated 11 years ago
• trillioneyes / idris-pong

  View on GitHub
  A browser Pong game, taking advantage of Idris's ability to compile to javascript.
  ☆18Nov 20, 2014Updated 11 years ago
• mandubian / khats

  View on GitHub
  Khats, cats on Higher-Kinded amphets
  ☆15Aug 17, 2016Updated 9 years ago
• lucastorri / autobreaker

  View on GitHub
  Automatically wrap Scala classes that return Futures with a Circuit Breaker
  ☆10Sep 18, 2016Updated 9 years ago
• shadaj / GameOfLife

  View on GitHub
  Conway's Game Of Life using Scala and Processing
  ☆25Apr 8, 2012Updated 13 years ago
• scvalex / daemons

  View on GitHub
  Daemons in Haskell made fun and easy
  ☆27Sep 29, 2023Updated 2 years ago
• ktisha / TheRPlugin

  View on GitHub
  R language plugin for IntelliJ platform.
  ☆18Jul 5, 2016Updated 9 years ago
• hamano / python-erlang-interface

  View on GitHub
  Erlang Interface for Python
  ☆34Oct 19, 2015Updated 10 years ago
• KesterTong / idris2048

  View on GitHub
  2048 in Idris
  ☆124Nov 28, 2017Updated 8 years ago
• puffnfresh / bam-idris-blog

  View on GitHub
  Static blog generator in Idris.
  ☆40Feb 17, 2015Updated 10 years ago
• melling / EditorNotes

  View on GitHub
  Emacs, vim, Sublime, Atom, IntelliJ, etc
  ☆23Jan 27, 2017Updated 9 years ago
• rbarreiro / idrisjs

  View on GitHub
  Js libraries for idris
  ☆49Feb 2, 2020Updated 6 years ago
• FranckS / RingIdris

  View on GitHub
  Ring solver for Idris
  ☆20Nov 12, 2018Updated 7 years ago
• idris-hackers / idris-lens

  View on GitHub
  ☆23Sep 30, 2016Updated 9 years ago
• kalta / etoml

  View on GitHub
  TOML language erlang parser
  ☆41Aug 3, 2018Updated 7 years ago
• stepcut / idris-blink

  View on GitHub
  A simple Idris program to blink the LED on an Arduino
  ☆58Jul 26, 2021Updated 4 years ago
• mietek / idris-bash

  View on GitHub
  GNU bash backend for Idris
  ☆52Feb 14, 2019Updated 6 years ago
• JamesIry / jADT

  View on GitHub
  A spoonful of ADT in your Java.
  ☆49Mar 4, 2023Updated 2 years ago
• david-christiansen / IdrisSqlite

  View on GitHub
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41May 1, 2018Updated 7 years ago
• idris-hackers / idris-free

  View on GitHub
  Free Monads and useful constructions to work with them
  ☆26Aug 14, 2018Updated 7 years ago
• Bogdanp / hebi

  View on GitHub
  A Snake-style game in Racket.
  ☆25Jul 7, 2019Updated 6 years ago
• thautwarm / idris-python

  View on GitHub
  Successor project: https://github.com/thautwarm/Quick-Backend
  ☆24Apr 26, 2019Updated 6 years ago
• Syntaf / GameOfLife

  View on GitHub
  A terminal based Conways Game of Life
  ☆23Oct 14, 2017Updated 8 years ago
• idris-hackers / idris-java

  View on GitHub
  Java Code Generator for Idris
  ☆72Feb 17, 2016Updated 9 years ago
• thomasclaudiushuber / Getting-Started-with-TypeScript

  View on GitHub
  Contains the samples of the book "Getting Started with TypeScript"
  ☆12Apr 29, 2021Updated 4 years ago
• richelieu042 / chimera

  View on GitHub
  Golang的工具库（Tools of Golang）
  ☆13Updated this week
• eBay / RTran

  View on GitHub
  Road to Continous Upgrade
  ☆15Aug 12, 2025Updated 6 months ago
• slzhao / heatmap3

  View on GitHub
  heatmap3 is an improved heatmap package. It is completely compatible with the original R function heatmap, and provides some more powerfu…
  ☆10Sep 2, 2021Updated 4 years ago
• TheDoctor-95 / FuryViewer

  View on GitHub
  Proyecto final de el 2o año de DAW. Pagina web para el control y gestion de tus series y peliculas vistas por un ussuario. Realizada util…
  ☆12Jun 1, 2018Updated 7 years ago
• idris-hackers / idris-posix

  View on GitHub
  System POSIX bindings for Idris.
  ☆36Jan 5, 2019Updated 7 years ago
• edreamleo / make-stub-files

  View on GitHub
  Script and config file that creates python stub (.pyi) files
  ☆32Apr 17, 2022Updated 3 years ago
• exercism / idris

  View on GitHub
  Exercism exercises in Idris.
  ☆35Updated this week
• kim / leveldb-haskell

  View on GitHub
  Haskell bindings to LevelDB (https://github.com/google/leveldb)
  ☆67Feb 25, 2025Updated 11 months ago
• Novicell / Novicell.Examine.ElasticSearch

  View on GitHub
  Elasticsearch provider for Examine in Umbraco v8
  ☆12Jan 15, 2024Updated 2 years ago
• adamtornhill / tinch_pp

  View on GitHub
  Distributed Erlang nodes in C++
  ☆42Feb 9, 2014Updated 12 years ago