Lara

cytosol. A programming language somewhat resembling cellular processes.

toml-idr. A TOML parser for Idris 2

natpl. Programming language / calculator for natural sciences

thiol. The thiol language for shader- and kernel-programming

chambo. An experiment in verifying a small programming language

inline-gdscript. Rust

tester-idr. Small testing framework for Idris 2

aoc-idr. Advent of Code runner for Idris 2

ipkg-idr. An Idris 2 package description parser for Idris 2

crepe. Datalog compiler in Rust as a procedural macro

nim_aoc. Tool to ease creation, testing and performance testing of Advent-of-Code solutions

elf_repack. Small utility that repacks ELFs to reduce file size

sweet-expr. Rust

elf-limits. Rust