PLT

Programming Language experiments

Index

General Purpose

• W: A WASM native language
• Bhaskara: An Object-Functional programming language
• Jack: Compiler for an Object based Programming Language (nand2tetris)
• JackVM: Jack Language VM (Translates AOT) (nand2tetris)
• HASM: Assembler for Hack CPU (nand2tetris)

Theoretical/Formal Systems

• ULC: Untyped Lambda Calculus with extensions
• Styla: Simply Typed Lambda Calculus with extensions
• HML: A mini ML with Hindley-Milner-Damas type inference
• SystemF: System F polymorphic/second-order lambda calculus
• Omega: System F Omega Lambda Calculus
• Kombis: A DSL for SKI combinator calculus which transpiles to Javascript
• LambdaSharp: A small transpiler from untyped lambda calculus to F#

Lisps

• Saral: A small Lisp like language where the expressional medium is JSON
• Samvid: A scheme interpreter in python

Other DSLs/Esolangs

• Robolang: An educational programming language for simple algorithmic art
• Logico: A very simple DSL for expressing propositional logic formulaes
• Arith: A small programming language for maths
• vMachina: A simple stack virtual machine
• Brain8888: An Interpreter for Brainf*#k (esolang)
• Small: A small esolang