nareha / nareh

Related projects ⓘ

Alternatives and complementary repositories for nareh

• uclaacm / uclaacm-rustlings
  Learning Rust in 6 weeks with ACM @ UCLA!
  ☆10Updated 2 years ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆274Updated 2 months ago
• uclaacm / TeachLAFrontend
  🌱 The frontend for Teach LA's online IDE, designed to teach kids how to code!
  ☆21Updated 2 weeks ago
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆278Updated this week
• janestreet / vcaml
  OCaml bindings for the Neovim API
  ☆148Updated 2 weeks ago
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆23Updated 3 weeks ago
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Coq
  ☆152Updated 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
• chezbgone / chez-sty
  ☆13Updated last year
• agda / cornelis
  agda-mode for neovim
  ☆134Updated last month
• janestreet / bonsai
  A library for building dynamic webapps, using Js_of_ocaml
  ☆367Updated this week
• azdavis / millet
  A language server for Standard ML.
  ☆219Updated 2 months ago
• kylechui / latex
  Notes and Stuff
  ☆15Updated last year
• ocaml / ocaml.org
  The official OCaml website.
  ☆161Updated this week
• ashinkarov / nvim-agda
  Agda interaction pluging for neovim
  ☆36Updated last month
• ccz181078 / Coq-BB5
  ☆158Updated last week
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆289Updated last year
• johnyob / University-Notes
  A complete collection of my undergraduate notes
  ☆30Updated 2 years ago
• isti115 / agda.nvim
  NeoVim plugin for interacting with Agda written in Lua
  ☆18Updated 9 months ago
• tjdevries / ocaml.nvim
  ☆84Updated last week
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆170Updated this week
• leanprover-community / NNG4
  Natural Number Game
  ☆115Updated 2 weeks ago
• coq / vscoq
  Visual Studio Code extension for Coq
  ☆346Updated this week
• mrcjkb / neotest-haskell
  Neotest adapter for Haskell (cabal or stack) with support for Sydtest, Hspec and Tasty
  ☆54Updated last week
• hackwaly / ocamlearlybird
  OCaml debug adapter
  ☆207Updated this week
• janestreet / opam-repository
  Opam repository for the development version of Jane Street packages
  ☆111Updated this week
• tree-sitter / tree-sitter-haskell
  Haskell grammar for tree-sitter.
  ☆157Updated 2 weeks ago
• fourmolu / fourmolu
  A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
  ☆361Updated this week
• cs3110 / textbook-solutions
  Solutions to OCaml Programming
  ☆69Updated 3 months ago
• mikeshulman / narya
  A proof assistant for higher-dimensional type theory
  ☆148Updated last week