- Aachen, Germany
-
11:17
(UTC +02:00) - https://orcid.org/0009-0005-0622-4229
- @mkroening@chaos.social
- in/mkroening
Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- Assembly
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- Crystal
- Cuda
- Dart
- Dockerfile
- Emacs Lisp
- Futhark
- Go
- Groovy
- HTML
- Haskell
- HolyC
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- Mathematica
- Meson
- Mojo
- NSIS
- Nix
- OCaml
- Objective-C
- PHP
- Pascal
- Perl
- PowerShell
- Processing
- Python
- QML
- RenderScript
- Rocq Prover
- Ruby
- Rust
- SCSS
- Shell
- Swift
- TeX
- Text
- TypeScript
- Typst
- Vala
- Vim Script
- Vue
- ZIL
- Zig
A maintained fork of proc-macro-error using syn 2
🍒 Rust - Experimental port of Rust to CHERI architectures
An alternative shell for KDE Plasma that aims to replicate the look and feel of Windows 7.
A set of guidelines to avoid arguments over code-quality
Cargo subcommand for configuring Cargo projects for best performance.
An open-source, GPU-accelerated physics simulation engine built upon NVIDIA Warp, specifically targeting roboticists and simulation researchers.
Microsoft PowerToys is a collection of utilities that supercharge productivity and customization on Windows
Tool to build & run portable, lightweight, self-contained virtual machines.
mimalloc is a compact general purpose allocator with excellent performance.
A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Linux guests, device offload with vhost-user and a minimal com…
a simple container runtime that aspires to become `runc` for unikernels
A classic Mac loaded with everything you'd want
Inspect a command's effects before modifying your live system
Remove unused Rust dependencies with this one weird trick!
A verification tool for many memory models
Lean 4 programming language and theorem prover
A set of Nix packages and NixOS modules allowing the usage of OpenStack in NixOS.
Menu bar app to know when your Mac is thermal throttling