donald-pinckney/WasmContinuations external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

donald-pinckney/WasmContinuations

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/donald-pinckney/WasmContinuations)

Close

donald-pinckney / WasmContinuationsView on GitHubMore

• External links
• Readme badge

☆21Nov 25, 2020Updated 5 years ago

Alternatives and similar repositories for WasmContinuations

Users that are interested in WasmContinuations are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• FormalizedFormalLogic / Arithmetization

  View on GitHub
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆14Mar 8, 2025Updated last year
• narumincho / definy

  View on GitHub
  deiny is web app for web app. under development
  ☆16Updated this week
• Drumato / elf-utilities

  View on GitHub
  Libraries for handling ELF.
  ☆15Apr 18, 2023Updated 3 years ago
• NUS-Math-Formalization / coxeter

  View on GitHub
  ☆13Jul 8, 2024Updated 2 years ago
• latte-central / latte-kernel

  View on GitHub
  The (very) small kernel of the LaTTe proof assistant
  ☆12May 29, 2026Updated 2 months ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• rikhuijzer / PrecompileSignatures.jl

  View on GitHub
  Generate precompile directives by reading method signatures
  ☆41Aug 27, 2022Updated 3 years ago
• FWuermse / lean-postgres

  View on GitHub
  ☆15Jul 6, 2026Updated 3 weeks ago
• MixedMatched / formalizing-game-theory

  View on GitHub
  Example formalization of Game Theoretic concepts in Lean
  ☆31Feb 14, 2025Updated last year
• joehendrix / lean-crypto

  View on GitHub
  Cryptographic routines for the Lean 4 language
  ☆53Sep 9, 2024Updated last year
• awodey / joyal

  View on GitHub
  ☆16Jun 22, 2024Updated 2 years ago
• uchida / docker-freebsd

  View on GitHub
  FreeBSD Docker image from distribution archive
  ☆19Aug 14, 2017Updated 8 years ago
• maekawatoshiki / eb

  View on GitHub
  Eb is a embeddable scripting programming language written in Rust
  ☆18Jun 19, 2021Updated 5 years ago
• YnirPaz / PCF-Theory

  View on GitHub
  A formalization of PCF theory in lean
  ☆12Apr 5, 2025Updated last year
• bergmannjg / leanCurl

  View on GitHub
  Lean 4 bindings to libcurl
  ☆14Feb 3, 2026Updated 5 months ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• katydid / regex-deriv-lean

  View on GitHub
  Proofs written in Lean4 for the core katydid validation algorithm
  ☆18Sep 17, 2025Updated 10 months ago
• sven-manthe / A-formalization-of-Borel-determinacy-in-Lean

  View on GitHub
  ☆14Feb 26, 2026Updated 5 months ago
• tau-prolog / draw-derivation-trees

  View on GitHub
  A tool for drawing derivation trees of Tau Prolog
  ☆11Feb 23, 2022Updated 4 years ago
• rururu / es-boat

  View on GitHub
  Expert system for coastal navigation prototype
  ☆11Oct 23, 2016Updated 9 years ago
• jakobhellermann / bevy-contrib-inspector

  View on GitHub
  bevy plugin for starting a webserver to visually edit bevy resources
  ☆22Jan 21, 2021Updated 5 years ago
• ta0kira / zeolite

  View on GitHub
  Zeolite is a statically-typed, general-purpose programming language.
  ☆20Apr 6, 2026Updated 3 months ago
• hargoniX / pfmt

  View on GitHub
  A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf
  ☆15Mar 27, 2025Updated last year
• WuProver / groebner_proj

  View on GitHub
  Formalization of Gröbner basis theory in Lean4 (WIP)
  ☆34Jul 5, 2026Updated 3 weeks ago
• nomeata / lean-wf-induct

  View on GitHub
  ☆18Feb 20, 2024Updated 2 years ago
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• m4lvin / lean4-pdl

  View on GitHub
  Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)
  ☆16Jul 14, 2026Updated 2 weeks ago
• reilabs / gnark-lean-demo

  View on GitHub
  Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.
  ☆16Mar 3, 2024Updated 2 years ago
• smucclaw / baby-l4

  View on GitHub
  A miniature version of the l4 language
  ☆13Jun 29, 2025Updated last year
• pkshashank / GFLeanTransfer

  View on GitHub
  ☆14Mar 27, 2024Updated 2 years ago
• opencompl / C-parsing-for-Lean4

  View on GitHub
  A parser for ANSI C, in Lean4.
  ☆26Nov 16, 2023Updated 2 years ago
• tydeu / lean4-partax

  View on GitHub
  Lean 4 library of tools for parsing and compiling syntax and parser definitions.
  ☆16Dec 10, 2023Updated 2 years ago
• T-Brick / DateTime

  View on GitHub
  DateTime package for Lean 4
  ☆17Feb 28, 2024Updated 2 years ago
• qnighy / umo

  View on GitHub
  A programming language (WIP)
  ☆29Jun 2, 2024Updated 2 years ago
• fgdorais / lean4-unicode-basic

  View on GitHub
  Basic Unicode support for Lean 4
  ☆16Updated this week
• GPU virtual machines on DigitalOcean Gradient AI • Ad
  Get to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
• Xu-Jingyi / AlgebraicMR

  View on GitHub
  We introduce algebraic machine reasoning to solve Raven's Progressive Matrices (RPMs).
  ☆15Jul 2, 2025Updated last year
• rururu / r4f-pro

  View on GitHub
  IDE for rete4frames based on Protege-3.5
  ☆17Sep 18, 2017Updated 8 years ago
• msyksphinz-self / dydra

  View on GitHub
  ☆29Jul 3, 2023Updated 3 years ago
• qt-creator / perfparser

  View on GitHub
  Parser for perf data files, creates output suitable for the QtCreator plugin
  ☆19Jul 9, 2026Updated 2 weeks ago
• HKUNLP / SymGen

  View on GitHub
  [EMNLP'23] Code for Generating Data for Symbolic Language with Large Language Models
  ☆18Oct 21, 2023Updated 2 years ago
• VCA-EPFL / leanses

  View on GitHub
  Lean lens implementation with custom notation.
  ☆17Jun 8, 2025Updated last year
• digama0 / ast_export

  View on GitHub
  AST export from Lean 4
  ☆17Jul 25, 2024Updated 2 years ago