Assorted concrete container types

Compiler for Elm, a functional language for reliable webapps.

Pure elm markdown parser with optional extensions for math, poetry, etc.

Terminal-based progress bar for Java / JVM

An agent framework using Spring AI

An Application Framework for AI Engineering

Spring Framework

Demo steps for Spring One 2019

A core language and API for dependently typed languages

edwinb's SPLV20 course notes, updated to run on current Idris2. (The updates build on work by @gallais.) The corresponding lectures are at https://www.youtube.com/playlist?list=PLmYPUe8PWHKqBRJfwBr…

Multi-arch Docker images for Idris 2

Extremely fast Query Engine for DataFrames, written in Rust

Minimalist ML framework for Rust

A Rust implementation of OpenAI's Whisper model using the burn framework

Rust implementation of a simple language model.

A production-ready framework for building Elm applications.

Symbolic Differentiation with Elm

Beginnings of a Postgres client for Idris 2

Experimental effects library for Idris 2

A collaborative bibliography of work related to the theory and practice of computational effects

Jiwhiz Blog Web Application

A simple validation framework to validate domain objects using Java 8 features

Inigo: A Package Manager for Idris2

Javascript DOM bindings for Idris2

SPLV20 course notes

A purely functional programming language with first class types