Alternatives and similar repositories for TeachLAFrontend:

Users that are interested in TeachLAFrontend are comparing it to the libraries listed below

• nareha / nareh
  👋 get to know me through my personal website!
  ☆10Updated last year
• uclaacm / uclaacm-rustlings
  Learning Rust in 6 weeks with ACM @ UCLA!
  ☆10Updated 2 years 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
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆278Updated 3 weeks ago
• teaching-lab / stack-cs-activities
  A stack of activities to teach advanced computer science (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk …
  ☆24Updated 7 months ago
• H-Huang / LL1-Academy
  LL1 by Team , made with
  ☆11Updated 2 years ago
• toku-sa-n / coqfmt
  Coq code formatter
  ☆22Updated this week
• dylon / vim-antlr
  Syntax highlighter for ANTLR files in vim
  ☆30Updated 6 years ago
• mirage / alcotest
  A lightweight and colourful test framework
  ☆464Updated 4 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆242Updated last week
• Coursemology / coursemology2
  Rails 6 re-write of Coursemology
  ☆150Updated this week
• hfaran / piazza-api
  Unofficial Client for Piazza's Internal API
  ☆192Updated 3 months ago
• martineausimon / nvim-lilypond-suite
  Neovim plugin for writing LilyPond scores, with asynchronous make, midi/mp3 player, fast syntax highlighting, "hyphenation" function, and…
  ☆136Updated 4 months ago
• lishid / MarmoUI
  Marmoset Improved! Better UI and functionality
  ☆40Updated 11 months ago
• janestreet / vcaml
  OCaml bindings for the Neovim API
  ☆151Updated 2 months ago
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆24Updated 3 months ago
• jez / vim-better-sml
  Enjoy writing SML within Vim
  ☆105Updated 4 months ago
• arthurxavierx / vim-unicoder
  unicoder.vim: easy unicode characters in insert mode with abbreviations
  ☆39Updated 5 years ago
• FStarLang / karamel
  KaRaMeL is a tool for extracting low-level F* programs to readable C code
  ☆416Updated 2 weeks ago
• uclaacm / acmcyber.com
  The home for ACM Cyber at UCLA! Website for the premier cybersecurity club at UCLA.
  ☆11Updated this week
• backtracking / ocamlgraph
  OCaml graph library
  ☆236Updated 2 months ago
• kylechui / latex
  Notes and Stuff
  ☆15Updated 2 years ago
• ocaml-community / utop
  Universal toplevel for OCaml
  ☆856Updated 2 months ago
• yyjhao / IVLEDownloader
  A daemon to download NUS IVLE workbins automatically.
  ☆23Updated 6 years ago
• ashinkarov / nvim-agda
  Agda interaction pluging for neovim
  ☆36Updated 3 months ago
• dmbaturin / ocamlbook.org
  A free (as in freedom) OCaml textbook
  ☆136Updated 8 months ago
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆310Updated this week
• janestreet / ppx_inline_test
  Syntax extension for writing in-line tests in ocaml code
  ☆131Updated 2 months ago
• ocaml-ppx / ppx_deriving
  Type-driven code generation for OCaml
  ☆475Updated this week
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Coq
  ☆156Updated last week