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
• agda / cornelis
  agda-mode for neovim
  ☆158Updated 3 weeks ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆292Updated 2 months ago
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆170Updated last week
• ashinkarov / nvim-agda
  Agda interaction pluging for neovim
  ☆37Updated 7 months ago
• tomtomjhj / vscoq.nvim
  A Neovim client for VsCoq 2 vscoqtop.
  ☆10Updated 3 months ago
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆26Updated 7 months ago
• uclaacm / TeachLAFrontend
  🌱 The frontend for Teach LA's online IDE, designed to teach kids how to code!
  ☆23Updated 7 months ago
• toku-sa-n / coqfmt
  Coq code formatter
  ☆23Updated 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
• jwshii / etna
  ☆11Updated 3 weeks ago
• simmsb / calamity
  A library for writing discord bots in haskell
  ☆116Updated last week
• janestreet / vcaml
  OCaml bindings for the Neovim API
  ☆162Updated 3 weeks ago
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆388Updated this week
• plclub / cis6700-23sp
  CIS 6700, Spring 2023
  ☆18Updated 2 years ago
• ocaml-flambda / flambda-backend
  The Flambda backend project for OCaml
  ☆146Updated this week
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆111Updated 11 months ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆370Updated this week
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆30Updated 5 months ago
• josephsumabat / static-ls
  ☆155Updated 3 weeks ago
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆195Updated last week
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆355Updated this week
• lenianiva / lean4-nix
  Nix overlay for Lean 4, and lake2nix
  ☆44Updated this week
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆177Updated 3 weeks ago
• johnyob / University-Notes
  A complete collection of my undergraduate notes
  ☆34Updated 2 years ago
• tree-sitter / tree-sitter-haskell
  Haskell grammar for tree-sitter.
  ☆168Updated this week
• LeifAndersen / PLGradSchools
  ☆233Updated 10 months ago
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆334Updated this week
• codyroux / name-the-biggest-number
  ☆64Updated 2 years ago
• janestreet / install-ocaml
  Instructions for setting up an OCaml development environment
  ☆97Updated 5 years ago