Rocq (formerly Coq) grammar for Tree-sitter.
☆16Aug 14, 2026Updated 2 months ago
Alternatives and similar repositories for tree-sitter-rocq
Users that are interested in tree-sitter-rocq are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- OCaml as a Tactic Language for the Rocq Prover☆22Oct 27, 2026Updated last week
- Providers fast decoders for various image formats. (Currently only QOI)☆15Sep 8, 2026Updated 2 months ago
- ☆20Feb 10, 2026Updated 8 months ago
- ☆40Oct 29, 2026Updated last week
- OCaml major mode using tree-sitter☆10Aug 20, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Parser Library in Coq to help outsource implementation and proof to AI☆18Sep 10, 2026Updated last month
- Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys☆18Aug 26, 2026Updated 2 months ago
- Links to Notmuch buffers from Org documents☆17Oct 1, 2026Updated last month
- OCaml bindings for Clang☆20Jan 26, 2026Updated 9 months ago
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆12Apr 3, 2026Updated 7 months ago
- IO for Gallina☆34Oct 20, 2026Updated 2 weeks ago
- A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.☆174Updated this week
- Show inlay version and go-to-definition for PNPM/Yarn/Bun catalogs.☆15Jun 22, 2026Updated 4 months ago
- Coq library for serialization to S-expressions☆20Jul 3, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Most likely the most over engineered cursor theme, but packaged as a Hyprcursor theme.☆25Nov 22, 2025Updated 11 months ago
- ☆41Oct 1, 2026Updated last month
- A parsing library that compiles grammars to combinators using elimination of left recursion☆28Jul 26, 2026Updated 3 months ago
- Emacs support library for PDF files.☆16Sep 6, 2026Updated 2 months ago
- flake parts with autoloading☆14Updated this week
- A Coq library providing tactics to deal with hypothesis☆23Apr 13, 2026Updated 6 months ago
- Let's rethink how we interact with Agda☆18Nov 18, 2022Updated 3 years ago
- Coq plugin for extracting Rust code☆25Jun 29, 2026Updated 4 months ago
- Direct-style parser combinator library for OCaml 5☆59Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A Rocq version of the miniF2F dataset☆25Jul 23, 2026Updated 3 months ago
- Naive implementation of Profunctor Optics in Nix☆19Jan 23, 2026Updated 9 months ago
- Support for envFile expanding for nvim-dap configurations☆13Jan 10, 2026Updated 9 months ago
- Python client for coq-lsp☆55May 3, 2026Updated 6 months ago
- Structured Async/Concurrency in Neovim☆16Feb 23, 2024Updated 2 years ago
- bctf2017 challenges☆11Apr 20, 2017Updated 9 years ago
- A plugin that helps people learns japanese with using Neovim☆17Oct 18, 2026Updated 3 weeks ago
- ocaml-universal-installer (or oui) builds standalone Windows, Linux and MacOS installers for your OCaml applications.☆29Sep 1, 2026Updated 2 months ago
- BibTeX bibliographies for proof engineering-related papers☆30Jul 24, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical pro…☆53Updated this week
- LFSC Proof Checker☆11Sep 14, 2023Updated 3 years ago
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆11Feb 13, 2025Updated last year
- ☆10Dec 7, 2024Updated last year
- CMU 15-745 Spring 2014☆10Mar 7, 2014Updated 12 years ago
- Nix Algebraic Effects System with Handlers☆22Oct 11, 2026Updated 3 weeks ago
- A Deductive Verification Tool for OCaml Programs☆85Sep 10, 2026Updated last month
Are these results useful?