vegowotenks

java-classfile

Haskell 0 0

Parse entire .class files from Java, multi-stage verification.

Updated 2025-10-10 19:52:11 +02:00

Infinitree

Haskell 0 0

Memoization using Lazy Infinite trees indexed by natural numbers

Updated 2025-10-08 16:18:00 +02:00

travel-blog-comments

Haskell 0 0

Comment CGI for my blog

Updated 2025-09-15 00:19:33 +02:00

hon

Haskell 1 0

Updated 2025-08-25 10:00:49 +02:00

pretty-parse

Haskell 0 0

Generic Show instance for Haskell Datatypes, inspired by Rust Debug.

Updated 2025-08-24 17:25:28 +02:00

scalie

Haskell 0 0

Linear Functional Programming Language with Scales

Updated 2025-08-18 20:33:37 +02:00

hase

Haskell 0 0

Haskell Structured Editor - Structurally Edit Code instead of Textually. Fewer Mistakes, Less Syntax Guessing, more better.

Updated 2025-07-31 23:50:10 +02:00

solvedoku

Haskell 0 0

Solve or Dump hints for a sudoku. Backtracking-only.

Updated 2025-07-19 01:41:00 +02:00

hc

Haskell 0 0

Haskell calculator - GNU bc can go home now

Updated 2025-07-04 10:07:46 +02:00

bf-optimize

Haskell 0 0

Optimize the fuck out of brain.

Updated 2025-06-29 14:35:44 +02:00

utilitiec

C 0 0

C Utility library

Updated 2025-06-13 16:30:58 +02:00

generic

Rust 0 0

Generic representations for rust.

Updated 2025-05-23 17:28:06 +02:00

heterogeneous-list

Rust 0 0

Row types in Rust that need no definition, why didn't I use a tuple?

Updated 2025-05-22 20:23:22 +02:00

jvm

Rust 0 0

JVM in Rust. It is by no means complete but not everything from the specs is missing.

Updated 2025-05-06 09:07:26 +02:00

wwffwfwf

Haskell 0 0

logic table generator - it's true because it works

Updated 2025-05-06 09:07:26 +02:00