jfdm

idris-containers

Various data structures for use in the Idris Language.

idris-xml

A simple XML module for Idris.

velo-lang

Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.

olaf-lang

Adventures in being functional.

smokehill

idris2-toolkit

I collection of things I use in Idris2 that I dump into private projects to avoid dependency hell.

tears-in-the-rain

chipshop

packer-idris

Packer scripts for generating Virtual Box OVFs that have Idris preinstalled.

positively-negative

Adventures in being positively negative when deciding things in Idris.

edda

A processing engine for documents written in markdown-like languages.

java-grl

An implementation of the GRL in Java

lambdadome

SPLS-March-2018

Meeting Website for the March meeting of SPLS in 2018.

a-tasty-problem

collie

Command line interface library in Idris

idrall

Dhall bindings for Idris

idris-commons

Various common utilities for use in Idris

idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

idris-shaped

Idris2

A purely functional programming language with first class types

idris2-edda

ips-protodesc-code

Code for parsing out augmented packet header diagrams from IETF documents

jfdm.github.io

The code for my (S n) Website.

katla

MSPweb

being the shared sources and generated html for the MSP website

notes

olai-lang

Adventures in Imperative languages in Idris2.

scottish-pl-institute.github.io

SPLI website

verismith

Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.