https://github.com/mmhelloworld/idris-jvm

Idris on the JVM

idris java jvm

Last synced: 30 Jun 2026

https://github.com/idris-hackers/software-foundations

Software Foundations in Idris

book computer-science idris theorem-proving

Last synced: 11 Feb 2026

https://github.com/elba/elba

A package manager for Idris

idris package-manager

Last synced: 13 May 2025

https://github.com/vmchale/project-init

Project templates in rust

command-line-tool cookiecutter elm elm-lang haskell idris miso mustache rust template-project

Last synced: 05 Apr 2025

https://github.com/andorp/order-taking

Idris version of Domain Modeling Made Functional Book.

ddd depedent-types fp idris

Last synced: 09 Oct 2025

https://github.com/bamboo/idris-cil

A Common Intermediate Language backend for Idris 1

idris language-backend

Last synced: 23 Mar 2025

https://github.com/ilya-klyuchnikov/ttlite

A SuperCompiler for Martin-Löf's Type Theory

agda coq dependent-types idris programming-language supercompilation type-theory

Last synced: 25 Oct 2025

https://github.com/joom/hezarfen

a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features

automated-theorem-provers idris mathematical-logic metaprogramming theorem-prover

Last synced: 09 Jul 2025

https://github.com/gallais/idris-tparsec

TParsec - Total Parser Combinators in Idris

idris parser-combinators

Last synced: 07 Jan 2026

https://github.com/spy/idris-codegen-wasm

WebAssembly Code Generation Backend for Idris Compiler

codegen idris wasm webassembly

Last synced: 20 Aug 2025

https://github.com/bor0/gidti

Book: Introduction to Dependent Types with Idris

books dependent-types idris lambda-calculus theorem-proving type-theory types

Last synced: 21 Jan 2026

https://github.com/vmchale/recursion_schemes

Recursion schemes for Idris

control-flow idris idris-ecosystem recursion recursion-schemes

Last synced: 16 Feb 2026

https://github.com/expede/teaching-fp

Techniques, advice, and anecdotes about how to teach Functional Programming

clojure clojurescript elixir elm functional-programming haskell idris material ocaml python racket rust scala scheme teaching theory

Last synced: 25 Aug 2025

https://github.com/pheymann/specdris

A test framework for Idris

idris idris-ecosystem test-framework testing unit-testing unittest

Last synced: 20 Jan 2026

https://github.com/bamboo/idrisunityplayground

Experiments in Idris / Unity integration.

idris playground unity

Last synced: 23 Mar 2025

https://github.com/bamboo/idris2dart

The Dart backend for Idris 2.

dart flutter idris idris2 idris2-ecosystem

Last synced: 01 Aug 2025

https://github.com/grin-compiler/idris-grin

GRIN backend for Idris

compiler functional-programming grin idris

Last synced: 15 Feb 2026

https://github.com/xgrommx/idris-ecosystem

ecosystem idris idris-ecosystem

Last synced: 07 Jan 2026

https://github.com/idris-industry/ikan

build tool and package manager for idris,in idris,with free monads

free-monads idris package-manager

Last synced: 13 May 2025

https://github.com/gergoerdi/icfp-bingo-2017-idris

ICFP Bingo 2017 (Idris edition)

bingo-game idris single-page-app webapp

Last synced: 18 Jun 2025

https://github.com/davidfstr/idris-insertion-sort

Provably correct implementation of insertion sort in Idris.

idris insertion-sort proof

Last synced: 16 Feb 2026

https://github.com/0xd34df00d/fizzbuzz-i

FizzBuzz, formally verified, provably correct

fizzbuzz idris

Last synced: 10 Feb 2026

https://github.com/thautwarm/quick-backend

Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master

code-generation compiler-backend idris

Last synced: 23 Mar 2025

https://github.com/thautwarm/idris-python

Successor project: https://github.com/thautwarm/Quick-Backend

idris idris-ecosystem python python3

Last synced: 29 Jul 2025

https://github.com/thautwarm/idris-cam

Sucessor: https://github.com/thautwarm/Quick-Backend

codegen dependent-types idris julia python

Last synced: 07 May 2025

https://github.com/jaredloomis/idris-hott

Homotopy Type Theory proofs in Idris

dependent-types homotopy-type-theory idris type-theory

Last synced: 09 Mar 2026

https://github.com/kowainik/idris-patricia

🌋 Idris implementation of patricia tree

algorithm containers data-structure idris persistence

Last synced: 30 Apr 2025

https://github.com/tsani/jerrington.me

Blog & personal website

blog hakyll haskell idris

Last synced: 05 Feb 2026

https://github.com/jmitchell/idris-elixir

Idris backend targeting Elixir (Work in progress)

code-generator elixir idris translator

Last synced: 09 Apr 2025

https://github.com/cwgoes/tm-proposer-idris

Formalization of Tendermint proposer election properties

blockchain dlt formal-verification idris tendermint

Last synced: 05 Feb 2026

https://github.com/lagunoff/idris-elm

The Elm architecture ported to Idris Programming language

elm frontend idris

Last synced: 06 Mar 2025

https://github.com/simongregersen/depsec

A library for static information-flow control in Idris

dependent-types idris information-flow-control

Last synced: 21 Feb 2026

https://github.com/emptyflash/ivor

The steam powered Idris package manager

dependency-manager idris package package-manager

Last synced: 21 Jan 2026

https://github.com/vmchale/ipkg-vim

Syntax highlighting for Idris package files

idris syntax syntax-highlighting vim

Last synced: 25 Oct 2025

https://github.com/raptazure/experiments

Just toys

cpp elixir haskell idris java ocaml python reasonml rust-lang typescript

Last synced: 12 Jul 2025

https://github.com/raptazure/playground

Just toys

cpp elixir haskell idris java ocaml python reasonml rust-lang typescript

Last synced: 31 Mar 2025

https://github.com/joom/edit-time-tactics

Documents (TeX, slides, poster etc.) for my master's thesis, titled "Edit-Time Tactics in Idris", and the TyDe '18 paper, titled "Extensible Type-Directed Editing"

editor emacs idris tactics

Last synced: 11 Mar 2026

https://github.com/laikatul/klopa115x

ora

idris logtalk mariadb

Last synced: 11 Oct 2025

https://github.com/aatxe/cube.idr

An implementation of the Lambda Cube in Idris.

idris lambda-calculus lambda-cube toy-language

Last synced: 31 Jan 2026

https://github.com/gallais/great-library-of-idris

A crowd-sourced list of papers using Idris

idris papers

Last synced: 06 Jan 2026

https://github.com/bamboo/idris-hamt

Idris Hash Array Mapped Trie

data-structure hash-array-mapped-trie idris trie

Last synced: 10 Feb 2026

https://github.com/leostera/idris-coda

📦 A collection of Idris packages

idris packages random

Last synced: 30 Jan 2026

https://github.com/bor0/misc

Misc playground and random stuff

assembly books c coq haskell idris javascript playground scheme

Last synced: 10 Apr 2025

https://github.com/pascalpoizat/idris-book

examples and exercises in "Type-Driven Development with Idris"

examples exercises idris learning solutions

Last synced: 09 Jul 2025

https://github.com/taktoa/spim-compiler

A compiler from a simple imperative language to SPIM, a dialect of MIPS assembly (WIP)

compiler dependent-types idris mips wip

Last synced: 04 Feb 2026

https://github.com/jessyjpostojh/haaanbx

ansible

clojure idris java

Last synced: 19 Apr 2025

https://github.com/yurrriq/gis

An implementation of David Lewin's Generalized Interval Systems

generalized-interval-systems group-theory idris music-theory musical-analysis set-theory

Last synced: 13 Feb 2026

https://github.com/risto-stevcev/idris-heyting-algebra

Interfaces for heyting algebras and verified bounded join and meet semilattices

algebra algebras bounded heyting heyting-algebras idris join lattice lattices meet semilattice semilattices

Last synced: 29 Jan 2026

https://github.com/dgellow/idris-docker-image

Dockerfile and images for idris and idris2

docker docker-image dockerfile idris idris2

Last synced: 18 Mar 2025

https://github.com/steshaw/idris-miniml

Compiler for MiniML in Idris

compiler idris ml

Last synced: 19 Mar 2026

https://github.com/0xd34df00d/sorts

Provably correct merge sort

idris mergesort

Last synced: 06 Jan 2026

https://github.com/bamboo/idris-codegen-sexp

Idris Simplified Expressions backend

compiler idris idris-ecosystem

Last synced: 02 Jul 2025

https://github.com/leostera/tap-idris

:beers: A simple TAP producer and consumer/reporter for Idris

idris tap tap-producer tests

Last synced: 19 Jan 2026

https://github.com/gergoerdi/brainfuck-idris

Brainfuck interpreter in Idris

brainfuck idris interpreter

Last synced: 11 Mar 2026

https://github.com/clayrat/refutation

Refutation and paraconsistent calculi

idris

Last synced: 21 Feb 2026

https://github.com/yurrriq/advent-of-code

Semi-literate polyglot solutions to Advent of Code problems.

advent-of-code-2015 advent-of-code-2016 advent-of-code-2017 advent-of-code-2018 advent-of-code-2019 advent-of-code-2020 advent-of-code-2021 advent-of-code-2022 advent-of-code-2023 gap haskell idris lfe literate-programming nix noweb picat tufte-latex xelatex

Last synced: 30 Oct 2025

https://github.com/appliedfm/growth-data

Measuring the growth of open source formal methods

ada agda appliedfm coq idris isabelle lean tla

Last synced: 25 Oct 2025

https://github.com/risto-stevcev/idris-functors

Bifunctors and functor products, coproducts, and composition

bifunctor bifunctors composition coproduct functor functor-products functors idris

Last synced: 28 Feb 2026

https://github.com/sumnerevans/lug-idris

A LUG Talk about Idris, a general purpose language with dependent types.

dependent-types idris lug proof-assistant

Last synced: 18 Mar 2026

https://github.com/b-studios/idris-effekt

Delimited control effects in Idris

control-effects delimited-continuations idris

Last synced: 19 Mar 2026

https://github.com/leostera/libra

:balance_scale: A Lisp Parser in Idris

dependent-types idris lisp parser

Last synced: 18 Jan 2026

https://github.com/keens/idris-deriving

deriving facility for Idris

elab idris

Last synced: 18 Mar 2026

https://github.com/risto-stevcev/idris-naps

A makeshift package management system for idris

idris manager package

Last synced: 25 Jun 2026

https://github.com/risto-stevcev/idris-comonad

An implementation of comonads in idris

comonad comonads idris

Last synced: 28 Feb 2026

https://github.com/taktoa/idris-absint

Abstract interpretation in Idris

abstract-interpretation experimental idris

Last synced: 18 Mar 2026

https://github.com/minhnhdo/programming-language-foundations-in-idris

Programming language foundations in Idris

idris programming-language-foundations proofs software-foundations

Last synced: 07 Jul 2026

https://github.com/yurrriq/idris-alga

The theory of algebraic graphs formalised in Idris

algebra graph idris

Last synced: 20 Feb 2026

https://github.com/yurrriq/iweb

Maybe eventually a spiritual port of noweb to Idris.

idris literate-programming noweb

Last synced: 12 Mar 2026

https://github.com/wildhoney/typified

🗼An experimental implementation of first class functional types using pure ES at runtime, inspired by Haskell, PureScript and Idris.

declarations functional generics haskell idris purescript types typing

Last synced: 16 Feb 2026

https://github.com/taktoa/idris-regexp

Regular expressions in Idris

experimental idris regex

Last synced: 23 Feb 2026

https://github.com/clayrat/idris-functors

Functors

idris

Last synced: 24 Jan 2026

https://github.com/yurrriq/tdd-with-idris

:book: Working through Type-Driven Development with Idris

dependent-types functional-programming idris learning theorem-proving type-driven-development

Last synced: 08 Feb 2026

https://github.com/simonewebdesign/idris-koans

The path to enlightenment

idris koans

Last synced: 04 Mar 2026

https://github.com/yurrriq/real_world_machine_learning

:book: Real-World Machine Learning

idris latex learning literate-programming machine-learning nix noweb python reading

Last synced: 08 May 2026

https://github.com/epicallan/learn-idris

Dependent Types

dependent-types haskell idris

Last synced: 25 May 2026

https://github.com/janschultecom/kolgut-api

Schema-safe http api using Idris+Rust

dependent-types http idris rust swagger type-providers typelevel-programming

Last synced: 14 Mar 2025

https://github.com/davidfstr/tic-tac-idris

Tic-tac-toe game written in Idris.

idris tic-tac-toe

Last synced: 05 Mar 2026

https://github.com/arpanetus/tdd-idris

Solutions to "Type-Driven Development with Idris"

books idris

Last synced: 30 Jan 2026

https://github.com/yurrriq/clippings

Parser for Kindle clippings.

idris kindle kindle-clippings parser

Last synced: 02 Apr 2026

https://github.com/mtumilowicz/scala3-dependent-types-polymorphic-functions-workshop

Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.

compile-time-meta-programming curry-howard-isomorphism dependent-type-theory dependent-types first-order-logic idris path-dependent path-dependent-types phantom-types polymorphic-functions polymorphic-types scala3 scala3-metaprogramming type-programming typed-lambda-calculus typelevel-programming union-types workshop workshop-materials

Last synced: 21 Jun 2026

https://github.com/wevtimoteo/exercism

Solving Exercism exercises :yum:

clojure crystal elixir exercism haskell idris javascript python ruby swift

Last synced: 10 Apr 2026

https://github.com/mrlsd/idris-docker

Idris language docker image builder

docker idris

Last synced: 09 Jun 2026

https://github.com/lambdacasserole/equis

A library for solving systems of linear equations, using Idris.

idris least-squares linear-equations polynomial regression

Last synced: 25 Feb 2026

https://github.com/bor0/hello-idris

A WordPress plugin written in Idris

idris wordpress wordpress-plugin

Last synced: 16 May 2025

https://github.com/running-grass/idris2-url

A URL library for idris2, Based on RFC 1738.

idris idris2 library package url

Last synced: 18 Mar 2026

https://github.com/vendethiel/dependent-printf

I'm terrible at this, eh.

agda dependent-types idris printf

Last synced: 03 Feb 2026

https://github.com/yurrriq/notes

:notebook: as I learn all the things.

category-theory idris java8 literate-programming notes org-mode r virtualbox

Last synced: 14 May 2026

https://github.com/gergoerdi/codenames

Grid generator for Codenames & Codenames Duet

board-game codenames idris single-page-app

Last synced: 02 Feb 2026

https://github.com/yurrriq/blorg

C-c C-e P p >>=

blog c compiler-designs erlang experiments idris programming-language-theory security type-theory

Last synced: 18 Apr 2026

https://github.com/eadm/rational-setoid

Setoid for rational numbers written in Idris

idris proofs setoid

Last synced: 20 Jan 2026

https://github.com/yurrriq/lp

:book: :computer: Literate programming :umbrella: repo

abstract-algebra artificial-intelligence common-lisp erlang gap haskell idris learning-by-doing literate-programming noweb

Last synced: 15 May 2026

https://github.com/benclifford/idris-todaybot

An Idris implementation of lsc-todaybot - a bot which moves the [TODAY] flair around on reddit.com/r/LondonSocialClub

idris reddit

Last synced: 15 Feb 2026

https://github.com/0xd34df00d/idris2-indexed-vect

Indexed vectors for Idris!

dependent-types idris idris2

Last synced: 19 Mar 2026

https://github.com/risto-stevcev/idris-async

Higher-level abstractions for asynchronous code in idris

aff async asynchronous idris io javascript nodejs

Last synced: 16 Apr 2026

https://github.com/dmalikov/bulls-and-cows

Implementation of Bulls and Cows game

idris

Last synced: 06 Jan 2026

https://github.com/chouffe/idris-type-driven-development

Idris Playground (Book Type Driven Development)

dependent-types idris

Last synced: 16 Mar 2026

https://github.com/laserpants/baseline-idris

Minimal readline-like API for Idris.

editline idris readline

Last synced: 10 Mar 2026

https://github.com/remexre/idris-group

Stuff related to the UMN plseminar going through Type-Driven Development in Idris in Fall 2019.

idris plseminar

Last synced: 20 Jan 2026

https://github.com/kraks/2048.idr

Game 2048 written in a language with dependent types.

2048-game idris

Last synced: 23 Jan 2026

https://github.com/cwgoes/ibc-idris-ref

Datatypes & reference algorithms for IBC, later to be converted into proofs.

blockchain cosmos ibc idris

Last synced: 28 Feb 2026