Just for fun, 114594
☆17Apr 28, 2020Updated 6 years ago
Alternatives and similar repositories for intellij-bililive
Users that are interested in intellij-bililive are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Resume (template) written in Typst☆11Aug 13, 2026Updated 2 months ago
- Neon lights in the night tonight and stars that shine in the open sky☆47Dec 17, 2023Updated 2 years ago
- Constructive Interpretations of HoTT☆36Aug 26, 2020Updated 6 years ago
- A Register Based VM. 柠檬手写的看起来像栈机的寄存器机☆65Aug 7, 2020Updated 6 years ago
- Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.☆14Dec 16, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A simple and naïve Game of Life pattern searcher written in Wolfram Language. 用 Mathematica 搜索生命游戏中的图样。☆16Nov 5, 2019Updated 7 years ago
- ☆12Aug 19, 2021Updated 5 years ago
- Code-regrouping to reduce latency in Julia code compilation☆16Jun 25, 2026Updated 4 months ago
- Source code & exercises in Arend's documentation☆23Jul 24, 2026Updated 3 months ago
- MVI的架构，compose material3搭建的一个小项目，使用Hilt和dataStore作为viewModel注入和轻量级持久层数据保存☆12Jul 4, 2023Updated 3 years ago
- ArkUI-X Application Framework | ArkUI-X应用适配层☆12Updated this week
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆19Mar 29, 2025Updated last year
- A programming language with region-based memory management☆35Updated this week
- 🍎 Play Bad Apple! with Haskell☆15Jul 22, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Modular Apache commons compress☆14Sep 8, 2026Updated last month
- The Dragon Virtual Machine.☆10Jan 31, 2018Updated 8 years ago
- Talking about classical logic and abstract algebra in Haskell☆16Feb 12, 2021Updated 5 years ago
- A toy IO library for Arend☆19Feb 12, 2021Updated 5 years ago
- ArkUI-X command line tool for cross-platform builds | ArkUI-X跨平台应用构建命令行工具☆14Updated this week
- A repository for FAQs regarding the 18240 class.☆10Sep 3, 2026Updated 2 months ago
- An Android app for learning of programming.☆10Aug 24, 2016Updated 10 years ago
- A powerful, easy-to-use, modern Java core library for the future☆64Oct 20, 2026Updated 2 weeks ago
- LibSA4Py: Light-weight static analysis for extracting type hints and features☆11Aug 23, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Lua dialect in rust☆22Jun 17, 2021Updated 5 years ago
- An implementation of Scheme R7RS-small in 48 working hours.☆20Mar 13, 2020Updated 6 years ago
- Node.js SDK library for WeatherAPI.com Weather API☆13Mar 10, 2020Updated 6 years ago
- Functional scripting in Java.☆10Oct 31, 2018Updated 8 years ago
- 《Kotlin Collection 全方位解析攻略》範例程式碼☆16Jul 6, 2022Updated 4 years ago
- API of LuoGu☆30May 29, 2020Updated 6 years ago
- An implementation of memcpy for amd64 with clang/gcc☆15Feb 7, 2022Updated 4 years ago
- An extension of the NbE algorithm to produce computational traces☆22May 5, 2022Updated 4 years ago
- [废弃]超级高效,轻量,极强自定义指示器,任意自定义Tab类型的TabLayout, 直接继承自ViewGroup实现.☆13Jan 22, 2020Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- An implementation of a simple Neural network in Idris using category theory.☆25Sep 18, 2024Updated 2 years ago
- SIMD CRC64 for C++☆12Aug 16, 2021Updated 5 years ago
- ☆14Jan 3, 2024Updated 2 years ago
- An up-to-date list of common NPM packages that need to run lifecycle scripts during installation.☆11Feb 5, 2025Updated last year
- An Agda formalization of System F and the Brown-Palsberg self-interpreter☆25Oct 4, 2020Updated 6 years ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆100Sep 21, 2020Updated 6 years ago
- Experimental type-checker for internally parametric type theory☆33Mar 27, 2025Updated last year