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
Language:Scala3 1 00
ejs
Toolkit to play with custom language extensions for JavaScript
Language:JavaScript8 2 02
fcd
Parsing with first-class derivatives (fcd)
Language:Scala2 2 02
java-effekt
Effect Handlers for Java / the JVM
Language:Scala30 3 02
lisp.js
A Lisp-Interpreter in JavaScript - designed to be run in a browser-environment
Language:JavaScript9 2 03
MixinComposition
Scala macro for composition of trait instances
Language:Scala17 4 11
ometa-js
OMeta for JavaScript
Language:JavaScript10 2 00
scala-effekt
Extensible algebraic effects with handlers
Language:Scala144 9 515
effekt
A language with lexical effect handlers and lightweight effect polymorphism
Language:Scala319 10 26120
koka
Koka language compiler and interpreter
Language:Haskell3.3k 60 316160

b-studios's Repositories

b-studios/scala-effekt
Extensible algebraic effects with handlers
Language:Scala144 9 515
b-studios/java-effekt
Effect Handlers for Java / the JVM
Language:Scala30 3 02
b-studios/ejs
Toolkit to play with custom language extensions for JavaScript
Language:JavaScript8 2 02
b-studios/scala-graal-truffle-example
Example setup for using Graal and Truffle from Scala
Language:Scala4 1 01
b-studios/cats-reflect
Monadic reflection for cats
Language:Scala3 1 00
b-studios/idris-effekt
Delimited control effects in Idris
Language:Idris3 2 0
b-studios/fcd
Parsing with first-class derivatives (fcd)
Language:Scala2 2 02
b-studios/frankly
A quick draft port of the Frank language to Scala -- or like the french would say: "Frank-en-Scala"
Language:Scala2 1 0
b-studios/kiama
A minimal version of the kiama library that compiles with ScalaJS (see branch scala-js)
Language:Scala1 1 0
b-studios/abandon
:relieved: Simple and Robust Accounting
Language:Scala
b-studios/Ammonite
Scala Scripting
Language:Scala1 0
b-studios/Blodwen
A prototype successor to Idris
Language:Idris
b-studios/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
b-studios/docs.scala-lang
The Scala Documentation website
b-studios/dotty
Research platform for new language concepts and compiler technologies for Scala.
Language:Scala
b-studios/effect-handlers-bench
Benchmark repository of polyglot effect handler examples
Language:Scheme0 1
b-studios/effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
1 0
b-studios/files
Separate repo for files on b-studios.de
b-studios/flatmap-oslo-2016
Slides and code for "Free Monads and Free Applicatives" from flatMap(Oslo) 2016
Language:JavaScript1 0
b-studios/java-effekt-tests
Testproject for Java Effekt
Language:Java2 0
b-studios/just-the-docs
A modern, high customizable, responsive Jekyll theme for documention with built-in search.
b-studios/madoko
Madoko is a fast markdown processor for high quality academic and technical articles
Language:TeX2
b-studios/monaco-editor-samples
Samples for using the Monaco Editor
Language:HTML1 0
b-studios/sbt-microsites
An sbt plugin to create awesome microsites for your project
Language:CSS1 0
b-studios/scala-escape
A compiler plug-in to control object lifetimes in Scala
Language:Coq2 0
b-studios/scala-lang
The Scala Website
Language:SCSS2 0
b-studios/sisyphos
A command line based score entering tool for the Aarhus multiple choice format
Language:Scala
b-studios/SpinalDoc-RTD
The sources of the online SpinalHDL doc
b-studios/symbols-view
Jump to symbols in Atom
Language:JavaScript1 0
b-studios/TIP
Static program analysis for TIP
Language:Scala0 0