Pinned Repositories
perlin
Perlin: An Efficient and Ergonomic Document Search-Engine
rust-stemmers
A rust implementation of some popular snowball stemming algorithms
agda-categories
A new Categories library for Agda
BidirectionalTypechecking
Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
blog
cargo
The Rust package manager
rust-iso-3166-2
snowball
Snowball compiler and stemming algorithms
towerwars
Implementation of old warcraft 3 custom maps
CompiledHandlebars
Compiled Handlebars for C# - Compiling Handlebars-Templates into native C# code for performant and type-safe serverside HTML rendering.
JDemler's Repositories
JDemler/BidirectionalTypechecking
Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
JDemler/rust-iso-3166-2
JDemler/agda-categories
A new Categories library for Agda
JDemler/blog
JDemler/cargo
The Rust package manager
JDemler/snowball
Snowball compiler and stemming algorithms
JDemler/towerwars
Implementation of old warcraft 3 custom maps
JDemler/create-elm-app
🍃 Create Elm apps with zero configuration
JDemler/Docs
Documentation for ASP.NET 5
JDemler/finsim
JDemler/fuerfrederic
Frederics Fußballspiel
JDemler/handlebars.d
Compiled Handlebars for D
JDemler/heapsize
In support of measuring heap allocations in Rust programs.
JDemler/istio.io
Source for the istio.io site
JDemler/language-analyzer
rust startup taks
JDemler/markdown-cv
a simple template to write your CV in a readable markdown file and use CSS to publish/print it.
JDemler/opentelemetry-helm-charts
OpenTelemetry Helm Charts
JDemler/perlin-site
Website of Perlin - a Lazy, Data-Agnostic and Easy-to-use Information Retrieval Library
JDemler/perlin-testbench
Tools and scripts for testing and evaluating perlin
JDemler/rationality-freiburg.de
Static website made with Hugo
JDemler/roslyn
The .NET Compiler Platform ("Roslyn") provides open-source C# and Visual Basic compilers with rich code analysis APIs.
JDemler/rust
A safe, concurrent, practical language.
JDemler/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code
JDemler/rust-fastcgi
FastCGI library written in Rust
JDemler/rustfmt
Format Rust code
JDemler/state-of-gen-ai
JDemler/ta-rust
A mirror for the textadept module ta-rust hosted in bitbucket
JDemler/ticki.github.io
JDemler/tools-java
SPDX Command Line Tools using the Spdx-Java-Library
JDemler/webhook-receiver
small simple fcgi github webhook receiver - runs commands on push