ice1000 / intellij-bililive
Just for fun, 114594
☆17Updated 4 years ago
Alternatives and similar repositories for intellij-bililive:
Users that are interested in intellij-bililive are comparing it to the libraries listed below
- only for 彩虹桥, use https://github.com/niltok/tesseract-lite if you want to deploy☆52Updated last year
- Anti-Indulged for IntelliJ Platform (AI4IJ)☆26Updated 4 years ago
- 在 Telegram 上快速模仿迟先生卖弱。☆10Updated 3 years ago
- My type-ups for copilot to learn from.☆11Updated 2 years ago
- A type-driven and high-performance ORM framework in Rust☆25Updated 3 years ago
- 恋学，全称Cre的恋爱学☆46Updated 2 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Updated 2 years ago
- A Register Based VM. 柠檬手写的看起来像栈机的寄存器机☆64Updated 4 years ago
- ☆8Updated 7 years ago
- [WIP] BREAD operate system based on X86_64☆49Updated 4 years ago
- the compiler for the Cm programming language☆31Updated 7 years ago
- 打打 bot☆14Updated this week
- ☆13Updated 3 years ago
- A toy IO library for Arend☆18Updated 4 years ago
- Neon lights in the night tonight and stars that shine in the open sky☆43Updated last year
- My slides and notes☆137Updated last year
- 🍎 Play Bad Apple! with Haskell☆15Updated 2 years ago
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Updated 4 years ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆24Updated last week
- Type-safe, lightweight JSON validator with Kotlin DSL.☆11Updated 3 years ago
- ~ Fabricated replica.☆10Updated 2 years ago
- [Abandoned] 在vscode上看色图☆79Updated 3 years ago
- Very Naive MIPS CPU using Clash☆29Updated 3 years ago
- Constructive Interpretations of HoTT☆36Updated 4 years ago
- 十分钟魔法练习☆47Updated 4 years ago
- 如果将markdown视作一门编程语言可以做哪些有趣的事情呢?☆74Updated 6 years ago
- 手把手教你如何咕咕咕！☆45Updated 4 years ago
- 入墨答Rumbda, the Chinese expression of lambda calculus☆65Updated last year
- Some experimental Typst files.☆14Updated last year
- 🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.☆16Updated 4 years ago