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
  ☆294Updated 3 weeks ago
• agda / cornelis
  agda-mode for neovim
  ☆159Updated last month
• janestreet / vcaml
  OCaml bindings for the Neovim API
  ☆163Updated last month
• uclaacm / TeachLAFrontend
  🌱 The frontend for Teach LA's online IDE, designed to teach kids how to code!
  ☆23Updated 7 months ago
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆174Updated 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
• tomtomjhj / vscoq.nvim
  A Neovim client for VsCoq 2 vscoqtop.
  ☆10Updated 4 months ago
• huynhtrankhanh / CoqCP
  We combat sloppy arguments in competitive programming and raise the standard of rigor
  ☆24Updated 2 weeks ago
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆27Updated 7 months ago
• H-Huang / LL1-Academy
  LL1 by Team , made with
  ☆11Updated 2 years ago
• janestreet / opam-repository
  Opam repository for the development version of Jane Street packages
  ☆128Updated 2 weeks ago
• smlhelp / book
  deployment for smlhelp page
  ☆40Updated last week
• kylechui / latex
  Notes and Stuff
  ☆15Updated 2 years ago
• ocaml / ocaml.org
  The official OCaml website.
  ☆176Updated this week
• ashinkarov / nvim-agda
  Agda interaction pluging for neovim
  ☆37Updated 8 months ago
• azdavis / millet
  A language server for Standard ML in Rust.
  ☆225Updated last week
• Treeniks / isabelle-lsp.nvim
  ☆13Updated 8 months ago
• hackwaly / ocamlearlybird
  OCaml debug adapter
  ☆211Updated 4 months ago
• plclub / cis6700-23sp
  CIS 6700, Spring 2023
  ☆18Updated 2 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆252Updated 2 months ago
• janestreet / install-ocaml
  Instructions for setting up an OCaml development environment
  ☆97Updated 5 years ago
• toku-sa-n / coqfmt
  Coq code formatter
  ☆23Updated this week
• oxcaml / oxcaml
  OCaml - Oxidized!
  ☆363Updated this week
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆361Updated this week
• tree-sitter / tree-sitter-haskell
  Haskell grammar for tree-sitter.
  ☆171Updated 3 weeks ago
• ocaml / Zarith
  The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…
  ☆243Updated 5 months ago
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆26Updated last year
• cs3110 / textbook-solutions
  Solutions to OCaml Programming
  ☆84Updated last month
• ocaml-ppx / ocamlformat
  Auto-formatter for OCaml code
  ☆673Updated last week