☆13Oct 22, 2020Updated 5 years ago
Alternatives and similar repositories for web-assembly-self-certifying-compilation-framework
Users that are interested in web-assembly-self-certifying-compilation-framework are comparing it to the libraries listed below
Sorting:
- ☆10Feb 7, 2022Updated 4 years ago
- Models and datasets for annotated code search.☆35May 22, 2023Updated 2 years ago
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Aug 28, 2024Updated last year
- WebAssembly AOT compiler with cross-CPU checkpoint/restore support☆20Jun 21, 2025Updated 8 months ago
- a contextual search engine for software packages built on import2vec embeddings (https://www.code-compass.com)☆38Jan 14, 2026Updated last month
- Serverless computing platform with process-based lightweight function execution and container-based application isolation. Works in Knati…☆210Dec 19, 2025Updated 2 months ago
- SFI verifier of Wasm binaries☆84Mar 22, 2023Updated 2 years ago
- An AMD am2901 4-bit ALU slice☆10Feb 14, 2023Updated 3 years ago
- Atom linter for Verilog/SystemVerilog, using Icarus Verilog, Slang, Verible or Verilator.☆10Jul 12, 2023Updated 2 years ago
- A tool for checking the contract satisfaction for hardware designs☆12Nov 4, 2025Updated 3 months ago
- Verifying the SCION architecture using Gobra☆11Feb 9, 2026Updated 3 weeks ago
- Welcome to the Lind sandbox monorepo! See our docs below:☆17Updated this week
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Seattle Testbed's Repy ("Restricted Python") sandbox, version 2☆15Sep 17, 2025Updated 5 months ago
- [FCCM 2023] PASTA: Programming and Automation Support for Scalable Task-Parallel HLS Programs on Modern Multi-Die FPGAs☆13Jun 26, 2025Updated 8 months ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- CS6868: Concurrent Programming☆32Updated this week
- Sample Python code that demonstrates how to use the Python client to work with Riak TS (Time Series)☆11Aug 30, 2016Updated 9 years ago
- TypeScript Serialization module☆49Apr 8, 2025Updated 10 months ago
- Assignments for COMP SCI 839 from UW-Madison in Fall 2023☆12Nov 30, 2023Updated 2 years ago
- An experimental interactive shell for Alpaca, the ML language that runs on the Erlang VM☆10Jun 7, 2017Updated 8 years ago
- a simple script to simulate random "cosmic ray" memory errors against a linux process☆13May 14, 2024Updated last year
- BTT SB22xx undervoltage / reset issue☆11Mar 18, 2024Updated last year
- ☆12Dec 23, 2024Updated last year
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 8 years ago
- Experimental port of ADEV to Julia☆11Nov 12, 2023Updated 2 years ago
- ☆10Jun 4, 2021Updated 4 years ago
- A META parser generator using LL(1) grammars with s-expressions.☆16Oct 30, 2017Updated 8 years ago
- Crowdsourced event coverage system developed by Pittsburgh IndyMedia during the G20. Incorporates twitter, flickr, google maps, podcast…☆24Feb 15, 2010Updated 16 years ago
- An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.☆19Sep 5, 2014Updated 11 years ago
- John Shutt's "Kernel" language implemented on ABE (C) runtime.☆13Sep 3, 2018Updated 7 years ago
- Concolic Exection Engine for Golang☆10May 16, 2018Updated 7 years ago
- Debugging WebAssembly? Put some Whamm! on it.☆85Feb 12, 2026Updated 2 weeks ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 8 years ago
- ☆13Updated this week
- A portable single-layer timer wheel implementation.☆13Dec 8, 2025Updated 2 months ago
- A Forth interpreter in ARM assembly☆16May 11, 2009Updated 16 years ago
- Mechanized baselines for various type system features☆18Updated this week
- A simple tutorial about how to use the CIL compiler frontend☆12Feb 10, 2025Updated last year