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
• uclaacm / TeachLAFrontend
  🌱 The frontend for Teach LA's online IDE, designed to teach kids how to code!
  ☆23Updated 6 months ago
• huynhtrankhanh / CoqCP
  We combat sloppy arguments in competitive programming and raise the standard of rigor
  ☆23Updated 2 weeks ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆290Updated last month
• agda / cornelis
  agda-mode for neovim
  ☆155Updated last week
• 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 6 months ago
• toku-sa-n / coqfmt
  Coq code formatter
  ☆23Updated 3 weeks ago
• tree-sitter / tree-sitter-haskell
  Haskell grammar for tree-sitter.
  ☆167Updated last month
• H-Huang / LL1-Academy
  LL1 by Team , made with
  ☆11Updated 2 years ago
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆169Updated last week
• janestreet / vcaml
  OCaml bindings for the Neovim API
  ☆161Updated this week
• johnyob / University-Notes
  A complete collection of my undergraduate notes
  ☆34Updated 2 years ago
• cs3110 / textbook-solutions
  Solutions to OCaml Programming
  ☆81Updated 8 months ago
• isti115 / agda.nvim
  NeoVim plugin for interacting with Agda written in Lua
  ☆18Updated last year
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆164Updated 2 years ago
• ashinkarov / nvim-agda
  Agda interaction pluging for neovim
  ☆37Updated 7 months ago
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆350Updated this week
• chezbgone / chez-sty
  ☆14Updated 2 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆248Updated last month
• dwrensha / math-puzzles-in-lean
  math puzzles from various sources, formalized in Lean
  ☆9Updated last year
• azdavis / millet
  A language server for Standard ML in Rust.
  ☆223Updated last month
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆175Updated 2 weeks ago
• kylechui / latex
  Notes and Stuff
  ☆15Updated 2 years ago
• codyroux / name-the-biggest-number
  ☆64Updated 2 years ago
• 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
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆16Updated last month
• smlhelp / book
  deployment for smlhelp page
  ☆40Updated last month
• UCSD-Historical-Enrollment-Data / UCSDHistEnrollData
  Did someone say... scuffed UCSD historical enrollment data?
  ☆43Updated 2 months ago