LukasKalbertodt

manim

Animation engine for explanatory math videos

kotlin

The Kotlin Programming Language.

neural-style

Torch implementation of neural style algorithm

redox

Mirror of https://gitlab.redox-os.org/redox-os/redox

rustup

The Rust toolchain installer

redshift

Redshift adjusts the color temperature of your screen according to your surroundings. This may help your eyes hurt less if you are working in front of the screen at night.

is-thirteen

Check if a number is equal to 13.

vulkano

Safe and rich Rust wrapper around the Vulkan API

mixxx

Mixxx is Free DJ software that gives you everything you need to perform live mixes.

glium

Safe OpenGL wrapper for the Rust language.

compile-time-regular-expressions

Compile Time Regular Expression in C++

lalrpop

LR(1) parser generator for Rust

maud

:pencil: Compile-time HTML templates for Rust

syntect

Rust library for syntax highlighting using Sublime Text syntax definitions.

rust_libloading

Bindings around the platform's dynamic library loading primitives with greatly improved memory safety.

typeset

TeX line breaking algorithm in JavaScript

cargo-modules

Visualize/analyze a Rust crate's internal structure

rusttype

Mirror of https://gitlab.redox-os.org/redox-os/rusttype

pb

Console progress bar for Rust

quick-error

A rust-macro which makes errors easy to write

automatically_update_github_pages_with_travis_example

An example of automatically updating GitHub Pages when you're using Travis CI.

half-rs

Half-precision floating point types f16 and bf16 for Rust.

plantex

(UNMAINTAINED) :seedling: experimental open-world exploration game with plants :evergreen_tree: :leaves: :herb: :palm_tree:

linefeed

Configurable, extensible, interactive line reader

sokoban-rs

An implementation of Sokoban in Rust

wait-timeout

Waiting on a child process with a timeout in Rust

gutefragenet-bibtex-exporter

The missing BibTex exporter for gutefrage.net

whentotalk

A webtool that manages complicated timezone conversions for worldwide teleophone conferences.

seminar-manager

welcome

Wilkommen bei OsnaCS! Hier findet ihr eine kurze Einführung und diverse Infos.