thautwarm / DianaScript-JIT
β18Updated 3 years ago
Alternatives and similar repositories for DianaScript-JIT:
Users that are interested in DianaScript-JIT are comparing it to the libraries listed below
- a VSCode plugin to provide basic language support for DianaScriptβ10Updated 3 years ago
- Diana... π₯³π₯³π₯³Diana, sukiπ€€π€€π€€β11Updated 3 years ago
- 第δΈζ¬‘ιζ!β16Updated 4 years ago
- Implementing a programming language within 20 minutes, also a tutorial for syntax driven parsing with frontend-for-free.β16Updated 3 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 type-driven and high-performance ORM framework in Rustβ25Updated 3 years ago
- π A React UI libraryβ13Updated 3 years ago
- Yet another python JIT.β20Updated last year
- An IR for Python VM, provided with indirect jump instructions.β19Updated 5 years ago
- All-in-one mirror utility for SJTUG mirrorβ51Updated 8 months ago
- Original posting, a.k.a. OP, is an ALL-IN-ONE markup language for cyber wizards to create documentations and blog pages.β12Updated 2 years ago
- How many interface{} are there in your project?β16Updated 3 years ago
- β14Updated 4 months ago
- type-system, revised unification algorithm and runtime time representationsβ14Updated 5 years ago
- ~ Fabricated replica.β10Updated 2 years ago
- π§ζ½ε·₯δΈπ§ η¨ Arend εθ―ζηδΊ€δΊεΌζη¨β14Updated 2 years ago
- My type-ups for copilot to learn from.β11Updated 2 years ago
- Successor project: https://github.com/thautwarm/Quick-Backendβ24Updated 5 years ago
- A collection of PLT researchingβ29Updated 3 weeks ago
- A well-documented minimal dependently-typed language for my friend Lyzhβ27Updated last month
- FFT(WIP)&DFT implementations in NVIDIA CUDA and Apple Metalβ24Updated 3 years ago
- ~ Fragile apparatus of naive wonderland.β10Updated 3 years ago
- a simple programming language under developmentβ11Updated last year
- Pyjiting is a experimental Python-JIT compiler, which is the product of my undergraduate thesis. The goal is to implement a light-weight β¦β12Updated 3 years ago
- VSCode extension for the Arend languageβ11Updated 2 years ago
- A Register Based VM. ζ ζͺ¬ζεηηθ΅·ζ₯εζ ζΊηε―εε¨ζΊβ65Updated 4 years ago
- Constructive Interpretations of HoTTβ36Updated 4 years ago
- Python module for composing computationsβ26Updated this week
- Talking about classical logic and abstract algebra in Haskellβ15Updated 4 years ago