Pinned Repositories
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
helix
A post-modern modal text editor.
idris-lambda
raytracing
Implementation of “Raytracing in one weekend” in Rust
loewenheim's Repositories
loewenheim/helix
A post-modern modal text editor.
loewenheim/ariadne
A fancy diagnostics & error reporting crate
loewenheim/breakpad
Mirror of Google Breakpad project
loewenheim/connect.kak
Connect a program to Kakoune clients
loewenheim/crash-handling
Collection of crates to deal with crashes
loewenheim/crawl
Dungeon Crawl: Stone Soup official repository
loewenheim/dim
Dim, a media manager fueled by dark forces.
loewenheim/grmtools
Rust grammar tool libraries and binaries
loewenheim/home-manager
Manage a user environment using Nix
loewenheim/insta
A snapshot testing library for rust
loewenheim/magic-string-rs
⚡️ Fast MagicString port driven by Rust and N-API
loewenheim/mathlib
Lean mathematical components library
loewenheim/mathlib4
Work in progress mathlib port for lean 4
loewenheim/minidump-debugger
An experimental GUI for rust-minidump
loewenheim/moka
A high performance concurrent caching library for Rust
loewenheim/nixpkgs
Nix Packages collection
loewenheim/nom-supreme
A collection of utilities for a superior nom experience
loewenheim/ophio
loewenheim/pdb-addr2line
A rust crate to symbolicate addresses from PDBs, like addr2line. Uses the `pdb` crate.
loewenheim/peanutbutter
PB: Project Budgeting
loewenheim/prettytable-rs
A rust library to print aligned and formatted tables
loewenheim/projective-plane
A toy axiomatization of projective planes in Lean4
loewenheim/pueue
:stars: Manage your shell commands.
loewenheim/pueue-lib
A library to interact with Pueue
loewenheim/rust-ini
INI file parser in Rust
loewenheim/rust-minidump
A minidump parser written in Rust
loewenheim/sidetree
loewenheim/test-1772
loewenheim/tracing
Application level tracing for Rust.
loewenheim/typst
A new markup-based typesetting system that is powerful and easy to learn.