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
  ☆301Updated last month
• agda / cornelis
  agda-mode for neovim
  ☆165Updated last month
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆27Updated 10 months ago
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆402Updated this week
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆187Updated this week
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆408Updated last week
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆396Updated 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
• oxcaml / oxcaml
  OCaml - Oxidized!
  ☆501Updated this week
• janestreet / vcaml
  OCaml bindings for the Neovim API
  ☆163Updated 4 months ago
• toku-sa-n / coqfmt
  Coq code formatter
  ☆24Updated 3 weeks ago
• H-Huang / LL1-Academy
  LL1 by Team , made with
  ☆11Updated 3 years ago
• huynhtrankhanh / CoqCP
  We combat sloppy arguments in competitive programming and raise the standard of rigor
  ☆28Updated last month
• plclub / cis6700-23sp
  CIS 6700, Spring 2023
  ☆18Updated 2 years ago
• azdavis / millet
  A language server for Standard ML in Rust.
  ☆229Updated this week
• ccz181078 / Coq-BB5
  ☆337Updated this week
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆268Updated last week
• nomeata / loogle
  Mathlib search tool
  ☆98Updated this week
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆88Updated 3 months ago
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆58Updated 2 years ago
• LeifAndersen / PLGradSchools
  ☆233Updated last year
• isti115 / agda.nvim
  NeoVim plugin for interacting with Agda written in Lua
  ☆19Updated last year
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆311Updated 3 months ago
• ashinkarov / nvim-agda
  Agda interaction pluging for neovim
  ☆40Updated 11 months ago
• johnyob / University-Notes
  A complete collection of my undergraduate notes
  ☆34Updated 3 years ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆267Updated last week
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆528Updated 3 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆120Updated last year
• djvelleman / STG4
  Set Theory Game
  ☆19Updated last month