Starred repositories
Communicate with Airoha-based Bluetooth devices using the RACE protocol via Bluetooth and USB.
ARO is a declarative language for specifying business features in a human-readable format that can be compiled and executed. Features are expressed as Action-Result-Object statements.
Vanguards help guard you from getting vanned...
A mutable, self-balancing interval tree. Queries may be by point, by range overlap, or by range containment.
Repository containing a dummy game, for the purposes of testing.
An implementation of the TrueSkill rating system for Python
Benchmarking Goal-Oriented Software Engineering
Headlong Env that provides actuation and sensory input for a Headlong agent. Operates by listening to the headlong var, executing actions, and updating the headlong var with observations.
A framework for collecting a large human-sourced chain-of-thoughts dataset
Specula: A Framework for Synthesizing High-Quality TLA+ Specifications from Source Code
SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems
System Intelligence Benchmark
A configuration for Neovim that inspires hope and resolution 🔥
Obsidian 🤝 Neovim (actively maintained version)
A better annotation generator. Supports multiple languages and annotation conventions.
Plug-n-play UI component library for Tailwind CSS & Alpine JS
Keep a record of the time you dedicate to your projects.