Stars
The Reevo Hubless E-Bike relies on a now-defunct app for most of its features. This project solves that with a self contained screen that integrates with the bike. $20 and some terminal commands ar…
Formalization project on Quantum Error Correction in Lean
⚡ A Fast, Extensible Progress Bar for Python and CLI
A suite of tools to evaluate performance counters in different architectures.
Shared Middle-Layer for Triton Compilation
Optimize Julia Functions With MLIR and XLA for High-Performance Execution on CPU, GPU, TPU and more.
Hugo documentation theme as simple as plain book
A testing ground for quantum computing compilation ideas in xdsl
Given integer inputs and outputs, solve for the function
A good looking terminal emulator which mimics the old cathode display...
Bechmarks for Rust big integer implementations
A tool that uses LLMs to audit papers if they are citing software that are used in paper properly.
The book Linear Algebra Done Right rendered in Lean 4.
Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured development containers based on devfiles
A dynamically executed quantum-classical hybrid runtime.
Portable programming across classical and quantum architectures
A collection of tools for use with the Zotero reference management software
LC-3 parser, assembler, and simulator written in Rust
Python backend and autograder library for LC-3 assembly
A powerful browser extension to create, edit and delete cookies