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
  ☆299Updated last week
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆377Updated last week
• agda / cornelis
  agda-mode for neovim
  ☆161Updated 2 weeks ago
• uclaacm / TeachLAFrontend
  🌱 The frontend for Teach LA's online IDE, designed to teach kids how to code!
  ☆23Updated 9 months ago
• ccz181078 / Coq-BB5
  ☆322Updated 4 months ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆387Updated last week
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆164Updated 2 years ago
• H-Huang / LL1-Academy
  LL1 by Team , made with
  ☆11Updated 2 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆256Updated 4 months ago
• oxcaml / oxcaml
  OCaml - Oxidized!
  ☆444Updated this week
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆27Updated 9 months ago
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆183Updated this week
• janestreet / vcaml
  OCaml bindings for the Neovim API
  ☆162Updated 3 months ago
• isti115 / agda.nvim
  NeoVim plugin for interacting with Agda written in Lua
  ☆18Updated last year
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆118Updated last year
• chezbgone / chez-sty
  ☆14Updated 2 years ago
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆399Updated last week
• ashinkarov / nvim-agda
  Agda interaction pluging for neovim
  ☆39Updated 10 months ago
• fourmolu / fourmolu
  A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
  ☆414Updated this week
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆176Updated last week
• azdavis / millet
  A language server for Standard ML in Rust.
  ☆228Updated last month
• mrcjkb / haskell-tools.nvim
  🦥 Supercharge your Haskell experience in neovim!
  ☆548Updated 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
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆164Updated 3 months ago
• tree-sitter / tree-sitter-haskell
  Haskell grammar for tree-sitter.
  ☆171Updated 2 months ago
• Mesabloo / diagnose
  A simple library for reporting compiler/interpreter errors
  ☆264Updated last year
• UniMath / agda-unimath
  The agda-unimath library
  ☆261Updated this week
• LeifAndersen / PLGradSchools
  ☆233Updated last year
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆309Updated 2 months ago