Jiří Beneš (jiribenes)

jiribenes

Geek Repo

Company:University of Tübingen, @se-tuebingen

Location:Tübingen, Germany

Home Page:https://jiribenes.com

Twitter:@jiribenes_

Github PK Tool:Github PK Tool

Jiří Beneš's repositories

scheme

Tiny, readable Scheme interpreter

Language:CLicense:MITStargazers:7Issues:2Issues:0

perun

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

Language:C++License:MITStargazers:4Issues:2Issues:0

cocobolo

experimental, proof-of-concept programing language using granular capabilities

Language:HaskellStargazers:3Issues:0Issues:0
Language:ScalaStargazers:2Issues:1Issues:0

icing

[WIP] A simple programming collaboration tool for classrooms

Language:HaskellLicense:MITStargazers:1Issues:0Issues:0

lily

Lily: A C++ linter based on linear types

Language:HaskellStargazers:1Issues:3Issues:0
Language:ScalaStargazers:1Issues:0Issues:0

tree-sitter-effekt

tree-sitter grammar for Effekt

Language:JavaScriptLicense:MITStargazers:1Issues:0Issues:0

advent-of-code-2017

My (Rusty) solutions to Advent of Code 2017

Language:RustStargazers:0Issues:2Issues:0

clang-pure

Easy C++ code analysis with pure Haskell

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

co-log

📓 Composable contravariant combinatorial comonadic configurable convenient logging component

License:MPL-2.0Stargazers:0Issues:0Issues:0

dependent-hashmap

Dependent hash maps

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

effekt-nix

Nix package for the Effekt programming language

Language:NixStargazers:0Issues:2Issues:0

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).

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

haskell-language-server

Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.

License:Apache-2.0Stargazers:0Issues:0Issues:0

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.

Language:NixLicense:Apache-2.0Stargazers:0Issues:0Issues:0

servant-prometheus

Automatically produce per-endpoint monitoring for servant apps

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0