Alternatives and similar repositories for coq-of-ts

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

• algebraic-dev / http
  🌐 | HTTP primitives for Lean 4
  ☆51Updated last week
• LexiFi / menhir
  ☆24Updated last year
• argumentcomputer / Megaparsec.lean
  Lean 4 port of Megaparsec
  ☆30Updated last year
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆73Updated last year
• T-Brick / lean-wasm
  Formalising the WASM spec in Lean
  ☆27Updated last month
• ionathanch / scraps
  Various mechanized proof files for fun.
  ☆13Updated 4 months ago
• extism / lean4-sdk
  Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications
  ☆19Updated last year
• lexi-lambda / racket-mvar
  An implementation of Haskell’s MVars in Racket
  ☆30Updated last year
• gteege / gentle-isabelle
  A gentle introduction to Isabelle and Isabelle/HOL
  ☆16Updated 9 months ago
• RedPRL / algaett
  🦠 An experimental elaborator for dependent type theory using effects and handlers
  ☆37Updated last month
• corwin-of-amber / ocaml-wasm
  The core OCaml system: compilers, runtime system, base libraries; WebAssembly port based on wasi-kernel
  ☆44Updated last month
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆35Updated 2 years ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆56Updated 2 years ago
• leanprover / lean4export
  Plain-text declaration export for Lean 4
  ☆22Updated last week
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated last year
• effect-handlers / wasm-effect-handlers
  WebAssembly specification, reference interpreter, and test suite with effect handlers extension.
  ☆33Updated 3 years ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆18Updated 3 months ago
• jkoppel / ecta
  ☆37Updated last year
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆30Updated 3 years ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆55Updated 4 years ago
• purescript / purescript-ordered-collections
  Purely functional map and set data structures
  ☆36Updated 6 months ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆60Updated 5 years ago
• sjoerdvisscher / unfoldable
  Class of data structures that can be unfolded.
  ☆22Updated 2 years ago
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆10Updated 8 months ago
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated last year
• RedPRL / algaeff
  🦠 Reusable components based on algebraic effects
  ☆51Updated last month
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆39Updated 2 years ago
• T-Brick / lean2wasm
  Tool for compiling Lean to WASM
  ☆21Updated last year
• formal-land / coq-of-js
  🌍 🐓 Formal verification for JavaScript
  ☆19Updated 2 years ago