woxjro / lltz
LLTZ: Compiler from MLIR to Michelson
☆14Updated 2 months ago
Alternatives and similar repositories for lltz:
Users that are interested in lltz are comparing it to the libraries listed below
- WebAssembly AOT compiler with cross-CPU checkpoint/restore support☆13Updated last week
- A RDBMS with Immutable Schema feature☆34Updated 3 years ago
- Toy QUIC implementation in Zig☆13Updated 6 months ago
- optimizing compiler for a subset of C language☆34Updated 5 years ago
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆38Updated 9 months ago
- tools for the book "Concepts of Programming Languages"☆19Updated 3 years ago
- ⚗️ P2P chat using WebRTC P2P DataChannel in Go WebAssembly ⚗️☆15Updated 10 months ago
- A benchmark for standalone WebAssembly☆31Updated 7 months ago
- ☆45Updated 2 years ago
- A min-caml port to Rust☆25Updated last month
- A Rust compiler backend focused on compilation speed.☆16Updated 2 years ago
- RISC-V Simulator written in Rust☆20Updated 5 years ago
- c compiler☆16Updated 4 years ago
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆15Updated last year
- ☆17Updated 3 years ago
- egraphs-good website☆15Updated 5 months ago
- The uncurried minimal functional programming language for CPS transformation☆18Updated last year
- ☆30Updated last year
- ☆15Updated 2 years ago
- A lightweight Type-1 hypervisor for RISC-V H-extension, featuring RISC-V extension emulation.☆51Updated 3 weeks ago
- functional programming language and its compiler☆18Updated 5 years ago
- A proof-of-concept microkernel that runs WebAssembly natively.☆63Updated last year
- Small ONNX inference runtime written in Rust☆96Updated last month
- A Formal Verification of Algorithm W☆17Updated 4 years ago
- An in memory wasm assembler for Rust☆11Updated 3 years ago
- ros3fs is a Linux FUSE adapter for AWS S3 and S3 compatible object storages.☆14Updated last year
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆12Updated last month
- experimental LD_PRELOAD library for tracking memory leaks☆36Updated last year
- ☆14Updated last year
- Onion - statically typed object-oriented programming language☆26Updated 2 months ago