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
  ☆295Updated last week
• uclaacm / TeachLAFrontend
  🌱 The frontend for Teach LA's online IDE, designed to teach kids how to code!
  ☆23Updated 8 months ago
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆367Updated last week
• agda / cornelis
  agda-mode for neovim
  ☆158Updated 2 months ago
• janestreet / vcaml
  OCaml bindings for the Neovim API
  ☆162Updated 2 months ago
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆175Updated this week
• ocaml / ocaml-lsp
  OCaml Language Server Protocol implementation
  ☆838Updated this week
• azdavis / millet
  A language server for Standard ML in Rust.
  ☆224Updated last month
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆27Updated 8 months ago
• tomtomjhj / vscoq.nvim
  A Neovim client for VsCoq 2 vscoqtop.
  ☆10Updated 5 months ago
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆393Updated last week
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆382Updated this week
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆114Updated last year
• Treeniks / isabelle-lsp.nvim
  ☆13Updated 9 months ago
• huynhtrankhanh / CoqCP
  We combat sloppy arguments in competitive programming and raise the standard of rigor
  ☆24Updated last month
• ccz181078 / Coq-BB5
  ☆314Updated 3 months ago
• hackwaly / ocamlearlybird
  OCaml debug adapter
  ☆211Updated 5 months ago
• leanprover-community / NNG4
  Natural Number Game
  ☆191Updated this week
• mirage / alcotest
  A lightweight and colourful test framework
  ☆482Updated 3 months ago
• tree-sitter / tree-sitter-haskell
  Haskell grammar for tree-sitter.
  ☆171Updated last month
• oxcaml / oxcaml
  OCaml - Oxidized!
  ☆403Updated this week
• matthewcn56 / how-many-bobas-could-matt-have-bought-with-the-money-he-spent-on-domains
  a look into matt wang's intriguing monetary ventures
  ☆10Updated 3 years ago
• LeifAndersen / PLGradSchools
  ☆233Updated 11 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆252Updated 3 months ago
• ocaml-ppx / ocamlformat
  Auto-formatter for OCaml code
  ☆676Updated last month
• rocq-prover / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆22Updated 2 weeks ago
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆969Updated this week
• ocaml / Zarith
  The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…
  ☆244Updated 6 months ago
• isti115 / agda.nvim
  NeoVim plugin for interacting with Agda written in Lua
  ☆18Updated last year