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
• algebraic-dev / http
  🌐 | HTTP primitives for Lean 4
  ☆46Updated 11 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
• extism / lean4-sdk
  Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications
  ☆19Updated 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…
  ☆135Updated last week
• ionathanch / scraps
  Various mechanized proof files for fun.
  ☆13Updated last month
• argumentcomputer / Megaparsec.lean
  Lean 4 port of Megaparsec
  ☆29Updated last year
• corwin-of-amber / ocaml-wasm
  The core OCaml system: compilers, runtime system, base libraries; WebAssembly port based on wasi-kernel
  ☆43Updated 2 years ago
• plt-amy / dep
  A very small implementation of the Calculus of Constructions for experimentation purposes
  ☆15Updated 7 years ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆73Updated last year
• o1-labs / ocamlbyexample
  Learn Ocaml by reading code examples
  ☆72Updated 2 years ago
• gteege / gentle-isabelle
  A gentle introduction to Isabelle and Isabelle/HOL
  ☆13Updated 5 months ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆54Updated 2 years ago
• jkoppel / ecta
  ☆36Updated last year
• RedPRL / algaeff
  🦠 Reusable components based on algebraic effects
  ☆51Updated last month
• ocaml-multicore / picos
  Interoperable effects based concurrency
  ☆134Updated 3 months ago
• effect-handlers / wasm-effect-handlers
  WebAssembly specification, reference interpreter, and test suite with effect handlers extension.
  ☆33Updated 3 years ago
• nythrox / effects.js
  Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…
  ☆106Updated 2 years ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆89Updated 2 months ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆69Updated last week
• leanprover / lake
  **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
  ☆99Updated last year
• remixlabs / wasicaml
  Translate OCaml bytecode to WebAssembly
  ☆133Updated 8 months ago
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆11Updated 5 months ago
• leanprover / lean4export
  Plain-text declaration export for Lean 4
  ☆20Updated 3 months ago
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆35Updated last year
• janestreet / accessor
  A library that makes it nicer to work with nested functional data structures
  ☆60Updated last month
• RedPRL / algaett
  🦠 An experimental elaborator for dependent type theory using effects and handlers
  ☆37Updated last month
• semgrep / ocaml-tree-sitter-core
  OCaml code generator and runtime library for handling typed tree-sitter CSTs
  ☆38Updated 2 months ago
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆35Updated 2 years ago