Beast code in Giters

Lara Herzog's repositories

cytosol

A programming language somewhat resembling cellular processes.

Language:RustAGPL-3.034 20

toml-idr

A TOML parser for Idris 2

Language:Idris15 1 2

natpl

Programming language / calculator for natural sciences

Language:RustAGPL-3.014 1 6

thiol

The thiol language for shader- and kernel-programming

Language:Rust11 10

chambo

An experiment in verifying a small programming language

Language:HaskellEUPL-1.29 10

inline-gdscript

Language:RustMIT8 10

tester-idr

Small testing framework for Idris 2

Language:Idris3 20

aoc-idr

Advent of Code runner for Idris 2

Language:IdrisMPL-2.02 10

crepe

Datalog compiler in Rust as a procedural macro

Language:Rust100

nim_aoc

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

Language:NimEUPL-1.21 10

cuddlefishie.github.io

010

elf-limits

Language:RustApache-2.0010

elf_repack

Small utility that repacks ELFs to reduce file size

Language:RustApache-2.0010

gdext

Rust bindings for Godot 4

Language:RustMPL-2.0000

gdext-rust

Language:Rust020

godot

Godot Engine – Multi-platform 2D and 3D game engine

Language:C++MIT000

idris2-lsp

Language Server for Idris2

Language:IdrisBSD-3-Clause000

ipkg-idr

An Idris 2 package description parser for Idris 2

Language:Idris010

sepia

Language:HaskellEUPL-1.2010