Stars
A simple program to create ruling pages for English calligraphy
The Haskell Optimization Handbook
Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input fr…
Demo for high-performance type theory elaboration
Experimental Malfunction backend for Idris
A small implementation of a proof refinement logic.
Racket bindings for Poppler (library for reading and generating pdfs)
An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: https://github.com/redprl/sml-redprl]
Yet another Emacs paste mode, this one for Gist.
A Haskell kernel for the Jupyter project.
A repository for a project concerning copatterns.
Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
Structured editing minor mode for Haskell in Emacs
Collection of Idris tests and demonstration programs
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
Create forms and validations for Scala and Javascript with this small form dsl language.
A very simple implementation of a little dependently typed language