jiribenes
PhD student at @se-tuebingen. Interested in effect and coeffect systems.
University of Tübingen, @se-tuebingenTübingen, Germany
Pinned Repositories
effekt
A research language with effect handlers and lightweight effect polymorphism
authtemplate
WIP
cocobolo
experimental, proof-of-concept programing language using granular capabilities
icing
[WIP] A simple programming collaboration tool for classrooms
lily
Lily: A C++ linter based on linear types
perun
[WIP] Modern compiled low-level programming language in development
scala-coverage-repro
scheme
Tiny, readable Scheme interpreter
tree-sitter-effekt
tree-sitter grammar for Effekt
pisek
Tool for developing tasks for programming competitions.
jiribenes's Repositories
jiribenes/scheme
Tiny, readable Scheme interpreter
jiribenes/perun
[WIP] Modern compiled low-level programming language in development
jiribenes/cocobolo
experimental, proof-of-concept programing language using granular capabilities
jiribenes/authtemplate
WIP
jiribenes/icing
[WIP] A simple programming collaboration tool for classrooms
jiribenes/lily
Lily: A C++ linter based on linear types
jiribenes/scala-coverage-repro
jiribenes/tree-sitter-effekt
tree-sitter grammar for Effekt
jiribenes/advent-of-code-2017
My (Rusty) solutions to Advent of Code 2017
jiribenes/clang-pure
Easy C++ code analysis with pure Haskell
jiribenes/co-log
📓 Composable contravariant combinatorial comonadic configurable convenient logging component
jiribenes/dependent-hashmap
Dependent hash maps
jiribenes/effekt-nix
Nix package for the Effekt programming language
jiribenes/effekt-stm
Fork of jonaskr8 / effekt-stm
jiribenes/ghc
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
jiribenes/haskell-language-server
Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
jiribenes/pre-commit-hooks.nix
A very small version of pre-commit-hooks.nix, modified for purposes of @kasiopea-org for a simple master branch protection.
jiribenes/servant-prometheus
Automatically produce per-endpoint monitoring for servant apps