sebfisch

haskell-regexp

Regular Expression Matching in Haskell

incremental-sat-solver

Simple, Incremental SAT Solving as a Haskell Library

stream-monad

Simple, Fair and Terminating Backtracking Monad

level-monad

Non-Determinism Monad for Level-Wise Search

java21-demo

Demonstrates selected features of JDK 21

parallel-tree-search

Haskell library for parallel tree search

tree-monad

Haskell library for monadic tree search.

curry-test

Automatic Testing of Curry Programs

html-rb

HTML in Ruby with Blocks

java-fun-code

Source code underlying "Functional Patterns in Java"

sebfisch.github.com

my blog

AdventOfCode

My solutions for (some) Advent of Code tasks

aoc-submissions

docker-java-dev

A Docker container for terminal based Java development

docker-vue-ts-dev

Docker container for development with Vue and TypeScript

docker-wiki-dev

A Docker container for developing Wiki Books

elm-badminton-ranking

Frontend for managing Badminton rankings in clubs

emf-adapter-tutorial

EMF Adapter Tutorial

emf-adapter-tutorial-code

Code underlying my EMF adapter tutorial

IQSH-Elternsprechtag

Projekt der IQSH Weiterbildung 2021

java-concurrency

Parallelism and Concurrency in Java

java-concurrency-code

Parallelism and Concurrency in Java

java-data

Algebraic Datatypes and Pattern Matching in Java

java-data-code

Source Code for Algebraic Datatypes and Pattern matching in Java

java-fun

Tutorial on Functional Patterns in Java

java-locks

Explores different locking implementations in Java.

java-traversals

Compositional traversals of structured data in Java

kickstart.nvim

My personal nvim configuration

rubykara-kiel

RubyKara Erweiterung aus Kiel

Turniere