ayoshiaki / tiger

Related projects ⓘ

Alternatives and complementary repositories for tiger

• zju-lambda / slides
  slides of zju-lambda
  ☆14Updated 5 years ago
• covariant-institute / dragon-vm
  The Dragon Virtual Machine.
  ☆10Updated 6 years ago
• JianpingZeng / xcc-project
  The C/C++/Fortran compiler collection written in Java
  ☆36Updated 3 years ago
• tiancaiamao / yasfs
  some old code about scheme compiler I've ever wrote
  ☆14Updated last year
• tianyicui / golio
  Go! Lisp in OCaml
  ☆75Updated 12 years ago
• codewdy / mymymysql
  A simple SQL Server...
  ☆16Updated 9 years ago
• thautwarm / LLAST
  A high level LLVM IR AST provider for GraphEngine JIT.
  ☆22Updated 6 years ago
• microvm / microvm-spec
  We have moved: https://gitlab.anu.edu.au/mu/mu-spec
  ☆26Updated 8 years ago
• MarisaKirisame / first_order_logic_prover
  ☆59Updated 6 years ago
• MarisaKirisame / algebraic_data_type
  ☆19Updated 9 years ago
• MaskRay / CamlFeatherweight
  Bytecode compiler of a variant of Caml
  ☆32Updated 9 years ago
• thautwarm / LanguageCollections
  programming languages invented/implemented by myself.
  ☆8Updated last year
• lice-lang / lice
  A multi-paradigm programming language running on JVM
  ☆129Updated 6 years ago
• ice1000 / CompilerWorks
  编译原理相关的工作岗位收集
  ☆86Updated 6 years ago
• foreverbell / yfs
  Yet Another File System (yfs) based on Paxos algorithm.
  ☆16Updated 7 years ago
• kztao / yscheme
  a compiler from a subset of Scheme into X64
  ☆29Updated 10 years ago
• miura1729 / ytljit
  Native Code Generator for Ruby compiler
  ☆49Updated 10 years ago
• overlogged / steak
  A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17.
  ☆30Updated 5 years ago
• cmcl / tiger
  a compiler implementation
  ☆55Updated 12 years ago
• owo-lang / intellij-dtlc
  IntelliJ plugin for several experimental programming languages here
  ☆34Updated 3 years ago
• ice1k / ConsHoTT
  Constructive Interpretations of HoTT
  ☆36Updated 4 years ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆29Updated 5 years ago
• thautwarm / idris-python
  Successor project: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago
• mit-pdos / 6.826-2017-labs
  ☆13Updated 7 years ago
• shibai / Compiler
  repo for cs143 - compiler
  ☆12Updated 10 years ago
• dramforever / frandre
  Functional Reactive Animation Drawing Environment
  ☆9Updated 7 years ago
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 4 years ago
• prikhi / modern-compiler-implementation-ml
  Tiger Compiler from Modern Compiler Implementation in ML
  ☆24Updated 7 years ago
• TennyZhuang / HaScheme
  HaScheme is a Scheme interpreter written by Haskell.
  ☆11Updated 7 years ago