OCaml backend for Idris2

MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration

A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

Package manager for Idris

Standalone AArch64 Emulator Library

A libretro-inspired system for .NET emulators

SPLV20 course notes

JVM bytecode back end for Idris

Benchmarks for capture-avoiding substitution

Harmonize with coworkers around GitHub reviewing.

"Functional and Reactive Domain Modeling"

Software Foundations in Idris

Extended code samples related to the book "Domain Modeling Made Functional". Buy the book here: https://pragprog.com/book/swdddf/domain-modeling-made-functional or here https://fsharpforfunandprofi…

a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.

Javascript DOM bindings for Idris2

Visual Studio Code integration for the Idris 2 language server

The Ivory EDSL

🚦 A pretty diagnostics, references, telescope results, quickfix and location list to help you solve all the trouble your code is causing.

Automatically derivable JSON marshallers in the spirit of Haskell's aeson

An Idris port of the Haskell Hedghog library

Language Server for Idris2

An introductory course to Homotopy Type Theory