steinerkelvin / c-to-wasm-compiler-projectLinks
Small C to WebAsssembly compiler developed for the Compilers course at UFES
☆16Updated 3 years ago
Alternatives and similar repositories for c-to-wasm-compiler-project
Users that are interested in c-to-wasm-compiler-project are comparing it to the libraries listed below
Sorting:
- An implementation of interaction nets as a forth-like language.☆33Updated last month
- Collection of Kind2 programs and proofs☆11Updated last year
- the blog "Machine Logic"☆18Updated this week
- Lightweight, higher-order parser in Rust.☆12Updated 2 years ago
- GPU-based interaction nets evaluator☆16Updated 13 years ago
- An esoteric RPN golfing language☆23Updated 2 years ago
- my studies through functional implementations of common data-structures☆9Updated 3 years ago
- Programming Languages Grammar House (BNF like grammars)☆28Updated 9 months ago
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆11Updated 6 months ago
- ☆48Updated 5 months ago
- Language server for the Bend programming language☆15Updated 7 months ago
- A WebAssembly implementation in Lean4☆34Updated last year
- My branch of the Cyclone programming language☆19Updated 13 years ago
- A next-gen, massively parallel, beta-optimal functional runtime.☆10Updated 3 years ago
- A very small implementation of the Calculus of Constructions for experimentation purposes☆15Updated 6 years ago
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- 🍞 | IDE focused programming language study☆34Updated last year
- Small lisp interpreter in Python☆10Updated 3 years ago
- An implementation of the Formality language in C☆13Updated 5 years ago
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆37Updated last week
- A compiler and run-time system to compile and run Curry programs as Go programs☆33Updated last week
- Bologna Optimal Higher-Order Machine, Version 1.1☆72Updated 8 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated last year
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆57Updated last week
- Category Theory & Cobordism Categories in Lean 4☆16Updated 11 months ago
- lambda calculus interpreter☆42Updated 4 years ago
- A Rust implementation of the Lean kernel☆10Updated 2 years ago
- ☆11Updated 3 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago