Jiří Beneš

Elite

@jiribenes

PhD student at @se-tuebingen. Interested in effect and coeffect systems.

scheme. Tiny, readable Scheme interpreter

effekt-nix. Nix package for the Effekt programming language

perun. [WIP] Modern compiled low-level programming language in development

effekt-template. Effekt project template

icing. A simple programming collaboration tool for classrooms with Prolog and Haskell support (latter in a branch)

lily. Lily: A C++ linter based on linear types

authtemplate. WIP

cocobolo. experimental, proof-of-concept programming language using granular capabilities

tree-sitter-effekt. tree-sitter grammar for Effekt

scala-coverage-repro. Scala

views searches