fuad1502 / oontaLinks
OCaml (subset) to LLVM IR compiler front-end πͺ
β25Updated 3 weeks ago
Alternatives and similar repositories for oonta
Users that are interested in oonta are comparing it to the libraries listed below
Sorting:
- An optimizing compiler for a large subset of the C programming languageβ26Updated 5 months ago
- world's worst interpreterβ67Updated 9 months ago
- β39Updated 5 years ago
- Source code with tasks from my "Write your own tiny programming system(s)!" course at Charles University. Follow the link below to watchβ¦β42Updated 4 months ago
- An embeddable Scheme R7 Compiler & Runtime written in Rustβ107Updated 8 months ago
- An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)β19Updated 2 years ago
- An example on how to write an incremental, concurrent, fault-tolerant compilerβ63Updated 7 months ago
- Miking - the meta viking: a meta-language system for creating embedded languagesβ54Updated last week
- LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/β42Updated this week
- Lisp compiler using Rustβ20Updated 2 years ago
- Mirror of https://codeberg.org/tjammer/schmuβ28Updated this week
- Pure functional programming with whole-program mutability inferenceβ79Updated last month
- A Rust to OCaml source to source translatorβ21Updated last year
- Playing around with languages concepts like type inference, pratt parsing, parser combinators and immutability.β19Updated last year
- A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.β97Updated last week
- Experiments with higher-kinded types and object algebras in C#β38Updated 3 weeks ago
- Performance comparisons between various virtual interpreter implementation strategiesβ46Updated last year
- Simple conservative GC using mimallocβ41Updated 3 years ago
- Datalog with equality for rustβ72Updated last month
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Mirandaβ85Updated this week
- β139Updated last week
- an interactive programming languageβ54Updated this week
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inferenceβ65Updated 2 months ago
- Rust implementation of Β΅Kanren, a featherweight relational programming language.β116Updated 3 years ago
- Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernelsβ124Updated last month
- High-level interface for low-level programmingβ123Updated 2 months ago
- A tiny lazy objective functional languageβ19Updated last year
- 32-bit integer only RISC-V core, along with assembler, linker, and compiler from scratchβ23Updated 4 months ago
- A compiler for Standard ML, somewhatβ204Updated 3 years ago
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)β58Updated 6 months ago