nareha / narehLinks
ð get to know me through my personal website!
â10Updated 3 weeks ago
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
- Interactive Coq Proofs in Vimâ300Updated 3 weeks ago
- agda-mode for neovimâ164Updated last month
- Neovim client for coq-lspâ27Updated 10 months ago
- Neovim support for the Lean theorem proverâ392Updated last week
- LL1 by Team , made withâ11Updated 2 years ago
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coqâ185Updated last week
- ðą The frontend for Teach LA's online IDE, designed to teach kids how to code!â24Updated 9 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theoryâ393Updated this week
- NeoVim plugin for interacting with Agda written in Luaâ19Updated last year
- A web site for converting haskell code into pointfree haskell codeâ165Updated 2 years ago
- A wiki for collaborative work on totally legitimate "category theory"â119Updated last year
- â328Updated 5 months ago
- OCaml - Oxidized!â469Updated this week
- Agda interaction pluging for neovimâ40Updated 10 months ago
- Coq code formatterâ24Updated 2 weeks ago
- A garden of small programming language implementations ðŠīâ279Updated this week
- Visual Studio Code extension for Coqâ406Updated 3 weeks ago
- OCaml bindings for the Neovim APIâ163Updated 3 months ago
- agda-mode on VS Codeâ177Updated this week
- A language server for Standard ML in Rust.â228Updated last week
- a look into matt wang's intriguing monetary venturesâ10Updated 4 years ago
- OCaml Language Server Protocol implementationâ855Updated 2 weeks ago
- â14Updated 10 months ago
- CIS 6700, Spring 2023â18Updated 2 years ago
- Set Theory Gameâ19Updated last week
- Haskell grammar for tree-sitter.â171Updated this week
- HoTTEST Summer School materialsâ311Updated 2 months ago
- A complete collection of my undergraduate notesâ34Updated 3 years ago
- Natural Number Gameâ208Updated this week