rajeevradnair / wabbit_dbeazley

Related projects ⓘ

Alternatives and complementary repositories for wabbit_dbeazley

• yangdanny97 / chocopy-python-compiler
  Ahead-of-time compiler for Chocopy, a statically typed subset of Python 3, built in Python 3.
  ☆55Updated 7 months ago
• tjammer / schmu
  My programming language
  ☆24Updated this week
• gaultier / lox-ocaml
  Implementation of the Lox language in OCaml
  ☆14Updated 4 years ago
• rickBuczynski / coolang
  COOL (Classroom Object Oriented Language) compiler with LLVM backend
  ☆33Updated 4 years ago
• glyh / awesome-pl-concepts
  An menu/quick reference for Programming Language concepts
  ☆20Updated 7 months ago
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆30Updated 3 weeks ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated last year
• leissa / whilec
  An interpreter/compiler for a toy language called While. The implementation is in Python.
  ☆19Updated last year
• csb6 / bluebird
  A work-in-progess programming language modeled after Ada and C++
  ☆26Updated last year
• Timothy-G-Griffin / cc_cl_cam_ac_uk
  OCaml code for Compiler Construction course at University of Cambridge
  ☆41Updated 3 years ago
• playXE / migc
  Simple conservative GC using mimalloc
  ☆38Updated 2 years ago
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆49Updated 2 years ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆85Updated 2 years ago
• 418e / Tron
  Statically typed general purpose programming language
  ☆0Updated 7 months ago
• fsantanna / dceu
  ☆27Updated last month
• dghosef / qdbp
  ☆51Updated 2 months ago
• coetaur0 / nox
  The Nox programming language
  ☆29Updated last year
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 2 years ago
• core-lang / core
  The Core Programming Language
  ☆45Updated last week
• sabrlang / sabr_old
  Stack-oriented programming language
  ☆8Updated 7 months ago
• siko-lang / siko
  siko
  ☆14Updated 10 months ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆18Updated last year
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆30Updated 2 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 3 years ago
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆41Updated last year
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆48Updated 2 weeks ago
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆26Updated 3 years ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆51Updated last year
• ElvisResearchGroup / L42
  L42 main project
  ☆26Updated 2 weeks ago