cuddlefishie

Pinned Repositories

• aoc-idr

  Advent of Code runner for Idris 2

  Language:Idris2100

• chambo

  An experiment in verifying a small programming language

  Language:Haskell9101

• crepe

  Datalog compiler in Rust as a procedural macro

  Language:Rust1000

• cytosol

  A programming language somewhat resembling cellular processes.

  Language:Rust34203

• inline-gdscript

  Language:Rust8101

• natpl

  Programming language / calculator for natural sciences

  Language:Rust14168

• nim_aoc

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

  Language:Nim1100

• tester-idr

  Small testing framework for Idris 2

  Language:Idris4201

• thiol

  The thiol language for shader- and kernel-programming

  Language:Rust11101

• toml-idr

  A TOML parser for Idris 2

  Language:Idris15125

cuddlefishie's Repositories