Tübingen

Jonathan Immanuel Brachthäuser

Expert
@b-studios

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

148

java-effekt. Effect Handlers for Java / the JVM

30

MixinComposition. Scala macro for composition of trait instances

17

ometa-js. OMeta for JavaScript

10

lisp.js. A Lisp-Interpreter in JavaScript - designed to be run in a browser-environment

10

ejs. Toolkit to play with custom language extensions for JavaScript

8

doc.js. Javascript Documentationtool in Ruby

6

scala-graal-truffle-example. Example setup for using Graal and Truffle from Scala

4

parametric-a-star. A JVM (Scala / Java) implementation of A* (A Star), parametric in the possible states and transitions.

4

idris-effekt. Delimited control effects in Idris

3

fcd. Parsing with first-class derivatives (fcd)

3

discourse-course. Plugin to use discourse as primitive authentication provider and to export selected user data

3

cats-reflect. Monadic reflection for cats

3

expressjs-auth-predicates. This library offers a small "DSL" to articulate security conditions in express.js applications.

2

frankly. A quick draft port of the Frank language to Scala -- or like the french would say: "Frank-en-Scala"

2

kiama. A minimal version of the kiama library that compiles with ScalaJS (see branch scala-js)

1

contexthighlighter. A syntax highlighter for JavaScript that focuses on scoping of functions rather than just lexical units.

1

gdesktop-switch. A small script to allow fast switching of the desktop directory in ubuntu

1

typelevel. Playground for typelevel programming in Scala

1

coroutines. Scala coroutines implementation.

1

extgrep. Ruby Command-Line Tool to search ('grep') over the blocks of a ext3 filesystem. Can be useful for data-recovery

1

phoas. Parametric Hoas and Algebras

1

icfp2013. ICFP2013

1

koka. Koka language compiler and interpreter

1

jquery.create. Object Orientation System including Inheritence and Mixins

1

objectalgebras. Syntactic sugar for object algebras, implemented using macros.

1

apigen. APIGen assists you in creating a scala wrapper around an existing Java API

1

choicecalculus. Variational JavaScript: Scala implementation of the Choice Calculus on top of JS.

1

plains. A 2D space to organize notes and documents

1

henshin. Fork of http://git.eclipse.org/c/henshin/org.eclipse.emft.henshin.git

1

scss-mixins. Collection of useful SCSS-Mixins

1

arrayJS. Toolkit for convenient array handling in Javascript

1

lrparser. A simple LR-Parser implementation in Scala

1
33
Apply