Small C to WebAsssembly compiler developed for the Compilers course at UFES
☆16Mar 15, 2022Updated 4 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆11Nov 14, 2024Updated last year
- A next-gen, massively parallel, beta-optimal functional runtime.☆10Jan 3, 2022Updated 4 years ago
- Message filter plugin to reverse lookup the source field☆10Jan 8, 2018Updated 8 years ago
- Handlebars templates for go☆14Jul 24, 2024Updated last year
- Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI☆15Jun 7, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Sons da CPI - Luide Matos☆19Jun 24, 2021Updated 4 years ago
- a script to help with running qemu☆12May 19, 2024Updated last year
- An implementation of common *nix utilities, especially those in POSIX.1-2017.☆13Jan 26, 2026Updated 2 months ago
- Collection of Kind2 programs and proofs☆12May 17, 2024Updated last year
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆16Mar 10, 2026Updated 2 weeks ago
- Mirror of simple-cc (http://www.simple-cc.org)☆13Feb 16, 2018Updated 8 years ago
- haha I'm graduating☆14Jul 22, 2021Updated 4 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆15Dec 30, 2023Updated 2 years ago
- Lenses in Coq☆17Oct 7, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A lightweight C library of portability wrappers and data structures☆16Feb 9, 2026Updated last month
- Bit - A simple yet powerful build tool☆17Mar 17, 2026Updated last week
- Home of the operational semantics team, used primarily for procedural items☆20Jan 4, 2025Updated last year
- Provides the necessary prerequisites to compile GNU Octave using 64-bit indices.☆11Apr 13, 2020Updated 5 years ago
- GPU-based interaction nets evaluator☆18Nov 30, 2011Updated 14 years ago
- ☆18Jul 23, 2019Updated 6 years ago
- HTTP specification in Coq, testable and verifiable☆18Feb 22, 2026Updated last month
- A model-based testing framework for Quint + Rust☆40Dec 23, 2025Updated 3 months ago
- A minimal pure functional language based on self dependent types.☆73May 11, 2022Updated 3 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Peter Selinger's LaTeX macros for Fitch style natural deduction☆19Dec 17, 2023Updated 2 years ago
- A succinct ZKP protocol for authentication☆52Dec 6, 2024Updated last year
- QuickFIX 101: Building a Sample Trading App☆19Oct 9, 2020Updated 5 years ago
- Formal semantics in Agda.☆16Jul 2, 2015Updated 10 years ago
- nginx image demo☆19Sep 11, 2023Updated 2 years ago
- Formalization of the Truly Stateless Concurrency Model Checker in Coq☆13Nov 16, 2021Updated 4 years ago
- A (in-development) Coq mechanization of WebAssembly specification.☆21Oct 1, 2021Updated 4 years ago
- A simple WebAssembly compiler☆14Aug 12, 2019Updated 6 years ago
- A simple telnet server☆19Nov 20, 2012Updated 13 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Formalization of Linear Logic in Coq☆18Apr 7, 2025Updated 11 months ago
- Experiments with Nix and Open Policy Agent☆29Nov 7, 2024Updated last year
- (G)r(e)e(n)Address.i(t) n(L)ockTim(e) recovery tool☆22Aug 11, 2017Updated 8 years ago
- Fast lojban dictionary https://foldr.moe/lidysisku/☆15Mar 11, 2026Updated 2 weeks ago
- Research Debt☆26May 22, 2018Updated 7 years ago
- ☆17Dec 3, 2023Updated 2 years ago
- Specifications and safety proofs in different tools of a simple concurrent algorithm☆24May 24, 2020Updated 5 years ago