HoshinoTented

HoshinoTented's Stars

• billryan/resume

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

  Language:TeX9.3k84642.6k

• rust-lang/rustup

  The Rust toolchain installer

  Language:Rust6.2k1152k892

• openhardwaremonitor/openhardwaremonitor

  Open Hardware Monitor

  Language:C#6k2091.5k1.3k

• LorisYounger/VPet

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

  Language:C#4.9k26353496

• coq/coq

  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 development of machine-checked proofs.

  Language:OCaml4.9k10310.1k656

• koka-lang/koka

  Koka language compiler and interpreter

  Language:Haskell3.3k60330166

• samhocevar/wincompose

  🔣 Compose Key for Windows

  Language:C#2.6k4548483

• varkor/quiver

  A modern commutative diagram editor for the web.

  Language:JavaScript2.4k2522883

• commonmark/commonmark-java

  Java library for parsing and rendering CommonMark (Markdown)

  Language:Java2.3k102175288

• LlmKira/Openaibot

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

  Language:Python2k21249229

• kcl-lang/kcl

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

  Language:Rust1.7k16578121

• passy/awesome-recursion-schemes

  Resources for learning and using recursion schemes.

  1.2k45656

• AndrasKovacs/elaboration-zoo

  Minimal implementations for dependent type checking and elaboration

  Language:Haskell620403236

• wenweili/AlJabr-1

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

  Language:TeX3919959

• Trebor-Huang/history

  History of type theory (Chinese).

  Language:TeX32010610

• OpenMods/OpenBlocks

  Random collection of blocks

  Language:Java29852831149

• aya-prover/aya-dev

  A proof assistant and a dependently-typed language

  Language:Java284937818

• UniMath/agda-unimath

  The agda-unimath library

  Language:Agda223914771

• touhouworldcup/thprac

  Language:C++217317220

• thufv/CMinor-Verifier

  2022 年春季学期清华大学《软件分析与验证》课程实验平台

  Language:C#2035021

• banana-space/banana-space

  Language:PHP1534144

• Infinity-Type-Cafe/ntype-cafe-summer-school

  ntype cafe summer school resources

  Language:HTML1371217

• rowscript/rowscript

  RowScript programming language, making a better browser world

  Language:Rust11071611

• cicada-lang/cicada-plct

  Cicada Language (PLCT little team)

  Language:TypeScript923497

• Glavo/japp

  A new packaging format for Java programs.

  Language:Java84602

• Glavo/kala-common

  Language:Java624734

• Glavo/kala-lang

  131

• aya-prover/intellij-aya

  ~ Intellij Platform plugin for Aya Prover

  Language:Java86121

• aya-prover/lamett

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

  Language:Java5620

• aya-prover/aya-tmbundle

  For GitHub linguist's syntax highlighting

  Language:Python1520