Name: Jiří Beneš
Type: User
Company: University of Tübingen, @se-tuebingen
Bio: PhD student at @se-tuebingen.
Interested in effect and coeffect systems.
Twitter: jiribenes_
Location: Tübingen, Germany
Blog: https://jiribenes.com
Jiří Beneš's Projects
My (Rusty) solutions to Advent of Code 2017
WIP
Easy C++ code analysis with pure Haskell
📓 Composable contravariant combinatorial comonadic configurable convenient logging component
experimental, proof-of-concept programing language using granular capabilities
Dependent hash maps
Nix package for the Effekt programming language
Fork of jonaskr8 / effekt-stm
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).
Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
[WIP] A simple programming collaboration tool for classrooms
Lily: A C++ linter based on linear types
[WIP] Modern compiled low-level programming language in development
A very small version of pre-commit-hooks.nix, modified for purposes of @kasiopea-org for a simple master branch protection.
Tiny, readable Scheme interpreter
Automatically produce per-endpoint monitoring for servant apps
tree-sitter grammar for Effekt