moonbitlang / MoonLLVMLinks
A Tiny, Friendly Companion to LLVM
☆41Updated last week
Alternatives and similar repositories for MoonLLVM
Users that are interested in MoonLLVM are comparing it to the libraries listed below
Sorting:
- An experimental optimizing compiler for Bril using egglog☆82Updated this week
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆75Updated 3 years ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Updated last year
- A well-documented minimal dependently-typed language for my friend Lyzh☆27Updated 9 months ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆152Updated 5 months ago
- Wasm SpecTec specification tools☆81Updated last week
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆66Updated 4 months ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆212Updated this week
- experimental packages for moonbitlang/core☆49Updated this week
- Neon lights in the night tonight and stars that shine in the open sky☆45Updated last year
- Pure functional programming with whole-program mutability inference☆78Updated 4 months ago
- Automatic testing of MoonBit programs☆26Updated last week
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆17Updated 8 months ago
- Prune is a constraint logic programming language with branching heuristic.☆32Updated last week
- ☆20Updated last year
- A language with dependent data and codata types☆126Updated this week
- A menagerie of cute implementations of modern typechecking algorithms☆343Updated this week
- A minimal development of SSA theory☆197Updated this week
- Refinement type checking and inference tool for Rust☆15Updated last week
- Seamless bug-finding for Wasm, C, C++, Rust and Zig☆266Updated this week
- ☆36Updated 2 months ago
- ☆31Updated 9 months ago
- Debugging WebAssembly? Put some Whamm! on it.☆49Updated 3 weeks ago
- Learn Lean 4 with PLFA proofs.☆95Updated 7 months ago
- A Rust-like language with immix GC and other cool stuffs☆78Updated 6 months ago
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆65Updated 4 months ago
- the WebAssembly partial evaluator☆108Updated 3 months ago
- Write llvm in moonbit!☆22Updated last week
- world's worst interpreter☆65Updated 7 months ago