Alternatives and similar repositories for coq-of-ts

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

• formal-land / coq-of-js

  View on GitHub
  🌍 🐓 Formal verification for JavaScript
  ☆19Jul 10, 2023Updated 2 years ago
• andir / infra

  View on GitHub
  ☆18Mar 13, 2023Updated 2 years ago
• formal-land / coq-of-python

  View on GitHub
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆41Sep 10, 2024Updated last year
• rocq-community / coq-plugin-template

  View on GitHub
  Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]
  ☆22Jul 13, 2023Updated 2 years ago
• ifsheldon / async-openai-wasm

  View on GitHub
  Async Rust library for OpenAI and others on WASM
  ☆21Dec 2, 2025Updated 2 months ago
• kyegomez / Exa

  View on GitHub
  Unleash the full potential of exascale LLMs on consumer-class GPUs, proven by extensive benchmarks, with no long-term adjustments and min…
  ☆26Nov 11, 2024Updated last year
• rescript-lang / experimental-rescript-webapi

  View on GitHub
  Experimental successor to rescript-webapi
  ☆32Feb 9, 2026Updated last week
• dboulytchev / miniKanren-coq

  View on GitHub
  A certified semantics for relational programming workout.
  ☆26Oct 15, 2020Updated 5 years ago
• NishantCoder108 / faucet

  View on GitHub
  Solana Airdrop Faucet: A simple web application that allows users to receive free SOL tokens on the Solana Devnet. Built with Next.js, th…
  ☆11Sep 22, 2024Updated last year
• plclub / metalib

  View on GitHub
  The Penn Locally Nameless Metatheory Library
  ☆75Mar 26, 2025Updated 10 months ago
• gchq / nix-bootstrap

  View on GitHub
  Easily generate reproducible infrastructure
  ☆40Dec 3, 2025Updated 2 months ago
• RedPRL / algaett

  View on GitHub
  🦠 An experimental elaborator for dependent type theory using effects and handlers
  ☆37Nov 21, 2025Updated 2 months ago
• dbenoit17 / dynamic-ffi

  View on GitHub
  Auto define Racket bindings to C by parsing header files.
  ☆30Aug 10, 2022Updated 3 years ago
• JockLawrie / MultinomialRegression.jl

  View on GitHub
  ☆11Oct 25, 2024Updated last year
• proyecto-chaucha / chaucha-gha-wallet-generator

  View on GitHub
  Chaucha functions for usage with Github Actions
  ☆11Sep 18, 2020Updated 5 years ago
• EasyCrypt / certicrypt

  View on GitHub
  CertiCrypt Coq Framework
  ☆37Apr 6, 2016Updated 9 years ago
• obsidiansystems / sandstone

  View on GitHub
  Fine-grained Haskell builds with Nix's dynamic derivations
  ☆40May 22, 2025Updated 8 months ago
• arthuraa / poleiro

  View on GitHub
  A blog about Coq
  ☆46Apr 12, 2022Updated 3 years ago
• s6nqou / pump-anchor

  View on GitHub
  Pump.fun Anchor SDK: IDL & CPI only Solana program (smart contract)
  ☆15Dec 13, 2024Updated last year
• ezrasandzerbell / FLUTTER-carousel-demo

  View on GitHub
  Demonstrates background image carousel for Medium article.
  ☆10Oct 1, 2018Updated 7 years ago
• SVF-tools / SVF-Python

  View on GitHub
  Using SVF in Python Projects
  ☆15Feb 6, 2026Updated last week
• M0nica / ambition-fund-website

  View on GitHub
  Website for www.ambitionfund.org, micro-grant program to provide support for underrepresented people who need financial assistance pursui…
  ☆13Jan 6, 2023Updated 3 years ago
• dspivak / dependent-types

  View on GitHub
  ☆12Mar 13, 2025Updated 11 months ago
• CohenCyril / LFTCM2024_Rocq

  View on GitHub
  Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024
  ☆13Mar 28, 2024Updated last year
• eduardo3g / terraform-serverless

  View on GitHub
  Create immutable infrastructure with IaC technologies at AWS with Terraform and Serverless Framework ☁️ The main services used are Dynamo…
  ☆10Jan 3, 2021Updated 5 years ago
• FormalizedFormalLogic / Arithmetization

  View on GitHub
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆13Mar 8, 2025Updated 11 months ago
• kentookura / forest-server

  View on GitHub
  A server for the forester tool
  ☆17Dec 10, 2024Updated last year
• Csszabi98 / es-pack

  View on GitHub
  An easy to configure, modular build tool running on esbuild with a powerful plugin api.
  ☆12Dec 6, 2021Updated 4 years ago
• Flawm / solana-nft-cloner

  View on GitHub
  ☆10Dec 24, 2021Updated 4 years ago
• paolobrasolin / string-diagrams

  View on GitHub
  Create string diagrams with LaTeX!
  ☆14Jan 3, 2025Updated last year
• rajeshkumarramaswamy / aws-workspaces

  View on GitHub
  Self service portal for aws workspace
  ☆10Dec 10, 2023Updated 2 years ago
• Zekt / Type-Embellishment

  View on GitHub
  Experimenting on ornamentation in Agda via reflection.
  ☆12Jul 1, 2023Updated 2 years ago
• calcu16 / lean_complexity

  View on GitHub
  Complexity analysis in Lean
  ☆10Feb 5, 2024Updated 2 years ago
• Daftstone / ChatGPT-Batch-Query

  View on GitHub
  This project is used to automatically grab the query results of ChatGPT in batches without manual input. And it supports automatic switch…
  ☆14Feb 28, 2023Updated 2 years ago
• combinators / cls-scala

  View on GitHub
  (CL)S - Combinatory Logic Synthesizer
  ☆12Oct 1, 2021Updated 4 years ago
• g-otn / GameServerEC2Discord

  View on GitHub
  Run very cheap game servers (Minecraft, LinuxGSM, etc) in AWS EC2 Spot instances controlled by Discord slash commands. Manage using Terra…
  ☆13Aug 6, 2025Updated 6 months ago
• no3sis-lattice / synapse

  View on GitHub
  Experimental framework taking inspiration from biological systems, combining compression-based architectures, group theory, and symmetry …
  ☆14Nov 13, 2025Updated 3 months ago
• junkiyoshi / DoodleDeProgramming

  View on GitHub
  プログラミング de 落書きで公開しているコードを共有します
  ☆24Updated this week
• 6cdh / tree-sitter-scheme

  View on GitHub
  Scheme parser for tree-sitter
  ☆46Dec 13, 2025Updated 2 months ago