Seppel3210
Follow
-
iced Public
Forked from iced-rs/icedA cross-platform GUI library for Rust, inspired by Elm
Rust MIT License UpdatedJun 30, 2025 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix MIT License UpdatedMar 28, 2025 -
-
batteries Public
Forked from leanprover-community/batteriesThe "batteries included" extended library for the Lean programming language and theorem prover
Lean Apache License 2.0 UpdatedSep 27, 2024 -
docker-abuild-arm Public
Forked from msrd0/docker-abuild-armDocker image to cross-build aarch64/armv7/armhf packages from x86_64
Shell UpdatedAug 23, 2024 -
-
-
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedNov 24, 2023 -
nml Public
Forked from manorom/nmlSupport for Fortran Namelist Input in Rust using serde
Rust UpdatedNov 19, 2023 -
tldr Public
Forked from tldr-pages/tldr📚 Collaborative cheatsheets for console commands
Markdown Other UpdatedOct 26, 2023 -
inator Public
Forked from wrsturgeon/inatorProvably optimal zero-copy parsers using nondeterministic finite automata.
Rust Mozilla Public License 2.0 UpdatedSep 30, 2023 -
ArrayV-glidesort Public
Forked from Gaming32/ArrayVOrson Peters' glidesort ported to ArrayV
Java MIT License UpdatedFeb 8, 2023 -
doc-gen4 Public
Forked from leanprover/doc-gen4Document Generator for Lean 4
Lean Apache License 2.0 UpdatedDec 22, 2022 -
-
-
rust_std_wishlist Public
things I would like to change in the rust standard library
UpdatedJan 31, 2022 -
math-parser-rs Public
Version of my math expression parser written in rust.
Rust Mozilla Public License 2.0 UpdatedJan 23, 2022 -
rustbot Public
Forked from kangalio/rustbotRust programming language bot for Discord
Rust MIT License UpdatedJan 16, 2022 -
prettytable-rs Public
Forked from phsym/prettytable-rsA rust library to print aligned and formatted tables
Rust BSD 3-Clause "New" or "Revised" License UpdatedJan 15, 2022 -
cold-clear Public
Forked from MinusKelvin/cold-clearTetris Bot
-
-
effective-limits.rs Public
Forked from rbtcollins/effective-limits.rsEstimate effective resource limits for a process e.g. how much RAM is available for use
Rust Apache License 2.0 UpdatedOct 16, 2021 -
-
-
NixOs-config Public
Configuration for my NixOs bulid
Nix Mozilla Public License 2.0 UpdatedAug 22, 2021 -
-
checked_expr Public
Rust macro for making writing checked_{add,sub,div,…} chains easier
-
serenity Public
Forked from serenity-rs/serenityA Rust library for the Discord API.
Rust ISC License UpdatedMay 28, 2021 -
-