Alternatives and similar repositories for cmsc330fall19public

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

• thautwarm / simple-pl-example
  Implementing a programming language within 20 minutes, also a tutorial for syntax driven parsing with frontend-for-free.
  ☆16Updated 4 years ago
• covariant-institute / dragon-vm
  The Dragon Virtual Machine.
  ☆10Updated 7 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated this week
• thautwarm / LLAST
  A high level LLVM IR AST provider for GraphEngine JIT.
  ☆22Updated 7 years ago
• GaloisInc / flexdis86
  A library for disassembling x86-64 binaries.
  ☆44Updated 8 months ago
• SchrodingerZhu / memcpy-amd64
  An implementation of memcpy for amd64 with clang/gcc
  ☆15Updated 3 years ago
• chifflier / ocaml-llvm-tutorial
  OCaml LLVM bindings tutorial
  ☆21Updated 8 years ago
• MaskRay / CamlFeatherweight
  Bytecode compiler of a variant of Caml
  ☆34Updated 10 years ago
• zju-lambda / slides
  slides of zju-lambda
  ☆14Updated 6 years ago
• owo-lang / OwO
  Placeholder for the OwO compiler
  ☆60Updated 6 years ago
• eliphatfs / yapyjit
  Yet another python JIT.
  ☆20Updated 2 years ago
• GaloisInc / elf-edit
  The elf-edit library provides a datatype suitable for reading and writing Elf files.
  ☆40Updated 5 months ago
• overlogged / steak
  A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17.
  ☆30Updated 6 years ago
• eregon / virtual-machines-research-graph
  A Virtual Machine Research Overview as a Graph
  ☆25Updated 3 weeks ago
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 6 years ago
• thautwarm / idris-python
  Successor project: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 6 years ago
• alextsao1999 / hypermind
  A script engine written by C++, which supports lambda, incremental-gc, multiple-threads and so on...
  ☆10Updated 6 years ago
• delcypher / nsolv
  Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.
  ☆11Updated 13 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated last month
• leaningtech / cheerp-newlib
  A cheerp enabled libc implementation
  ☆27Updated 3 years ago
• llvm-mirror / dragonegg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 7 years ago
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆46Updated 7 years ago
• runtimeverification / llvm-backend
  KORE to llvm translation
  ☆40Updated 2 months ago
• sophiajt / Pierce-and-Types
  My dabbling with Pierce's languages in Haskell
  ☆22Updated 14 years ago
• overminder / sanya-native
  Yet another scheme compiler... This time generating shitty code.
  ☆18Updated 12 years ago
• PragmaTwice / ichigo-lang
  write a little simply typed functional language to practice Rust
  ☆15Updated 2 years ago
• raptazure / chocolate
  Talking about classical logic and abstract algebra in Haskell
  ☆16Updated 4 years ago
• dannypsnl / write-a-programming-language
  How to make a new language(and why we shouldn't?)
  ☆40Updated 2 years ago
• dannypsnl / plt-research
  A collection of PLT researching
  ☆29Updated 10 months ago
• MarisaKirisame / algebraic_data_type
  ☆19Updated 10 years ago