Alternatives and similar repositories for nareh

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

• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆303Updated 2 months ago
• uclaacm / uclaacm-rustlings
  Learning Rust in 6 weeks with ACM @ UCLA!
  ☆10Updated 3 years ago
• agda / cornelis
  agda-mode for neovim
  ☆168Updated this week
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆418Updated 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 4 years ago
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆27Updated last month
• ejgallego / rocq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆191Updated this week
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆410Updated last week
• uclaacm / TeachLAFrontend
  🌱 The frontend for Teach LA's online IDE, designed to teach kids how to code!
  ☆24Updated 11 months ago
• mrcjkb / haskell-tools.nvim
  🦥 Supercharge your Haskell experience in neovim!
  ☆552Updated this week
• Treeniks / isabelle-lsp.nvim
  ☆14Updated last year
• ashinkarov / nvim-agda
  Agda interaction pluging for neovim
  ☆40Updated last year
• azdavis / millet
  A language server for Standard ML in Rust.
  ☆229Updated last month
• isti115 / agda.nvim
  NeoVim plugin for interacting with Agda written in Lua
  ☆19Updated last year
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆530Updated 5 months ago
• tree-sitter / tree-sitter-haskell
  Haskell grammar for tree-sitter.
  ☆172Updated 2 months ago
• johnyob / University-Notes
  A complete collection of my undergraduate notes
  ☆34Updated 3 years ago
• janestreet / vcaml
  OCaml bindings for the Neovim API
  ☆166Updated 3 weeks ago
• H-Huang / LL1-Academy
  LL1 by Team , made with
  ☆11Updated 3 years ago
• ccz181078 / Coq-BB5
  ☆345Updated last month
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆403Updated this week
• MetaRocq / metarocq
  Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
  ☆480Updated this week
• mrcjkb / neotest-haskell
  Neotest adapter for Haskell (cabal or stack) with support for Sydtest, Hspec and Tasty
  ☆65Updated this week
• oxcaml / oxcaml
  OCaml - Oxidized!
  ☆547Updated this week
• ocaml / ocaml-lsp
  OCaml Language Server Protocol implementation
  ☆863Updated this week
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆356Updated this week
• LeifAndersen / PLGradSchools
  ☆234Updated last year
• Beluga-lang / Beluga
  Contextual types meet mechanized metatheory!
  ☆200Updated last month
• stedolan / counterexamples
  Counterexamples in Type Systems
  ☆402Updated 2 years ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆276Updated last month