Alternatives and similar repositories for chocopy-wasm-compiler

Users that are interested in chocopy-wasm-compiler are comparing it to the libraries listed below

• marianoguerra / mclulang
  McLulang: The message is the language
  ☆12Updated last year
• codereport / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 3 years ago
• norswap / uranium
  Semantic analysis framework
  ☆15Updated 3 years ago
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 3 years ago
• raphael-proust / cps-ssa
  Experiments about intermediate representations in compilers
  ☆28Updated 13 years ago
• bynect / algorithm-w
  Type inference implementation in OCaml using Algorithm W
  ☆10Updated 4 years ago
• oxrinz / rv32i
  32-bit integer only RISC-V core, along with assembler, linker, and compiler from scratch
  ☆22Updated 3 months ago
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆96Updated 5 months ago
• jacquev6 / DrawGrammar
  Draw railroad diagrams of EBNF grammars. In browser and on command line
  ☆76Updated 7 years ago
• nimrodpar / ProgramAnalysisGlossary
  "oh god there are like a million different kinds of analyses, quickly remind me what this one means?"
  ☆19Updated 5 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆64Updated this week
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆66Updated last week
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆11Updated 2 weeks ago
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆42Updated last year
• shriram / mystery-languages
  Mystery Languages
  ☆41Updated 2 years ago
• MarcelGarus / martinaise
  A small, statically typed, low-level programming language.
  ☆24Updated 3 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆35Updated 2 years ago
• rems-project / cn
  CN separation logic refinement type system for C
  ☆43Updated last week
• rajeevradnair / wabbit_dbeazley
  Compiler project for Dave Beazley' Wabbit Language
  ☆26Updated 3 years ago
• soil-vm / soil
  A byte code specification and a JIT-compiler written in Assembly.
  ☆14Updated 11 months ago
• yangdanny97 / chocopy-python-compiler
  Ahead-of-time compiler for Chocopy, a statically typed subset of Python 3, built in Python 3, targeting CIL/CLR, JVM, LLVM IR, and WASM.
  ☆66Updated last month
• rickBuczynski / coolang
  COOL (Classroom Object Oriented Language) compiler with LLVM backend
  ☆33Updated 5 years ago
• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆96Updated 3 years ago
• goblint / cil
  C Intermediate Language
  ☆157Updated this week
• tekknolagi / tekknolagi.github.com
  My personal website
  ☆103Updated this week
• SaberVM / FVM
  The Functional Virtual Machine.
  ☆14Updated last year
• tekknolagi / skybison
  A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…
  ☆50Updated 5 months ago
• rochus-keller / Som
  Parser, code model, navigable browser and VM for the SOM Smalltalk dialect
  ☆30Updated 3 years ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆75Updated 6 months ago
• langjam / jam0003
  ☆26Updated 3 years ago