Alternatives and similar repositories for Airtight:

Users that are interested in Airtight are comparing it to the libraries listed below

• bjpop / blip
  A bytecode compiler for Python 3
  ☆157Updated 4 years ago
• llllllllll / lazy_python
  I will write this later...
  ☆270Updated 7 years ago
• scvalencia / Coddie
  An Interpreter for Extended Relational Algebra (Scheme based)
  ☆85Updated 8 years ago
• djc / runa
  A Python-like systems programming language
  ☆84Updated 9 years ago
• kgaughan / memoize.py
  Bill McCloskey's memoize.py, grabbed with archive.org from http://www.eecs.berkeley.edu/~billm/memoize.html
  ☆116Updated 2 years ago
• rjpower / falcon
  C Python, made faster.
  ☆341Updated 9 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 6 years ago
• GedRap / xs-vm
  eXtremely small virtual machine -- for educational purposes :)
  ☆156Updated 9 years ago
• amitassaraf / lang
  Module for enforcing language constraints in Python
  ☆70Updated 2 years ago
• bjpop / berp
  An implementation of Python 3
  ☆313Updated 9 years ago
• cpennington / h4sh
  Fork of Don Stewarts h4sh haskell shell scripts
  ☆68Updated 14 years ago
• alehander92 / hivemind
  a multi-syntax language
  ☆135Updated 9 years ago
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆410Updated 8 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• i2y / mochi
  Dynamically typed functional programming language
  ☆913Updated 8 years ago
• UpstandingHackers / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆434Updated 2 years ago
• Suor / patterns
  Pattern matching for python
  ☆217Updated 10 years ago
• mattgreen / hython
  Haskell-powered Python 3 interpreter
  ☆581Updated 7 years ago
• llllllllll / quasiquotes
  I'd just like to interject for a moment...
  ☆51Updated 9 years ago
• sgreben / ok
  OCaml implementation of the K 2.0 array programming language
  ☆80Updated 9 years ago
• gasche / popl2016-papers
  Links to publicly available preprints for the POPL'16 conference
  ☆120Updated 8 years ago
• WetDesertRock / Yarn
  A small embeddable VM with a custom instruction set and everything stored in a statically allocated memory space.
  ☆237Updated last year
• akabe / evilml
  A compiler from ML to C++ template language
  ☆158Updated 9 years ago
• cyrus- / typy
  A fragmentary bidirectional type system as a Python library
  ☆52Updated 6 years ago
• r0nk / ward
  state machine visual debugger
  ☆121Updated 10 years ago
• Drahflow / Elymas
  A programming language I can like. Unholy and full of magic.
  ☆195Updated 2 months ago
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆178Updated 5 years ago
• foretspaisibles / bsdowl
  A highly portable build system targeting modern UNIX systems. Supports C, OCaml, TeX, METAPOST, NOWEB, M4, and more. Based on BSD Make.
  ☆105Updated 6 years ago
• rcorcs / rcc
  rcor C compiler (under development)
  ☆115Updated 7 years ago
• csvoss / retroactive
  Fun with time travel: Implementing retroactive data structures in Python
  ☆225Updated 3 years ago