freddie-freeloader

Jonas Benn's repositories

My bachelor thesis: Dotty with second-class values

Language:ScalaNOASSERTION1 4 1

Skript zur Mathematik III Vorlesung 2014

Language:TeXGPL-3.01 70

Collecting ideas for a Scala front end for DSH

Language:Scala1 4 3

My bachelor thesis: Second-Class Values for Safer Effect Handlers

000

Language:Scala030

Vim-like editing for DrRacket

Language:RacketGPL-3.0030

DuckDB is an in-process SQL OLAP Database Management System

Language:C++MIT000

Language:C++MIT000

Nix Packages collection

Language:NixNOASSERTION030

Compile-time Language Integrated Query for Scala

Language:ScalaApache-2.0000

Extensible algebraic effects with handlers

Language:ScalaMIT020

Typesafe Markup for well structured Documents

Language:TeX03 39

A compiler plug-in to control object lifetimes in Scala

Language:CoqBSD-3-Clause030

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Language:Emacs Lisp030

This compiler was programmed as part of the "Compilerbau" seminar by Prof. Martin Plümicke.

Language:Haskell05 24

Language:Rust020