worldsender Goto Github PK

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

agda-unimath

Univalent mathematics in Agda

anymap

A safe and convenient store for one value of each type

async-pool

burn

Burn is a new comprehensive dynamic Deep Learning Framework built using Rust with extreme flexibility, compute efficiency and portability as its primary goals.

caniuse.rs

Rust feature search

cargo-make

Rust task runner and build tool.

carl

ccbase

Makes using C++ more enjoyable.

cpplibrary

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

crev-proofs

Crev proof repository

cubical

cubical-gap

dependent-map-rs

docusaurus-test

fristenreminder

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

gloo

A modular toolkit for building fast, reliable Web applications and libraries with Rust and Wasm

grubber

Exploring the space of designing build tools

hackerman

Cargo hack manager

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

lol2blender

A blender plugin to import and export League of Legend files

lzw

LZW en- and decoding that goes weeeee!