weirdsmiley
Follow
Starred repositories
A community database for the problems on the erdosproblems.com site
The financial transactions database designed for mission critical safety and performance.
Open-source E-ink monitor. Mirror of https://gitlab.com/zephray/glider
A menagerie of cute implementations of modern typechecking algorithms
Demo project showing a single Rust codebase running on CPU and directly on GPUs
A collection of formalized statements of conjectures in Lean.
Production-tested AI infrastructure tools for efficient AGI development and community-driven innovation
A high-throughput parser for the Zig programming language.
Lightweight coding agent that runs in your terminal
System restore tool for Linux. Creates filesystem snapshots using rsync+hardlinks, or BTRFS snapshots. Supports scheduled snapshots, multiple backup levels, and exclude filters. Snapshots can be re…
Continuous saving of tmux environment. Automatic restore when tmux is started. Automatic tmux start when computer is turned on.
Framework for writing Linux kernel modules in safe Rust
A RISC-V operating system devoted to running fizz/buzz processes.
Vim filetype support for LLVM (mirrored from llvm-project)
An MMO game written in Erlang (+ PostgreSQL + Omnigres) + Zig (+ Raylib)
Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.
An attempt at safe imperative GPU programming.
🚧 A work-in-progress GLSL compiler targeting SPIR-V mlir 🚧
Quickly build and run kernels inside a virtualized snapshot of your live system
A enumerator for MLIR, relying on the information given by IRDL.
Tiling window manager related files (XMonad / i3) including configuration for components that create a good, minimal desktop-environment replacement.
