CodingCellist

idris2-dot-parse. A lexer+parser library for the DOT language (graphviz) written in Idris2.

idris2-buffered-channels. An attempt at implementing various channels for inter-process communication in Idris2

idris2-dsa-gen. Generating Idris2 code based on Dependent State Automata diagrams.

tyde-24-code. Full Idris2 code used in the TyDe '24 paper "Type-level Property Based Testing"

idris2-skeletons. An implementation of various parallel programming patterns (aka. skeletons) in Idris2

idris2-sinter. A sinter backend for idris2