Alternatives and similar repositories for Squanchy-PL

Users that are interested in Squanchy-PL are comparing it to the libraries listed below

• scizzorz / rain
  A programming language.
  ☆21Updated 7 years ago
• alinalihassan / pyLesma
  Lesma Programming Language - old compiler written in Python. Please go to https://github.com/alinalihassan/Lesma for the current implemen…
  ☆41Updated 3 years ago
• jingle-lang / jingle
  🔔 Jingle is a dynamically-typed, multi-paradigm programming language designed for humans and machines.
  ☆43Updated 4 years ago
• rickBuczynski / coolang
  COOL (Classroom Object Oriented Language) compiler with LLVM backend
  ☆33Updated 5 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• symhom / Kaleidoscope_Compiler
  Python compiler that utilizes PLY and llvmlite
  ☆12Updated 7 years ago
• MatthewObi / saturnlang
  A programming language written in Python and LLVMLite
  ☆10Updated 3 years ago
• brown-cs22 / CS22-Lean-2023
  Lean course materials for Brown CS 22, Spring 2023
  ☆20Updated last year
• naalit / durin
  the Dependent Unboxed higher-oRder Intermediate Notation
  ☆14Updated 3 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 2 months ago
• sampsyo / minisynth
  program synthesis is possible
  ☆41Updated 5 years ago
• syegulalp / Akilang
  A compiler for a simple language, built with Python and LLVM
  ☆100Updated 5 years ago
• jacobaustin123 / Coral
  The Coral Programming Language: a blazingly-fast, gradually-typed Python compiler with optional static typing for optimization and safety…
  ☆146Updated 4 years ago
• marethyu / peep
  A toy programming language, syntax based on C.
  ☆11Updated 5 years ago
• rise-lang / rise
  Implementation of the RISE language
  ☆14Updated 4 years ago
• angelocatalani / kaleidoscope
  Kaleidoscope is a toy programming language built from scratch using the LLVM libraries.
  ☆22Updated last month
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated 3 months ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• Marghrid / FOREST
  Regular expression for form validations synthesizer
  ☆15Updated 3 months ago
• kavon / llvm-statepoint-utils
  Runtime support for LLVM's GC Statepoints
  ☆43Updated 5 years ago
• true-grue / raddsl
  Tools for rapid prototyping of DSL compilers
  ☆86Updated 4 years ago
• squisher / stella
  DSL with focus on simulations: Compiling a subset of Python with LLVM for high-performance execution
  ☆11Updated 9 years ago
• AdaCore / sparkformal
  The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.
  ☆12Updated 4 years ago
• tekknolagi / icdemo
  A small inline caching demo.
  ☆15Updated 2 years ago
• melt-umn / silver
  An attribute grammar-based programming language for composable language extensions
  ☆63Updated this week
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 5 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated last year
• csb6 / bluebird
  A work-in-progess programming language modeled after Ada and C++
  ☆25Updated 2 years ago
• k5trismegistus / simplelang
  A simple programming language, just for studying parsing and how to use lark-parser.
  ☆9Updated 7 years ago