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 2 years ago
• tomtomjhj / vscoq.nvim
  A Neovim client for VsCoq 2 vscoqtop.
  ☆10Updated 2 months ago
• 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 / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆26Updated 5 months ago
• huynhtrankhanh / CoqCP
  We combat sloppy arguments in competitive programming and raise the standard of rigor
  ☆23Updated last week
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆288Updated 3 weeks ago
• kylechui / latex
  Notes and Stuff
  ☆15Updated 2 years ago
• toku-sa-n / coqfmt
  Coq code formatter
  ☆22Updated this week
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆166Updated this week
• janestreet / vcaml
  OCaml bindings for the Neovim API
  ☆156Updated 5 months ago
• agda / cornelis
  agda-mode for neovim
  ☆150Updated 3 weeks ago
• smlhelp / book
  deployment for smlhelp page
  ☆39Updated 3 weeks ago
• chezbgone / chez-sty
  ☆14Updated 2 years ago
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆346Updated this week
• tree-sitter / tree-sitter-haskell
  Haskell grammar for tree-sitter.
  ☆166Updated 3 weeks ago
• rocq-prover / vscoq
  Visual Studio Code extension for Coq
  ☆377Updated last week
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆254Updated 2 months ago
• azdavis / millet
  A language server for Standard ML in Rust.
  ☆223Updated last month
• uclaacm / learning-lab-crash-course-su20
  notes, code, and videos for a crash-course in front-end web dev - no experience req'd!
  ☆31Updated 2 years ago
• rocq-prover / opam
  Archive for all Rocq and Coq-related opam packages organized in various repositories
  ☆138Updated this week
• codyroux / name-the-biggest-number
  ☆63Updated 2 years ago
• isti115 / agda.nvim
  NeoVim plugin for interacting with Agda written in Lua
  ☆18Updated last year
• Treeniks / isabelle-lsp.nvim
  ☆12Updated 6 months ago
• quinn-dougherty / ladr
  linear algebra done right in coq
  ☆10Updated 4 years ago
• cs3110 / textbook-solutions
  Solutions to OCaml Programming
  ☆80Updated 8 months ago
• Beluga-lang / Beluga
  Contextual types meet mechanized metatheory!
  ☆188Updated 8 months ago
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆27Updated last year
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆219Updated this week
• leanprover / reference-manual
  The Lean reference manual
  ☆56Updated last week
• tsani / comp-302-review
  Review problems for COMP 302
  ☆18Updated last year