ice1000 / intellij-bililiveLinks
Just for fun, 114594
☆17Updated 5 years ago
Alternatives and similar repositories for intellij-bililive
Users that are interested in intellij-bililive are comparing it to the libraries listed below
Sorting:
- Anti-Indulged for IntelliJ Platform (AI4IJ)☆26Updated 4 years ago
- only for 彩虹桥, use https://github.com/niltok/tesseract-lite if you want to deploy☆52Updated 2 years ago
- My slides and notes☆137Updated 2 years ago
- 在 Telegram 上快速模仿迟先生卖弱。☆10Updated 3 years ago
- 🍎 Play Bad Apple! with Haskell☆15Updated 2 years ago
- A type-driven and high-performance ORM framework in Rust☆25Updated 3 years ago
- My type-ups for copilot to learn from.☆11Updated 2 years ago
- [WIP] BREAD operate system based on X86_64☆49Updated 4 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Updated 2 years ago
- A Register Based VM. 柠檬手写的看起来像栈机的寄存器机☆65Updated 4 years ago
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Updated 5 years ago
- Neon lights in the night tonight and stars that shine in the open sky☆44Updated last year
- A well-documented minimal dependently-typed language for my friend Lyzh☆27Updated 3 months ago
- 🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.☆16Updated 4 years ago
- 用作文档目的,翻译方式见 Issue #10☆41Updated 6 years ago
- the compiler for the Cm programming language☆31Updated 7 years ago
- Resume (template) written in Typst☆10Updated last month
- ☆12Updated 3 years ago
- A toy IO library for Arend☆18Updated 4 years ago
- 如果将markdown视作一门编程语言可以做哪些有趣的事情呢?☆74Updated 6 years ago
- 第三次重构!☆16Updated 4 years ago
- Constructive Interpretations of HoTT☆36Updated 4 years ago
- 《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版☆211Updated last week
- How many interface{} are there in your project?☆16Updated 3 years ago
- 入墨答Rumbda, the Chinese expression of lambda calculus☆64Updated last year
- Type-safe, lightweight JSON validator with Kotlin DSL.☆11Updated 4 years ago
- Zombie chan revive!☆26Updated last year
- preview your typst document in instant☆28Updated 2 years ago
- Placeholder for the OwO compiler☆60Updated 6 years ago
- 恋学,全称Cre的恋爱学☆46Updated 2 years ago