Glavo / fallback-jmod
☆12Updated 2 years ago
Related projects: ⓘ
- ☆15Updated 8 months ago
- Scala 3 Standard Library with bracket syntax.☆10Updated 3 years ago
- ☆60Updated last week
- ☆13Updated 3 years ago
- A modern Java classfile manipulation and analysis library☆50Updated 5 months ago
- ☆13Updated last year
- ☆8Updated 7 years ago
- ☆82Updated last month
- ☆34Updated last year
- ☆18Updated 3 years ago
- Library for glob searching in strings.☆20Updated 2 years ago
- IntelliJ plugin for several experimental programming languages here☆34Updated 2 years ago
- https://openjdk.org/projects/metropolis☆16Updated 3 years ago
- ☆12Updated this week
- Don't try to waste time reading this project, most people don't have the ability.☆16Updated 3 weeks ago
- Text sequence data structures☆15Updated 4 years ago
- hand-assembler for Java☆39Updated this week
- [yarrow] JVMCI based optimizing compiler for HotSpot VM☆33Updated 3 years ago
- https://openjdk.org/projects/tsan☆24Updated this week
- https://openjdk.org/projects/valhalla☆58Updated last month
- ~ Fragile apparatus of naive wonderland.☆10Updated 3 years ago
- programming languages invented/implemented by myself.☆8Updated last year
- ShiTT is a dependent typed language with practical features.☆23Updated last week
- ☆10Updated 4 years ago
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Updated 4 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Updated 2 years ago
- ~ Fabricated replica.☆10Updated 2 years ago
- Source code & exercises in Arend's documentation☆21Updated 3 years ago
- Frege support for IntelliJ IDEA☆14Updated 8 years ago
- The Dragon Virtual Machine.☆10Updated 6 years ago