Joshua Moerman

smt-solving

SMT 0

Collections of smt problems

maths

Updated 2025-04-09 21:38:56 +02:00

replacements

Haskell 0

Mathematical keyboard replacements for MacOS

Updated 2025-04-09 21:37:33 +02:00

music

0

Scores

Updated 2025-04-09 21:37:14 +02:00

counting

Haskell 0

Combinatorics in Haskell

maths

Updated 2025-04-09 21:36:53 +02:00

automata

Haskell 0

Code for generating all kinds of automata

automata research

Updated 2025-04-09 21:36:07 +02:00

word-parse Archived

Haskell 0

Word count for text files, for bigrams, trigrams, etc...

Updated 2025-04-09 21:35:36 +02:00

phd-thesis Archived

TeX 0

PhD thesis on: Nominal Techniques and Black Box Testing for Automata Learning

phd thesis

Updated 2025-04-09 21:34:25 +02:00

msc-thesis Archived

TeX 0

Master thesis on Rational Homotopy Theory

msc thesis

Updated 2025-04-09 21:33:51 +02:00

bsc-thesis Archived

TeX 0

Bachelor thesis about the Dold-Kan correspondence

bsc thesis

Updated 2025-04-09 21:33:28 +02:00

rust-wasm

Rust 0

Playground for doing rust stuff in the browser

graphics

Updated 2025-04-09 21:31:59 +02:00

bisimulation-online

HTML 0

April fools website

www

Updated 2025-04-09 21:31:16 +02:00

ffmpegpp Archived

C++ 0

Ambitious plan to make a safe c++ wrapper around ffmpeg. Abandoned, because impossible.

Updated 2025-04-09 21:30:52 +02:00

awesome-attractor Archived

C++ 0

My old project for strange attractors

graphics

Updated 2025-04-09 21:24:05 +02:00

awesome-attractor-nd Archived

C++ 0

My old project for strange attractors, new approach

graphics

Updated 2025-04-09 21:23:33 +02:00

jgl-template Archived

Objective-C 0

Old Xcode template for an iOS/OpenGL thingy

Updated 2025-04-09 21:23:11 +02:00