Alternatives and similar repositories for coq-of-ts

Users that are interested in coq-of-ts are comparing it to the libraries listed below

• LexiFi / menhir
  ☆22Updated last year
• extism / lean4-sdk
  Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications
  ☆19Updated 11 months ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆72Updated last year
• algebraic-dev / http
  🌐 | HTTP primitives for Lean 4
  ☆49Updated last year
• effect-handlers / wasm-effect-handlers
  WebAssembly specification, reference interpreter, and test suite with effect handlers extension.
  ☆33Updated 3 years ago
• corwin-of-amber / ocaml-wasm
  The core OCaml system: compilers, runtime system, base libraries; WebAssembly port based on wasi-kernel
  ☆43Updated 2 weeks ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆77Updated 4 years ago
• bergmannjg / leanCurl
  Lean 4 bindings to libcurl
  ☆11Updated 5 months ago
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆143Updated 6 years ago
• o1-labs / ocamlbyexample
  Learn Ocaml by reading code examples
  ☆72Updated 2 years ago
• nythrox / effects.js
  Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…
  ☆108Updated 3 years ago
• gteege / gentle-isabelle
  A gentle introduction to Isabelle and Isabelle/HOL
  ☆15Updated 7 months ago
• argumentcomputer / Megaparsec.lean
  Lean 4 port of Megaparsec
  ☆29Updated last year
• leanprover / lean4export
  Plain-text declaration export for Lean 4
  ☆22Updated 3 weeks ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆77Updated last year
• ionathanch / scraps
  Various mechanized proof files for fun.
  ☆13Updated 3 months ago
• remixlabs / wasicaml
  Translate OCaml bytecode to WebAssembly
  ☆133Updated 10 months ago
• facebook / ocamlrep
  Sets of libraries and tools to write applications and libraries mixing OCaml and Rust. These libraries will help keeping your types and d…
  ☆136Updated this week
• T-Brick / lean-wasm
  Formalising the WASM spec in Lean
  ☆27Updated last week
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆54Updated last week
• semgrep / ocaml-tree-sitter-core
  OCaml code generator and runtime library for handling typed tree-sitter CSTs
  ☆41Updated last month
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆91Updated this week
• RedPRL / algaeff
  🦠 Reusable components based on algebraic effects
  ☆51Updated this week
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆75Updated 3 years ago
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆86Updated last month
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆37Updated last year
• cara-lang / compiler
  Cara language compiler
  ☆50Updated 6 months ago
• plt-amy / dep
  A very small implementation of the Calculus of Constructions for experimentation purposes
  ☆15Updated 7 years ago
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆35Updated 2 years ago
• OCamlPro / wasocaml
  ☆64Updated last year