WorldSEnder

MCAnm

Minecraft Animated: An attempt to make models/entities in Minecraft animated

py_reals

Arbitrary precision real numbers in python

osu-player

A player for the osu!lazer database

add-gitignore

An interactive CLI tool that adds a .gitignore to your projects.

Advent-of-Code-2017

http://adventofcode.com/2017

agda-stdlib

The Agda standard library

async-pool

carl

CppLibrary

C++ Templates are turing complete - So why not make them usable in that way?

cubical-gap

FristenReminder

Eine C++ Konsolen-Anwendung (Reminder), dass über aktuelle Vertragslaufzeiten und deren Fristen erinnern soll.

grubber

Exploring the space of designing build tools

haskell-language-server

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

hie-bios

HoTT-Agda

Development of homotopy type theory in Agda

hypro

HyPro: A C++ state set representation library for the analysis of hybrid systems

Idris2

A purely functional programming language with first class types

image-png

PNG decoding and encoding library in pure Rust

kinded-reflection

Like the reflection package, but more generically

lzw

LZW en- and decoding that goes weeeee!

modular-bitfield

Macro to generate bitfields for structs that allow for modular use of enums.

mypy-vscode

VS Code extension that provides type checking and analysis for Python code using mypy.

osu4j

a complete osu!api Java wrapper.

redux-composed

Compose utilities for redux

redux-composed-react

Connecting redux-compose with react

rust-specialization-blog

text-icu

This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.

unclap

Derive calling of command line tools from structures describing their options

union-find-delete

A union find implementation with a delete operation

vscode-haskell

VS Code extension for Haskell, powered by haskell-language-server