Kerl13 / AsciiMathLinks
Compiler from asciimath to LaTeX
☆8Updated 6 years ago
Alternatives and similar repositories for AsciiMath
Users that are interested in AsciiMath are comparing it to the libraries listed below
Sorting:
- LaTeX sources for the Habit Programming Language Report☆24Updated 6 years ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Updated 8 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆32Updated 6 years ago
- Arete is an experimental programming language.☆12Updated last year
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated last month
- Your happy place for learning APL☆16Updated 2 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- an SML language server that uses SML/NJ's "visible compiler" feature☆25Updated 7 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆61Updated 4 years ago
- The place for submitting new articles to the Serokell blog.☆16Updated last year
- A programming language with infinite arrays☆31Updated 5 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- ☆17Updated last year
- For parts of https://www.ats-lang.org☆27Updated last month
- ☆35Updated last year
- Manfred von Thun's Programming Language Joy☆16Updated 5 months ago
- Untyped Concatenative Calculus☆19Updated 3 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆23Updated 12 years ago
- purple: compiling a reflective language☆32Updated 8 months ago
- Run dyalog APL and RIDE on nixos☆20Updated last year
- A Hindley-Milner type inference implementation in Prolog☆13Updated 10 years ago
- Tools for MIL, a Monadic Intermediate Language☆21Updated 9 months ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated last month
- Column-oriented binary format for immutable datasets☆9Updated 5 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 5 years ago
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆59Updated 10 months ago
- SPSC: A Small Positive Supercompiler☆35Updated last year
- A dependent type theory with user defined data types☆46Updated 3 years ago