A (in-development) Coq mechanization of WebAssembly specification.
☆21Oct 1, 2021Updated 4 years ago
Alternatives and similar repositories for WasmCert
Users that are interested in WasmCert are comparing it to the libraries listed below
Sorting:
- A next-gen, massively parallel, beta-optimal functional runtime.☆10Jan 3, 2022Updated 4 years ago
- haha I'm graduating☆14Jul 22, 2021Updated 4 years ago
- A priliminary backend for Idris that compiles to Clean.☆15Apr 3, 2017Updated 8 years ago
- a search engine for humans☆19Nov 6, 2022Updated 3 years ago
- An error-tolerant live programming environment (my Master's thesis)☆21Jul 25, 2022Updated 3 years ago
- Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.☆18Jul 9, 2018Updated 7 years ago
- Bind The Gap: FP digital magazine☆21Jan 11, 2021Updated 5 years ago
- Dependently typed programming language written in Haskell☆22Feb 14, 2022Updated 4 years ago
- A simple, purely-functional programming language☆25Jun 11, 2022Updated 3 years ago
- Rust interface and bindings for notmuch☆27Apr 14, 2025Updated 10 months ago
- A small NuPRL style proof assistant☆31Jan 31, 2019Updated 7 years ago
- Formalization of C++ for verification purposes.☆90Feb 23, 2026Updated last week
- Installation and configuration of WireGuard on Ubuntu servers for building a mesh network.☆12Mar 21, 2024Updated last year
- ☆37Oct 29, 2021Updated 4 years ago
- A monad for managed values☆51Nov 18, 2025Updated 3 months ago
- Safe conversions between Haskell textual types☆39May 2, 2022Updated 3 years ago
- ☆46Jan 5, 2025Updated last year
- Gnome extension to quickly set pipewire's samplerate and buffer size☆16Dec 28, 2025Updated 2 months ago
- Standard ML (SML) grammar for tree-sitter☆14May 22, 2025Updated 9 months ago
- Python interface to online UC Davis student services☆11Sep 20, 2016Updated 9 years ago
- Open-source combined Linear Algebra and Ordinary Differential Equations textbook☆10Jan 5, 2024Updated 2 years ago
- A core language and API for dependently typed languages☆97Feb 19, 2025Updated last year
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Jan 10, 2023Updated 3 years ago
- embedding MLIR in LEAN☆48Jun 17, 2024Updated last year
- ☆10Jan 29, 2025Updated last year
- prevent XSS attacks by sanitizing html (this is different then escaping!)☆22Oct 14, 2023Updated 2 years ago
- Nmap results are a semigroup☆13Jul 8, 2021Updated 4 years ago
- Haskell regular expression library that supports derivatives, equivalence, intersection, and complement.☆12Sep 4, 2022Updated 3 years ago
- ScummVM fork for AmigaOS 3☆10Dec 27, 2016Updated 9 years ago
- Haskell charting library☆10Aug 21, 2021Updated 4 years ago
- this is a bunch of old max/msp genexpr code for various filters, effects. oscillators and such all written around 2018☆17Sep 11, 2021Updated 4 years ago
- A rhythm game to play with friends and frenemies☆12Nov 24, 2022Updated 3 years ago
- Nix Packages for Erlang, Elixir☆10Jul 9, 2021Updated 4 years ago
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 years ago
- R code to "average" GPS traces from OpenStreetMap to derive usable GPX tracks for roadways☆21Dec 4, 2018Updated 7 years ago
- ☆12Jun 14, 2021Updated 4 years ago
- Ordinals Ord20 Meta Protocol Indexer☆12May 7, 2025Updated 9 months ago
- Simple network runner library in Haskell☆11Nov 19, 2025Updated 3 months ago
- ☆13Apr 12, 2019Updated 6 years ago