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:
- only for 彩虹桥, use https://github.com/niltok/tesseract-lite if you want to deploy☆52Updated 2 years ago
- My slides and notes☆139Updated 2 years ago
- Anti-Indulged for IntelliJ Platform (AI4IJ)☆26Updated 4 years ago
- 《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版☆212Updated last week
- 在 Telegram 上快速模仿迟先生卖弱。☆10Updated 3 years ago
- 🍎 Play Bad Apple! with Haskell☆15Updated 3 years ago
- 🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.☆16Updated 5 years ago
- My type-ups for copilot to learn from.☆11Updated 2 years ago
- ☆12Updated 4 years ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆27Updated 6 months ago
- the compiler for the Cm programming language☆31Updated 7 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Updated 2 years ago
- Neon lights in the night tonight and stars that shine in the open sky☆44Updated last year
- Constructive Interpretations of HoTT☆36Updated 5 years ago
- RowScript programming language, making a better browser world