This is your work, valued
Professor of Software Engineering and Programming Languages at University of Tübingen, working on effect systems, control flow, and more.
scala-effekt. Extensible algebraic effects with handlers
148java-effekt. Effect Handlers for Java / the JVM
30MixinComposition. Scala macro for composition of trait instances
17ometa-js. OMeta for JavaScript
10lisp.js. A Lisp-Interpreter in JavaScript - designed to be run in a browser-environment
10ejs. Toolkit to play with custom language extensions for JavaScript
8doc.js. Javascript Documentationtool in Ruby
6scala-graal-truffle-example. Example setup for using Graal and Truffle from Scala
4parametric-a-star. A JVM (Scala / Java) implementation of A* (A Star), parametric in the possible states and transitions.
4idris-effekt. Delimited control effects in Idris
3fcd. Parsing with first-class derivatives (fcd)
3discourse-course. Plugin to use discourse as primitive authentication provider and to export selected user data
3cats-reflect. Monadic reflection for cats
3expressjs-auth-predicates. This library offers a small "DSL" to articulate security conditions in express.js applications.
2frankly. A quick draft port of the Frank language to Scala -- or like the french would say: "Frank-en-Scala"
2kiama. A minimal version of the kiama library that compiles with ScalaJS (see branch scala-js)
1contexthighlighter. A syntax highlighter for JavaScript that focuses on scoping of functions rather than just lexical units.
1gdesktop-switch. A small script to allow fast switching of the desktop directory in ubuntu
1typelevel. Playground for typelevel programming in Scala
1coroutines. Scala coroutines implementation.
1extgrep. Ruby Command-Line Tool to search ('grep') over the blocks of a ext3 filesystem. Can be useful for data-recovery
1phoas. Parametric Hoas and Algebras
1icfp2013. ICFP2013
1koka. Koka language compiler and interpreter
1jquery.create. Object Orientation System including Inheritence and Mixins
1objectalgebras. Syntactic sugar for object algebras, implemented using macros.
1apigen. APIGen assists you in creating a scala wrapper around an existing Java API
1choicecalculus. Variational JavaScript: Scala implementation of the Choice Calculus on top of JS.
1plains. A 2D space to organize notes and documents
1henshin. Fork of http://git.eclipse.org/c/henshin/org.eclipse.emft.henshin.git
1scss-mixins. Collection of useful SCSS-Mixins
1arrayJS. Toolkit for convenient array handling in Javascript
1lrparser. A simple LR-Parser implementation in Scala
1