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
  ☆312Updated last month
• tomtomjhj / vsrocq.nvim
  A Neovim client for VsCoq 2 vscoqtop.
  ☆11Updated 2 months ago
• agda / cornelis
  agda-mode for neovim
  ☆175Updated this week
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆463Updated last 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
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆418Updated this week
• ocaml / ocaml-lsp
  OCaml Language Server Protocol implementation
  ☆877Updated this week
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆30Updated 4 months ago
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆428Updated last month
• azdavis / millet
  A language server for Standard ML in Rust.
  ☆235Updated last month
• janestreet / vcaml
  OCaml bindings for the Neovim API
  ☆171Updated last week
• oxcaml / oxcaml
  OCaml - Oxidized!
  ☆631Updated this week
• uclaacm / TeachLAFrontend
  🌱 The frontend for Teach LA's online IDE, designed to teach kids how to code!
  ☆25Updated last year
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆1,064Updated this week
• ejgallego / rocq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆194Updated last month
• Treeniks / isabelle-lsp.nvim
  ☆15Updated last month
• chezbgone / chez-sty
  ☆14Updated 3 years ago
• johnyob / University-Notes
  A complete collection of my undergraduate notes
  ☆34Updated 3 years ago
• ccz181078 / Coq-BB5
  ☆355Updated 4 months ago
• ashinkarov / nvim-agda
  Agda interaction pluging for neovim
  ☆40Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆262Updated 9 months ago
• mrcjkb / haskell-tools.nvim
  🦥 Supercharge your Haskell experience in neovim!
  ☆565Updated last week
• H-Huang / LL1-Academy
  LL1 by Team , made with
  ☆11Updated 3 years ago
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆367Updated this week
• ocaml-ppx / ocamlformat
  Auto-formatter for OCaml code
  ☆700Updated last month
• janestreet / bonsai
  A library for building dynamic webapps, using Js_of_ocaml
  ☆632Updated last week
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆307Updated this week
• codereport / hoogle-translate
  ☆123Updated 2 weeks ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆303Updated last year