thautwarm / DianaVM
Diana... π₯³π₯³π₯³Diana, sukiπ€€π€€π€€
β11Updated 3 years ago
Alternatives and similar repositories for DianaVM:
Users that are interested in DianaVM are comparing it to the libraries listed below
- β18Updated 3 years ago
- A LR(1) parser generator targeting C++17.β13Updated 4 years ago
- Yet another python JIT.β20Updated last year
- Constructive Interpretations of HoTTβ36Updated 4 years ago
- A type-driven and high-performance ORM framework in Rustβ25Updated 3 years ago
- A well-documented minimal dependently-typed language for my friend Lyzhβ27Updated last month
- Statically typed BNF with semantic actions; safe parser generator applicable to every programming language.β62Updated last week
- a VSCode plugin to provide basic language support for DianaScriptβ10Updated 3 years ago
- β12Updated 3 years ago
- Zombie chan revive!β24Updated last year
- slides of zju-lambdaβ14Updated 6 years ago
- An implementation of memcpy for amd64 with clang/gccβ15Updated 3 years ago
- π§ζ½ε·₯δΈπ§ η¨ Arend εθ―ζηδΊ€δΊεΌζη¨β14Updated 2 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.β16Updated last week
- Just for fun riscv64 emulator, which boots the Linux.β41Updated 2 years ago
- 第δΈζ¬‘ιζ!β16Updated 4 years ago
- Neon lights in the night tonight and stars that shine in the open skyβ43Updated last year
- A high level LLVM IR AST provider for GraphEngine JIT.β22Updated 6 years ago
- A toy IO library for Arendβ18Updated 4 years ago
- π Play Bad Apple! with Haskellβ15Updated 2 years ago
- A compiler for higher rank ML with type classesβ13Updated 4 years ago
- A Register Based VM. ζ ζͺ¬ζεηηθ΅·ζ₯εζ ζΊηε―εε¨ζΊβ65Updated 4 years ago
- My type-ups for copilot to learn from.β11Updated 2 years ago
- β12Updated 3 years ago
- Implementing a programming language within 20 minutes, also a tutorial for syntax driven parsing with frontend-for-free.β16Updated 3 years ago
- Julia implementation for Python Restrain JITβ22Updated 4 years ago
- β24Updated last year
- a simple programming language under developmentβ11Updated last year
- VSCode extension for the Arend languageβ11Updated 2 years ago
- the compiler for the Cm programming languageβ31Updated 7 years ago