siegebell / vsc-prettify-symbols-mode

Related projects ⓘ

Alternatives and complementary repositories for vsc-prettify-symbols-mode

• siegebell / scope-info
  vscode extension to view TextMate scope info upon hover
  ☆14Updated 7 years ago
• leanprover / lean-client-js
  ☆34Updated last year
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆75Updated 7 years ago
• be5invis / PatEL
  The Patrisika Example Language
  ☆44Updated 8 months ago
• idris-hackers / idris-sublime
  A Plugin to use Idris with Sublime
  ☆27Updated 3 years ago
• evhub / coconut-prelude
  An implementation of Haskell's Prelude in Python using Coconut.
  ☆21Updated 3 months ago
• ojsheikh / unicode-latex
  A visual studio code extension to insert Unicode symbols given LaTeX symbol names
  ☆28Updated last year
• gatapia / unicode-math-vscode
  Easy insertion of unicode math symbols
  ☆47Updated last year
• xgrommx / idris-ecosystem
  ☆47Updated 6 years ago
• UCSD-PL / refscript
  Refinement Types for Scripting Languages
  ☆65Updated 5 years ago
• ncatlab / nlab-content-html
  A file-based mirror of the nLab wiki (HTML format).
  ☆23Updated this week
• nwolverson / vscode-language-purescript
  PureScript Language Support for Visual Studio Code
  ☆17Updated last year
• softdevteam / eco
  Editor for language composition
  ☆56Updated last year
• alanz / haskell-ide-engine
  The engine for haskell ide-integration. Not an IDE
  ☆18Updated 4 years ago
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 5 years ago
• aisamanra / s-cargot
  Elaborate and expressive S-Expression library for Haskell
  ☆61Updated 3 months ago
• mmark-md / mmark
  Strict markdown processor for writers
  ☆111Updated last week
• isovector / algebra-driven-design
  Source material for Algebra-Driven Design
  ☆137Updated last year
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 11 years ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆51Updated 3 months ago
• grin-compiler / ghc-grin
  GRIN backend for GHC
  ☆143Updated 3 years ago
• zjhmale / vscode-idris
  Idris for Visual Studio Code
  ☆106Updated 2 years ago
• yallop / higher
  Higher-kinded programming in OCaml
  ☆179Updated last year
• simhu / cubical
  Implementation of Univalence in Cubical Sets
  ☆145Updated 9 years ago
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆94Updated 2 months ago
• agda / agda-frp-js
  ECMAScript back end for Functional Reactive Programming in Agda
  ☆103Updated 7 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆102Updated 4 months ago
• pouyakary / vscode-racket
  Racket support for Visual Studio Code with better inteliSense
  ☆19Updated last year
• madman-bob / idris2-python
  A Python backed for Idris 2
  ☆19Updated last week
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆38Updated 5 years ago