Pinned Loading

1. saki-lang/saki-dev saki-lang/saki-dev Public

   A simple scala-like dependent type programming language

   Scala 23 3

2. cubicaltt-scala cubicaltt-scala Public

   Cubical Type Theory in Scala 3 — port of Mortberg's cubicaltt

   Scala 3 1

3. minecraft-chatgpt-assistant minecraft-chatgpt-assistant Public

   A ChatGPT assistant mod for Minecraft

   Kotlin 30 2

4. serial-comm-protocol serial-comm-protocol Public

   A light-weight ROS-like serial communication library

   C++ 4

5. OI-wiki/OI-wiki OI-wiki/OI-wiki Public

   �� Wiki of OI / ICPC for everyone. （某大型游戏线上攻略，内含炫酷算术魔法）

   TypeScript 26.6k 4.7k

6. lean4-mcp lean4-mcp Public

   A lightweight MCP (Model Context Protocol) server that proxies between AI agents and the Lean 4 language server.

   Rust 7 2