Pinned Repositories
chess-trainer
Very simple chess opening trainer (currently only stafford gambit)
css-in-rs
A rust library to manage css-styles per component
deploy
Lightweight tool for simple deployment (server+client)
dioxus
Friendly React-like GUI library for desktop, web, mobile, and more.
fpconv
lean-mt
Lean4-Framework to reason about multithreaded algorithms
lean-mt-doc
DocGen4-Documentation for lean-mt
material-ui
Material-UI is a simple and customizable component library to build faster, beautiful, and more accessible React applications. Follow your own design system, or start with Material Design.
math-demo
mirkootter.github.io
mirkootter's Repositories
mirkootter/css-in-rs
A rust library to manage css-styles per component
mirkootter/lean-mt
Lean4-Framework to reason about multithreaded algorithms
mirkootter/chess-trainer
Very simple chess opening trainer (currently only stafford gambit)
mirkootter/deploy
Lightweight tool for simple deployment (server+client)
mirkootter/dioxus
Friendly React-like GUI library for desktop, web, mobile, and more.
mirkootter/fpconv
mirkootter/lean-mt-doc
DocGen4-Documentation for lean-mt
mirkootter/material-ui
Material-UI is a simple and customizable component library to build faster, beautiful, and more accessible React applications. Follow your own design system, or start with Material Design.
mirkootter/math-demo
mirkootter/mirkootter.github.io
mirkootter/play
Short experimental programs for playing with and learning new things. No reusable code here.
mirkootter/procman
Very simple tool to spawn and manage local processes with a REST API and webbased UI
mirkootter/qrTest
mirkootter/rust-wasm-demos
Examples for my rust fork with wasm exception support
mirkootter/rust-wasm-exceptions
Empowering everyone to build reliable and efficient software.
mirkootter/rustmath
mirkootter/simple-oidc-provider
mirkootter/uWebSockets
Simple, secure & standards compliant web server for the most demanding of applications
mirkootter/vector-demo
mirkootter/wp-cypress
WordPress end to end testing with Cypress.io.