Pinned Repositories
3DIrrgarten
3 dimensionale Simulation eines Irrgarten
able-script
advent_of_code
my advent of code solutions in rust
advent_of_code_2021
My solutions for advent of code 2021
ArrayV-glidesort
Orson Peters' glidesort ported to ArrayV
automata
programs related to automata
checked_expr
Rust macro for making writing checked_{add,sub,div,…} chains easier
cold-clear
Tetris Bot
MathParser
Parser and evaluator for math expressions
Seppel3210's Repositories
Seppel3210/checked_expr
Rust macro for making writing checked_{add,sub,div,…} chains easier
Seppel3210/cold-clear
Tetris Bot
Seppel3210/MathParser
Parser and evaluator for math expressions
Seppel3210/3DIrrgarten
3 dimensionale Simulation eines Irrgarten
Seppel3210/able-script
Seppel3210/advent_of_code
my advent of code solutions in rust
Seppel3210/advent_of_code_2021
My solutions for advent of code 2021
Seppel3210/ArrayV-glidesort
Orson Peters' glidesort ported to ArrayV
Seppel3210/automata
programs related to automata
Seppel3210/doc-gen4
Document Generator for Lean 4
Seppel3210/dotfiles
Seppel3210/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Seppel3210/docker-abuild-arm
Docker image to cross-build aarch64/armv7/armhf packages from x86_64
Seppel3210/effective-limits.rs
Estimate effective resource limits for a process e.g. how much RAM is available for use
Seppel3210/inator
Provably optimal zero-copy parsers using nondeterministic finite automata.
Seppel3210/lambda_calc
Simple implementation of the Calculus of Constructions
Seppel3210/math-parser-rs
Version of my math expression parser written in rust.
Seppel3210/NixOs-config
Configuration for my NixOs bulid
Seppel3210/nixpkgs
Nix Packages collection & NixOS
Seppel3210/nml
Support for Fortran Namelist Input in Rust using serde
Seppel3210/prettytable-rs
A rust library to print aligned and formatted tables
Seppel3210/rost
Rust programming, in German.
Seppel3210/rust
Empowering everyone to build reliable and efficient software.
Seppel3210/rust-xor-list
An xor doubly-linked list implemented in rust
Seppel3210/rust_std_wishlist
things I would like to change in the rust standard library
Seppel3210/rustbot
Rust programming language bot for Discord
Seppel3210/serenity
A Rust library for the Discord API.
Seppel3210/tic_tac_toe_rocket
Seppel3210/tldr
📚 Collaborative cheatsheets for console commands
Seppel3210/typst-boxes