Kerl13 / AsciiMath

Related projects ⓘ

Alternatives and complementary repositories for AsciiMath

• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 2 years ago
• standardml / twelf
  The Twelf Programming Language
  ☆109Updated this week
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆32Updated 6 months ago
• ats-lang / ats-lang.github.io
  For hosting certain parts of http://www.ats-lang.org
  ☆26Updated last year
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆25Updated 5 years ago
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 6 years ago
• deech / ATS-Strange-Loop-Talk
  ☆46Updated 7 years ago
• lexi-lambda / blackboard
  A (very) unfinished OpenType Math layout and rendering engine in Racket
  ☆54Updated 3 months ago
• dobesv / charity
  Charity Programming Language
  ☆38Updated 9 years ago
• Lysxia / gradual-eff-paper
  ☆17Updated last year
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆32Updated last month
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated last year
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆55Updated 5 months ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆29Updated 2 months ago
• SMLFamily / SMLFamily.github.io
  Web site for standardml.org.
  ☆36Updated last year
• jkoppel / ecta
  ☆33Updated 7 months ago
• kavon / sml-language-server
  an SML language server that uses SML/NJ's "visible compiler" feature
  ☆25Updated 6 years ago
• tree-sitter / tree-sitter-agda
  Agda grammar for tree-sitter
  ☆33Updated last week
• corazza / game-idris
  A 2D platformer in Idris, a dependently-typed purely functional programming language
  ☆25Updated 4 years ago
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 2 years ago
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 4 years ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆30Updated 2 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated last year
• bryal / carth
  The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/
  ☆22Updated last year
• xanadu-lang / xinterp
  An interpreter for the D3-level syntax of ATS3/Xanadu
  ☆10Updated 3 years ago
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆41Updated 4 years ago
• bollu / simplexhc-cpp
  optimising compiler for Haskell's intermediate representation (STG) to LLVM IR
  ☆31Updated 5 years ago