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
  ☆11Updated 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 year
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆64Updated last year
• 418e / Tron
  Statically typed general purpose programming language
  ☆2Updated last year
• rickBuczynski / coolang
  COOL (Classroom Object Oriented Language) compiler with LLVM backend
  ☆33Updated 5 years ago
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆40Updated last year
• csb6 / bluebird
  A work-in-progess programming language modeled after Ada and C++
  ☆25Updated 2 years ago
• rems-project / cn
  CN separation logic refinement type system for C
  ☆27Updated this week
• huangguiyang / burg
  Bottom Up Rewrite Generator
  ☆29Updated 7 years ago
• iczelia / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 3 years ago
• bynect / algorithm-w
  Type inference implementation in OCaml using Algorithm W
  ☆10Updated 3 years ago
• jacquev6 / DrawGrammar
  Draw railroad diagrams of EBNF grammars. In browser and on command line
  ☆70Updated 6 years ago
• MarcelGarus / martinaise
  A small, statically typed, low-level programming language.
  ☆21Updated 2 months ago
• ThePuzzlemaker / tethys
  A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht
  ☆16Updated last year
• norswap / uranium
  Semantic analysis framework
  ☆14Updated 3 years ago
• rochus-keller / Som
  Parser, code model, navigable browser and VM for the SOM Smalltalk dialect
  ☆29Updated 3 years ago
• strictly-lang / compiler
  strictly is a declarative programming language for interactive web-components
  ☆10Updated last year
• catseye / Vinegar
  MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail
  ☆15Updated last year
• raphael-proust / cps-ssa
  Experiments about intermediate representations in compilers
  ☆25Updated 12 years ago
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆32Updated 6 months ago
• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆56Updated last year
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆11Updated 10 months ago
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 2 years ago
• SebastianMestre / Jasper
  A programming language. Static types. Full type inference. Garbage collection. --- not stable
  ☆61Updated last year
• RyanBrewer317 / cricket_rs
  A tiny lazy objective functional language
  ☆18Updated 10 months ago
• melt-umn / silver
  An attribute grammar-based programming language for composable language extensions
  ☆63Updated last week
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆40Updated last month
• tekknolagi / skybison
  A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…
  ☆44Updated last month
• tearflake / symbolverse
  minimalistic s-expression based term rewriting framework
  ☆15Updated last month
• imp-language / imp
  Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.
  ☆11Updated 3 years ago