b-studios
Jun. Professor of Software Engineering at University of Tübingen, working on effect systems, control flow, and more.
University of TübingenTübingen
Pinned Repositories
cats-reflect
Monadic reflection for cats
ejs
Toolkit to play with custom language extensions for JavaScript
fcd
Parsing with first-class derivatives (fcd)
java-effekt
Effect Handlers for Java / the JVM
lisp.js
A Lisp-Interpreter in JavaScript - designed to be run in a browser-environment
MixinComposition
Scala macro for composition of trait instances
ometa-js
OMeta for JavaScript
scala-effekt
Extensible algebraic effects with handlers
effekt
A language with lexical effect handlers and lightweight effect polymorphism
koka
Koka language compiler and interpreter
b-studios's Repositories
b-studios/MixinComposition
Scala macro for composition of trait instances
b-studios/lisp.js
A Lisp-Interpreter in JavaScript - designed to be run in a browser-environment
b-studios/doc.js
Javascript Documentationtool in Ruby
b-studios/discourse-course
Plugin to use discourse as primitive authentication provider and to export selected user data
b-studios/expressjs-auth-predicates
This library offers a small "DSL" to articulate security conditions in express.js applications.
b-studios/arrayJS
Toolkit for convenient array handling in Javascript
b-studios/contexthighlighter
A syntax highlighter for JavaScript that focuses on scoping of functions rather than just lexical units.
b-studios/coroutines
Scala coroutines implementation.
b-studios/koka
Koka language compiler and interpreter
b-studios/bitbucket-pullrequest-builder-plugin
Bitbucket Pull Request Builder Plugin for Jenkins
b-studios/blockly
The web-based visual programming editor.
b-studios/cats
Lightweight, modular, and extensible library for functional programming.
b-studios/craftbeerpi
Hobbybraucomputer
b-studios/discourse
A platform for community discussion. Free, open, simple.
b-studios/discourse-solved
Allow accepted answers on topics
b-studios/docs
🎓 Official Documentation for GraphCMS
b-studios/effects-rosetta-stone
A comparison of how computational effects and handlers are implemented in various programming languages.
b-studios/effekt-example
Example projects to use Effekt in scala and dotty
b-studios/functadelic
b-studios/intersection-types
Encoding intersection types as HLists
b-studios/matryoshka
Generalized recursion schemes and traversals for Scala.
b-studios/Metascala
A JVM written in Scala
b-studios/platform
Open source Slack-alternative in Golang and React - Mattermost
b-studios/progit2
Pro Git 2nd Edition
b-studios/quasar
Fibers, Channels and Actors for the JVM
b-studios/sage-mysql
A docker container image to run a mysql container configured for sage software.
b-studios/scala-continuations
the Scala delimited continuations plugin and library
b-studios/si2712fix-plugin
Fix for SI-2712 implemented as a compiler plugin for Scala 2.11.8 and 2.10.6
b-studios/tdd-sources
Some files that should help getting started with TDD using node.js
b-studios/tutorials
Tutorials on Lightweight Modular Staging