nareha / narehLinks
👋 get to know me through my personal website!
☆10Updated last year
Alternatives and similar repositories for nareh
Users that are interested in nareh are comparing it to the libraries listed below
Sorting:
- Learning Rust in 6 weeks with ACM @ UCLA!☆10Updated 3 years ago
- agda-mode for neovim☆158Updated 3 weeks ago
- Interactive Coq Proofs in Vim☆292Updated 2 months ago
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆170Updated last week
- Agda interaction pluging for neovim☆37Updated 7 months ago
- A Neovim client for VsCoq 2 vscoqtop.☆10Updated 3 months ago
- Neovim client for coq-lsp☆26Updated 7 months ago
- 🌱 The frontend for Teach LA's online IDE, designed to teach kids how to code!☆23Updated 7 months ago
- Coq code formatter☆23Updated 3 weeks ago
- a look into matt wang's intriguing monetary ventures☆10Updated 3 years ago
- ☆11Updated 3 weeks ago
- A library for writing discord bots in haskell☆116Updated last week
- OCaml bindings for the Neovim API☆162Updated 3 weeks ago
- Visual Studio Code extension for Coq☆388Updated this week
- CIS 6700, Spring 2023☆18Updated 2 years ago
- The Flambda backend project for OCaml☆146Updated this week
- A wiki for collaborative work on totally legitimate "category theory"☆111Updated 11 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆370Updated this week
- Competitive programming utilities in Haskell☆30Updated 5 months ago
- ☆155Updated 3 weeks ago
- A proof assistant for higher-dimensional type theory☆195Updated last week
- Neovim support for the Lean theorem prover☆355Updated this week
- Nix overlay for Lean 4, and lake2nix☆44Updated this week
- agda-mode on VS Code☆177Updated 3 weeks ago
- A complete collection of my undergraduate notes☆34Updated 2 years ago
- Haskell grammar for tree-sitter.☆168Updated this week
- ☆233Updated 10 months ago
- Proof assistant based on the λΠ-calculus modulo rewriting☆334Updated this week
- ☆64Updated 2 years ago
- Instructions for setting up an OCaml development environment☆97Updated 5 years ago