-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedJan 21, 2025 -
tracing Public
Forked from tokio-rs/tracingApplication level tracing for Rust.
Rust MIT License UpdatedDec 11, 2024 -
minidump-debugger Public
Forked from rust-minidump/minidump-debuggerAn experimental GUI for rust-minidump
Rust UpdatedOct 28, 2024 -
peanutbutter Public
Forked from getsentry/peanutbutterPB: Project Budgeting
Rust UpdatedMar 18, 2024 -
-
helix Public
Forked from helix-editor/helixA post-modern modal text editor.
-
-
home-manager Public
Forked from nix-community/home-managerManage a user environment using Nix
Nix MIT License UpdatedOct 21, 2023 -
insta Public
Forked from mitsuhiko/instaA snapshot testing library for rust
Rust Apache License 2.0 UpdatedOct 19, 2023 -
rust-ini Public
Forked from zonyitoo/rust-iniINI file parser in Rust
Rust MIT License UpdatedOct 16, 2023 -
pdb-addr2line Public
Forked from mstange/pdb-addr2lineA rust crate to symbolicate addresses from PDBs, like addr2line. Uses the `pdb` crate.
Rust Apache License 2.0 UpdatedOct 16, 2023 -
prettytable-rs Public
Forked from phsym/prettytable-rsA rust library to print aligned and formatted tables
Rust BSD 3-Clause "New" or "Revised" License UpdatedOct 16, 2023 -
crawl Public
Forked from crawl/crawlDungeon Crawl: Stone Soup official repository
C++ Other UpdatedJul 22, 2023 -
magic-string-rs Public
Forked from h-a-n-a/magic-string-rs⚡️ Fast MagicString port driven by Rust and N-API
Rust MIT License UpdatedJun 28, 2023 -
typst Public
Forked from typst/typstA new markup-based typesetting system that is powerful and easy to learn.
Rust Apache License 2.0 UpdatedApr 1, 2023 -
mathlib4 Public
Forked from leanprover-community/mathlib4Work in progress mathlib port for lean 4
Lean Apache License 2.0 UpdatedFeb 1, 2023 -
mathlib Public
Forked from leanprover-community/mathlib3Lean mathematical components library
Lean Apache License 2.0 UpdatedJan 31, 2023 -
projective-plane Public
A toy axiomatization of projective planes in Lean4
Lean UpdatedJan 26, 2023 -
ariadne Public
Forked from zesterer/ariadneA fancy diagnostics & error reporting crate
Rust MIT License UpdatedJan 9, 2023 -
moka Public
Forked from moka-rs/mokaA high performance concurrent caching library for Rust
Rust Apache License 2.0 UpdatedNov 20, 2022 -
grmtools Public
Forked from softdevteam/grmtoolsRust grammar tool libraries and binaries
Rust Other UpdatedOct 18, 2022 -
crash-handling Public
Forked from EmbarkStudios/crash-handlingCollection of crates to deal with crashes
Rust Apache License 2.0 UpdatedAug 24, 2022 -
rust-minidump Public
Forked from rust-minidump/rust-minidumpA minidump parser written in Rust
Rust MIT License UpdatedFeb 11, 2022 -
dim Public
Forked from Dusk-Labs/dimDim, a media manager fueled by dark forces.
Rust GNU General Public License v2.0 UpdatedDec 25, 2021 -
pueue-lib Public
Forked from Mephistophiles/pueue-libA library to interact with Pueue
Rust MIT License UpdatedOct 6, 2021 -
pueue Public
Forked from Nukesor/pueue🌠 Manage your shell commands.
Rust MIT License UpdatedOct 1, 2021 -
-
nom-supreme Public
Forked from Lucretiel/nom-supremeA collection of utilities for a superior nom experience
Rust Mozilla Public License 2.0 UpdatedApr 22, 2021 -
connect.kak Public
Forked from kakounedotcom/connect.kakConnect a program to Kakoune clients
Shell The Unlicense UpdatedFeb 17, 2021 -
breakpad Public
Forked from google/breakpadMirror of Google Breakpad project
C++ Other UpdatedFeb 9, 2021