Pinned Repositories
explicit-sharing
Explicit Sharing of Monadic Effects
haskell-barchart
Command-line program with associated Haskell library for generating bar charts from CSV files.
haskell-regexp
Regular Expression Matching in Haskell
incremental-sat-solver
Simple, Incremental SAT Solving as a Haskell Library
level-monad
Non-Determinism Monad for Level-Wise Search
primes
Prime Numbers for Haskell
stream-monad
Simple, Fair and Terminating Backtracking Monad
sebfisch's Repositories
sebfisch/haskell-regexp
Regular Expression Matching in Haskell
sebfisch/incremental-sat-solver
Simple, Incremental SAT Solving as a Haskell Library
sebfisch/stream-monad
Simple, Fair and Terminating Backtracking Monad
sebfisch/level-monad
Non-Determinism Monad for Level-Wise Search
sebfisch/java21-demo
Demonstrates selected features of JDK 21
sebfisch/parallel-tree-search
Haskell library for parallel tree search
sebfisch/tree-monad
Haskell library for monadic tree search.
sebfisch/curry-test
Automatic Testing of Curry Programs
sebfisch/html-rb
HTML in Ruby with Blocks
sebfisch/java-fun-code
Source code underlying "Functional Patterns in Java"
sebfisch/sebfisch.github.com
my blog
sebfisch/AdventOfCode
My solutions for (some) Advent of Code tasks
sebfisch/aoc-submissions
sebfisch/docker-java-dev
A Docker container for terminal based Java development
sebfisch/docker-vue-ts-dev
Docker container for development with Vue and TypeScript
sebfisch/docker-wiki-dev
A Docker container for developing Wiki Books
sebfisch/elm-badminton-ranking
Frontend for managing Badminton rankings in clubs
sebfisch/emf-adapter-tutorial
EMF Adapter Tutorial
sebfisch/emf-adapter-tutorial-code
Code underlying my EMF adapter tutorial
sebfisch/IQSH-Elternsprechtag
Projekt der IQSH Weiterbildung 2021
sebfisch/java-concurrency
Parallelism and Concurrency in Java
sebfisch/java-concurrency-code
Parallelism and Concurrency in Java
sebfisch/java-data
Algebraic Datatypes and Pattern Matching in Java
sebfisch/java-data-code
Source Code for Algebraic Datatypes and Pattern matching in Java
sebfisch/java-fun
Tutorial on Functional Patterns in Java
sebfisch/java-locks
Explores different locking implementations in Java.
sebfisch/java-traversals
Compositional traversals of structured data in Java
sebfisch/kickstart.nvim
My personal nvim configuration
sebfisch/rubykara-kiel
RubyKara Erweiterung aus Kiel
sebfisch/Turniere