Alternatives and similar repositories for nareh

Users that are interested in nareh are comparing it to the libraries listed below

• uclaacm / uclaacm-rustlings
  Learning Rust in 6 weeks with ACM @ UCLA!
  ☆10Updated 3 years ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆311Updated 3 weeks ago
• agda / cornelis
  agda-mode for neovim
  ☆172Updated 2 months ago
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆30Updated 3 months ago
• janestreet / vcaml
  OCaml bindings for the Neovim API
  ☆171Updated last month
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆456Updated last week
• ejgallego / rocq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆195Updated last month
• tomtomjhj / vsrocq.nvim
  A Neovim client for VsCoq 2 vscoqtop.
  ☆11Updated last month
• ocaml-ppx / ocamlformat
  Auto-formatter for OCaml code
  ☆700Updated 3 weeks ago
• ocaml / ocaml-lsp
  OCaml Language Server Protocol implementation
  ☆876Updated this week
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆411Updated last week
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆427Updated 3 weeks ago
• ocaml / ocaml.org
  The official OCaml website.
  ☆180Updated this week
• oxcaml / oxcaml
  OCaml - Oxidized!
  ☆598Updated this week
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆132Updated last year
• azdavis / millet
  A language server for Standard ML in Rust.
  ☆235Updated 3 weeks ago
• hackwaly / ocamlearlybird
  OCaml debug adapter
  ☆226Updated last month
• isti115 / agda.nvim
  NeoVim plugin for interacting with Agda written in Lua
  ☆19Updated last year
• leanprover-community / NNG4
  Natural Number Game
  ☆271Updated last week
• johnyob / University-Notes
  A complete collection of my undergraduate notes
  ☆34Updated 3 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆261Updated 9 months ago
• mirage / alcotest
  A lightweight and colourful test framework
  ☆501Updated 2 weeks ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆320Updated 7 months ago
• tree-sitter / tree-sitter-haskell
  Haskell grammar for tree-sitter.
  ☆176Updated 4 months ago
• ashinkarov / nvim-agda
  Agda interaction pluging for neovim
  ☆40Updated last year
• janestreet / bonsai
  A library for building dynamic webapps, using Js_of_ocaml
  ☆630Updated last month
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆37Updated last year
• rocq-prover / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆23Updated 5 months ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆280Updated 3 months ago
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆398Updated last year