Lists (3)
Sort Name ascending (A-Z)
Starred repositories
FlashSpace is a blazingly fast virtual workspace manager for macOS ⚡
A scalable asynchronous reinforcement learning implementation with in-flight weight updates.
The Enterprise-Grade Production-Ready Multi-Agent Orchestration Framework in Rust
Scala 3 native binding generator + libclang facade
Helper library for running blocking IO operations in Spark jobs more efficiently
Linyxus / cslib
Forked from leanprover/cslibA Lean library for Computer Science
plasTeX plugin to build formalization blueprints.
An AI agent system for solving International Mathematical Olympiad (IMO) problems using Google's Gemini, OpenAI, and XAI APIs.
A lightweight, open-source network monitor for Windows that displays live upload/download speeds directly on the Taskbar with a native look and feel.
explorations in Lean automation and metaprogramming
MCP Server + Plugin for Unity Editor and Unity game. The Plugin allows to connect to MCP clients like Claude Desktop or others.
A simple solution for implementing target indicator, waypoint or HUD navigation system in unity.
A Unity utility for automatically assigning serialized component references on prefabs.
An open-source AI agent that brings the power of Gemini directly into your terminal.
Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
A Cheat Sheet for Coq Developers who want to try LeanProver
This project presents an extensive wiki for Eugen Systems' WARNO, documenting unit data and explaining key game mechanics.
Unity UI Toolkit documentation code examples
Code to automatically prove or verify estimates in analysis
Typesafe, spec-first APIs without codegen. Just Import 'N' Go!