+
Skip to content
View tribbloid's full-sized avatar
🌴
differentiable - functional - axiomatic
🌴
differentiable - functional - axiomatic

Highlights

  • Pro

Block or report tribbloid

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

FlashSpace is a blazingly fast virtual workspace manager for macOS ⚡

Swift 2,531 46 Updated Oct 1, 2025

A scalable asynchronous reinforcement learning implementation with in-flight weight updates.

Python 239 18 Updated Oct 19, 2025

The Enterprise-Grade Production-Ready Multi-Agent Orchestration Framework in Rust

Rust 88 27 Updated Oct 13, 2025

Scala 3 native binding generator + libclang facade

Scala 90 10 Updated Oct 17, 2025

Helper library for running blocking IO operations in Spark jobs more efficiently

Scala 1 Updated Oct 19, 2025

A Lean library for Computer Science

Lean 1 Updated Sep 15, 2025
Lean 3 Updated Jun 27, 2025
Lean 249 15 Updated Sep 11, 2025

plasTeX plugin to build formalization blueprints.

Python 248 44 Updated Sep 14, 2025

An AI agent system for solving International Mathematical Olympiad (IMO) problems using Google's Gemini, OpenAI, and XAI APIs.

Python 808 113 Updated Oct 1, 2025

A lightweight, open-source network monitor for Windows that displays live upload/download speeds directly on the Taskbar with a native look and feel.

Python 125 7 Updated Sep 28, 2025

explorations in Lean automation and metaprogramming

Lean 2 Updated Aug 25, 2025

Naos: Serialization-free RDMA networking in Java

Java 17 6 Updated Aug 17, 2021

MCP Server + Plugin for Unity Editor and Unity game. The Plugin allows to connect to MCP clients like Claude Desktop or others.

C# 460 48 Updated Oct 19, 2025

A simple solution for implementing target indicator, waypoint or HUD navigation system in unity.

C# 89 20 Updated Oct 25, 2024

A Lean4 plugin for the Intellij Platform

Kotlin 14 1 Updated Oct 19, 2025

Flatmark SSG

JavaScript 14 Updated Jul 18, 2025

A Unity utility for automatically assigning serialized component references on prefabs.

C# 2 Updated Feb 10, 2025

An open-source AI agent that brings the power of Gemini directly into your terminal.

TypeScript 79,787 8,761 Updated Oct 20, 2025

Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization

HTML 36 1 Updated Sep 17, 2025

A Cheat Sheet for Coq Developers who want to try LeanProver

Lean 17 1 Updated Jul 25, 2023

A Lean companion to Analysis I

Lean 1,239 167 Updated Oct 16, 2025

This project presents an extensive wiki for Eugen Systems' WARNO, documenting unit data and explaining key game mechanics.

20 2 Updated Dec 6, 2023

Unity UI Toolkit documentation code examples

C# 559 86 Updated Oct 8, 2025
Lean 9 1 Updated Jun 20, 2025

Code to automatically prove or verify estimates in analysis

JavaScript 309 24 Updated Jul 1, 2025

sources for the Scala language website

SCSS 294 330 Updated Oct 19, 2025

Typesafe, spec-first APIs without codegen. Just Import 'N' Go!

Scala 47 1 Updated Oct 19, 2025
Next
点击 这是indexloc提供的php浏览器服务,不要输入任何密码和下载