loewenheim Goto Github PK

aoc18

Advent of Code 2018

ariadne

A fancy diagnostics & error reporting crate

bevy

A refreshingly simple data-driven game engine built in Rust

breakpad

Mirror of Google Breakpad project

breeze

An experimental, kakoune-inspired CLI-centric text/code editor with |-shaped cursor (in Rust)

connect.kak

Connect a program to Kakoune clients

crash-handling

Collection of crates to deal with crashes

crawl

Dungeon Crawl: Stone Soup official repository

dim

Dim, a media manager fueled by dark forces.

docs

dotfiles-1

gapt

GAPT: General Architecture for Proof Theory

grmtools

Rust grammar tool libraries and binaries

helix

A post-modern modal text editor.

home-manager

Manage a user environment using Nix

iced

A cross-platform GUI library for Rust, inspired by Elm

idris-lambda

insta

A snapshot testing library for rust

kakoune

mawww's experiment for a better code editor

latexbot-rs

lsd

A modern ls with a lot of pretty colors and awesome icons

magic-string-rs

⚡️ Fast MagicString port driven by Rust and N-API

mathlib

Lean mathematical components library

mathlib4

Work in progress mathlib port for lean 4

moka

A high performance concurrent caching library for Rust

nixpkgs

Nix Packages collection

nom

Rust parser combinator framework

nom-supreme

A collection of utilities for a superior nom experience

nonclassical

num-format

A Rust crate for producing string-representations of numbers, formatted according to international standards