Mill is a fast JVM build tool that supports Java, Scala, Kotlin and many other languages. 2-4x faster than Gradle and 4-10x faster than Maven for common workflows, Mill aims to make your project’s …

A mod to make and play Terraria mods. Supports Terraria 1.4 (and earlier) installations

A modern commutative diagram editor for the web.

2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

A new packaging format for Java programs.

Koka language compiler and interpreter

虚拟桌宠模拟器 一个开源的桌宠软件, 可以内置到任何WPF应用程序

😶‍🌫️tt/a less cool version of cooltt

Minimal implementations for dependent type checking and elaboration

RowScript programming language, making a better browser world

ntype cafe summer school resources

The agda-unimath library

🔣 Compose Key for Windows

Open Hardware Monitor

Resources for learning and using recursion schemes.

Methods in Algebra (Volume 1): A Chinese textbook on Algebra

History of type theory (Chinese).

KCL Programming Language (CNCF Sandbox Project). https://kcl-lang.io

⚡️ Build Your Own chatgpt Bot|🧀 Discord/Slack/Kook/Telegram |⛓ ToolCall|🔖 Plugin Support | 🌻 out-of-box | gpt-4o

Java library for parsing and rendering CommonMark (Markdown)

For GitHub linguist's syntax highlighting

A proof assistant and a dependently-typed language

Cicada Language (PLCT little team)

A powerful, easy-to-use, modern Java core library for the future

An elegant \LaTeX\ résumé template. 大陆镜像 https://gods.coding.net/p/resume/git

~ Intellij Platform plugin for Aya Prover