Alternatives and similar repositories for asciimath.github.io:

Users that are interested in asciimath.github.io are comparing it to the libraries listed below

• jgm / cmarkpdf
  Steps towards a PDF renderer for cmark using libharu
  ☆14Updated 9 years ago
• adamrk / scheme2luac
  A Scheme compiler to Lua bytecode
  ☆22Updated 7 years ago
• kragen / urscheme
  ☆21Updated 11 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆14Updated 10 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated 2 weeks ago
• Wodan58 / joy0
  Original Joy
  ☆10Updated last month
• bwoods / TeX--
  A TeX implementation in a single C++11 class.
  ☆17Updated 4 years ago
• loopspace / tilings
  TikZ/PGF package for drawing tilings, such as penrose and polykite tilings
  ☆16Updated last year
• zsparks / scheme-dep
  A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
  ☆8Updated 10 years ago
• Co-dfns / apixlib
  An Image Dictionary for Co-dfns
  ☆14Updated 7 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆18Updated 5 years ago
• gaborcs / lambda-terminal
  The future of programming?
  ☆12Updated 5 years ago
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆25Updated last month
• lathe / parendown-for-racket
  A weak opening parenthesis for Racket, good for eliminating indentation.
  ☆13Updated last week
• blambov / RealLib
  Library for exact real number computations
  ☆39Updated 9 years ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 2 weeks ago
• otherjoel / bookcover
  📘⌨️ A Racket #lang and module for making cover PDFs for printed things.
  ☆22Updated last year
• dchapiesky / MetaIIVMInC
  the Meta-II VM in C
  ☆19Updated 9 years ago
• henrikurms / tail2futhark
  ☆18Updated 6 years ago
• bwkimmel / secd
  SECD Machine Implementation in x86 Assembly
  ☆24Updated 10 years ago
• Qqwy / Jux
  ☆13Updated 4 years ago
• twhitehead / c99-meta
  Abusing the C99 preprocessor for meta-programming
  ☆20Updated 7 years ago
• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆30Updated 11 years ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆17Updated 4 years ago
• kevina / zl
  A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…
  ☆30Updated 3 years ago
• pablolessa / dibujos_hiperbolicos
  A python tool to create drawings in the hyperbolic disk (e.g. for inclusion in LaTex documents). The output is either a Tikz figure (a .…
  ☆10Updated last year
• AaronJackson / bnlisp
  A lisp dedicated to bnl intended for use under 2.11BSD on a PDP-11
  ☆19Updated 2 years ago
• disconcision / spyshare
  a tiny tool for visualising substructual sharing in data structures 🕵️‍♀️
  ☆11Updated 5 years ago
• breckinloggins / vau
  A programming language
  ☆14Updated 10 years ago
• oilshell / shell-protocols
  Shell Protocol Designs
  ☆9Updated 6 years ago