gatapia / unicode-math-vscode
Easy insertion of unicode math symbols
☆49Updated 2 years ago
Alternatives and similar repositories for unicode-math-vscode:
Users that are interested in unicode-math-vscode are comparing it to the libraries listed below
- Commutative diagrams with TikZ☆50Updated 2 years ago
- Xy-pic extension for MathJax version 3☆36Updated 2 years ago
- A book about functional programming in Lean☆40Updated last year
- Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX☆11Updated last year
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- ☆38Updated last year
- An implementation of a Zeilberger-style linear type theory.☆11Updated 3 years ago
- A toy IO library for Arend☆18Updated 4 years ago
- ☆23Updated 2 years ago
- Mathematical notes and papers☆26Updated this week
- The MLPolyR programming language, revived☆24Updated 4 years ago
- LaTeX-style unicode input for Visual Studio Code☆11Updated last year
- Julia implementation for Python Restrain JIT☆22Updated 4 years ago
- my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practice☆9Updated 5 years ago
- Xy-pic extension for MathJax☆62Updated 4 years ago
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆99Updated last year
- Efficient effect handlers based on Evidence Passing Semantics.☆29Updated 4 years ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆24Updated 3 years ago
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆15Updated 2 years ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆32Updated 4 months ago
- Lean type-checker written in Scala.☆36Updated 3 years ago
- The formal proof of the Odd Order Theorem☆30Updated last week
- Functional Programming in Lean☆78Updated this week
- Libraries and tools for topological and geometric modeling.☆18Updated last month
- Tag-based webview of LaTeX documents☆28Updated last year
- CoDi: Commutative Diagrams for TeX☆31Updated last year
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Updated 4 years ago
- Constructive Interpretations of HoTT☆36Updated 4 years ago
- A parser for ANSI C, in Lean4.☆20Updated last year
- Programming Language Foundations in Lean☆36Updated 2 weeks ago