Pinned Repositories
aoc-idr
Advent of Code runner for Idris 2
chambo
An experiment in verifying a small programming language
crepe
Datalog compiler in Rust as a procedural macro
cytosol
A programming language somewhat resembling cellular processes.
inline-gdscript
natpl
Programming language / calculator for natural sciences
nim_aoc
Tool to ease creation, testing and performance testing of Advent-of-Code solutions
tester-idr
Small testing framework for Idris 2
thiol
The thiol language for shader- and kernel-programming
toml-idr
A TOML parser for Idris 2
cuddlefishie's Repositories
cuddlefishie/cytosol
A programming language somewhat resembling cellular processes.
cuddlefishie/toml-idr
A TOML parser for Idris 2
cuddlefishie/natpl
Programming language / calculator for natural sciences
cuddlefishie/thiol
The thiol language for shader- and kernel-programming
cuddlefishie/chambo
An experiment in verifying a small programming language
cuddlefishie/inline-gdscript
cuddlefishie/tester-idr
Small testing framework for Idris 2
cuddlefishie/aoc-idr
Advent of Code runner for Idris 2
cuddlefishie/crepe
Datalog compiler in Rust as a procedural macro
cuddlefishie/nim_aoc
Tool to ease creation, testing and performance testing of Advent-of-Code solutions
cuddlefishie/cuddlefishie.github.io
cuddlefishie/elf-limits
cuddlefishie/elf_repack
Small utility that repacks ELFs to reduce file size
cuddlefishie/gdext
Rust bindings for Godot 4
cuddlefishie/gdext-rust
cuddlefishie/godot
Godot Engine – Multi-platform 2D and 3D game engine
cuddlefishie/idris2-lsp
Language Server for Idris2
cuddlefishie/ipkg-idr
An Idris 2 package description parser for Idris 2
cuddlefishie/sepia