jdemler Goto Github PK

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

create-elm-app

🍃 Create Elm apps with zero configuration

docs

Documentation for ASP.NET 5

handlebars.d

Compiled Handlebars for D

heapsize

In support of measuring heap allocations in Rust programs.

istio.io

Source for the istio.io site

language-analyzer

rust startup taks

mono-d

D Add-In for MonoDevelop

opentelemetry-helm-charts

OpenTelemetry Helm Charts

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

roslyn

The .NET Compiler Platform ("Roslyn") provides open-source C# and Visual Basic compilers with rich code analysis APIs.

rust

A safe, concurrent, practical language.

rust-clippy

A bunch of lints to catch common mistakes and improve your Rust code

rust-fastcgi

FastCGI library written in Rust

rust-iso-3166-2

rustfmt

Format Rust code

snowball

Snowball compiler and stemming algorithms

ta-rust

A mirror for the textadept module ta-rust hosted in bitbucket

ticki.github.io

tools-java

SPDX Command Line Tools using the Spdx-Java-Library

towerwars

webhook-receiver

small simple fcgi github webhook receiver - runs commands on push