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
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆283Updated 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 3 years ago
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Coq
  ☆160Updated this week
• uclaacm / TeachLAFrontend
  🌱 The frontend for Teach LA's online IDE, designed to teach kids how to code!
  ☆23Updated 3 months ago
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆26Updated 4 months ago
• toku-sa-n / coqfmt
  Coq code formatter
  ☆22Updated this week
• agda / cornelis
  agda-mode for neovim
  ☆146Updated last week
• huynhtrankhanh / CoqCP
  We combat sloppy arguments in competitive programming and raise the standard of rigor
  ☆22Updated this week
• janestreet / vcaml
  OCaml bindings for the Neovim API
  ☆153Updated 3 months ago
• kylechui / latex
  Notes and Stuff
  ☆15Updated 2 years ago
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆325Updated this week
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆173Updated this week
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆162Updated 2 years ago
• H-Huang / LL1-Academy
  LL1 by Team , made with
  ☆11Updated 2 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆106Updated 8 months ago
• UCSD-Historical-Enrollment-Data / webreg_scraper
  A scraper and API for WebReg, UCSD's course enrollment system.
  ☆11Updated 3 months ago
• ashinkarov / nvim-agda
  Agda interaction pluging for neovim
  ☆37Updated 4 months ago
• coq / vscoq
  Visual Studio Code extension for Coq
  ☆365Updated this week
• ccz181078 / Coq-BB5
  ☆187Updated 3 weeks ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester.
  ☆79Updated last week
• azdavis / millet
  A language server for Standard ML.
  ☆223Updated 2 weeks ago
• chezbgone / chez-sty
  ☆14Updated 2 years ago
• LeifAndersen / PLGradSchools
  ☆227Updated 7 months ago
• jwshii / etna
  ☆10Updated 2 months ago
• lishid / MarmoUI
  Marmoset Improved! Better UI and functionality
  ☆40Updated last year
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆249Updated last week
• johnyob / University-Notes
  A complete collection of my undergraduate notes
  ☆33Updated 2 years ago
• sorawee / fmt
  A code formatter for Racket
  ☆78Updated last month