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!
  ☆22Updated 2 months ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆278Updated 3 weeks 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
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆310Updated this week
• kylechui / latex
  Notes and Stuff
  ☆15Updated 2 years ago
• H-Huang / LL1-Academy
  LL1 by Team , made with
  ☆11Updated 2 years ago
• agda / cornelis
  agda-mode for neovim
  ☆137Updated 2 weeks ago
• janestreet / vcaml
  OCaml bindings for the Neovim API
  ☆151Updated 2 months ago
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Coq
  ☆156Updated last week
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆242Updated last week
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆24Updated 3 months ago
• cs3110 / textbook-solutions
  Solutions to OCaml Programming
  ☆79Updated 5 months ago
• toku-sa-n / coqfmt
  Coq code formatter
  ☆22Updated this week
• hackwaly / ocamlearlybird
  OCaml debug adapter
  ☆208Updated 2 months ago
• blerner / bottlenose
  CS assignment / grade mangement system
  ☆4Updated 4 months ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆162Updated 2 years ago
• coq / vscoq
  Visual Studio Code extension for Coq
  ☆356Updated this week
• janestreet / install-ocaml
  Instructions for setting up an OCaml development environment
  ☆95Updated 5 years ago
• LeifAndersen / PLGradSchools
  ☆226Updated 6 months ago
• chezbgone / chez-sty
  ☆13Updated 2 years ago
• mrcjkb / haskell-snippets.nvim
  My collection of Haskell snippets for LuaSnip. Powered by tree-sitter and LSP.
  ☆27Updated 3 months ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆354Updated this week
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆125Updated 9 months ago
• luc-tielen / telescope_hoogle
  Hoogle search integration for Telescope
  ☆47Updated last year
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆173Updated last week
• huynhtrankhanh / CoqCP
  We combat sloppy arguments in competitive programming and raise the standard of rigor
  ☆22Updated last month
• luk400 / vim-lichess
  Play lichess in (neo)vim!
  ☆105Updated last year
• 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
• ccz181078 / Coq-BB5
  ☆170Updated last month