seppel3210 Goto Github PK
Type: User
Type: User
3 dimensionale Simulation eines Irrgarten
my advent of code solutions in rust
My solutions for advent of code 2021
Orson Peters' glidesort ported to ArrayV
programs related to automata
Rust macro for making writing checked_{add,sub,div,…} chains easier
Tetris Bot
Document Generator for Lean 4
Estimate effective resource limits for a process e.g. how much RAM is available for use
Provably optimal zero-copy parsers using nondeterministic finite automata.
This is a Guideline conforming Tetris clone
Simple implementation of the Calculus of Constructions
Version of my math expression parser written in rust.
Parser and evaluator for math expressions
Configuration for my NixOs bulid
Support for Fortran Namelist Input in Rust using serde
A rust library to print aligned and formatted tables
Rust programming, in German.
Empowering everyone to build reliable and efficient software.
An xor doubly-linked list implemented in rust
things I would like to change in the rust standard library
Rust programming language bot for Discord
A Rust library for the Discord API.
This is a simple visualizer for sorting algorithms
Standard Library for Lean 4
📚 Collaborative cheatsheets for console commands
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.