Jakob Demler's repositories
BidirectionalTypechecking
Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
agda-categories
A new Categories library for Agda
create-elm-app
🍃 Create Elm apps with zero configuration
handlebars.d
Compiled Handlebars for D
language-analyzer
rust startup taks
opentelemetry-helm-charts
OpenTelemetry Helm Charts
Language:SmartyApache-2.0000
perlin-site
Website of Perlin - a Lazy, Data-Agnostic and Easy-to-use Information Retrieval Library
perlin-testbench
Tools and scripts for testing and evaluating perlin
rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code
rust-fastcgi
FastCGI library written in Rust
tools-java
SPDX Command Line Tools using the Spdx-Java-Library
webhook-receiver
small simple fcgi github webhook receiver - runs commands on push