Sebastian Fischer's repositories

haskell-regexp

Regular Expression Matching in Haskell

Language:HaskellLicense:NOASSERTIONStargazers:34Issues:3Issues:20

incremental-sat-solver

Simple, Incremental SAT Solving as a Haskell Library

Language:HaskellLicense:NOASSERTIONStargazers:14Issues:4Issues:2

stream-monad

Simple, Fair and Terminating Backtracking Monad

Language:HaskellLicense:NOASSERTIONStargazers:9Issues:4Issues:3

level-monad

Non-Determinism Monad for Level-Wise Search

Language:HaskellLicense:NOASSERTIONStargazers:7Issues:4Issues:0

java21-demo

Demonstrates selected features of JDK 21

Language:JavaStargazers:3Issues:0Issues:0

parallel-tree-search

Haskell library for parallel tree search

Language:HaskellLicense:NOASSERTIONStargazers:2Issues:4Issues:0

tree-monad

Haskell library for monadic tree search.

Language:HaskellLicense:NOASSERTIONStargazers:2Issues:3Issues:1

curry-test

Automatic Testing of Curry Programs

html-rb

HTML in Ruby with Blocks

Language:RubyLicense:MITStargazers:1Issues:3Issues:0

java-fun-code

Source code underlying "Functional Patterns in Java"

Language:JavaStargazers:1Issues:3Issues:0
Language:HTMLStargazers:1Issues:3Issues:0

AdventOfCode

My solutions for (some) Advent of Code tasks

Language:JavaLicense:Apache-2.0Stargazers:0Issues:1Issues:0
Stargazers:0Issues:0Issues:0

docker-java-dev

A Docker container for terminal based Java development

Language:DockerfileStargazers:0Issues:2Issues:1

docker-vue-ts-dev

Docker container for development with Vue and TypeScript

Language:Vim scriptStargazers:0Issues:3Issues:0

docker-wiki-dev

A Docker container for developing Wiki Books

Language:Vim scriptStargazers:0Issues:2Issues:0

elm-badminton-ranking

Frontend for managing Badminton rankings in clubs

Language:HTMLStargazers:0Issues:3Issues:0

emf-adapter-tutorial

EMF Adapter Tutorial

Language:HTMLStargazers:0Issues:3Issues:0

emf-adapter-tutorial-code

Code underlying my EMF adapter tutorial

Language:JavaStargazers:0Issues:3Issues:0

IQSH-Elternsprechtag

Projekt der IQSH Weiterbildung 2021

Language:RubyLicense:CC0-1.0Stargazers:0Issues:3Issues:42

java-concurrency

Parallelism and Concurrency in Java

Language:HTMLStargazers:0Issues:3Issues:0

java-concurrency-code

Parallelism and Concurrency in Java

Language:JavaStargazers:0Issues:3Issues:0

java-data

Algebraic Datatypes and Pattern Matching in Java

Language:DockerfileStargazers:0Issues:2Issues:0

java-data-code

Source Code for Algebraic Datatypes and Pattern matching in Java

Language:JavaStargazers:0Issues:3Issues:0

java-fun

Tutorial on Functional Patterns in Java

Language:HTMLStargazers:0Issues:2Issues:0

java-locks

Explores different locking implementations in Java.

Language:JavaStargazers:0Issues:0Issues:0

java-traversals

Compositional traversals of structured data in Java

Language:JavaStargazers:0Issues:3Issues:0

rubykara-kiel

RubyKara Erweiterung aus Kiel

Language:RubyStargazers:0Issues:4Issues:1

trainer-diary

Badminton C-Trainer Lehrgang im SHBV 2014

Stargazers:0Issues:3Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0