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 8 years ago
• jingle-lang / jingle
  🔔 Jingle is a dynamically-typed, multi-paradigm programming language designed for humans and machines.
  ☆43Updated 4 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
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆33Updated 9 months ago
• symhom / Kaleidoscope_Compiler
  Python compiler that utilizes PLY and llvmlite
  ☆12Updated 7 years ago
• syegulalp / Akilang
  A compiler for a simple language, built with Python and LLVM
  ☆101Updated 6 years ago
• Z3Prover / bin
  Auxiliary repository used to store pre-compiled binary distribution packages of Z3.
  ☆18Updated 6 years ago
• maxmalysh / tiny-py-interpreter
  Python interpreter written in Python. Uses ANTLR4. 🐍
  ☆22Updated 10 years ago
• sampsyo / minisynth
  program synthesis is possible
  ☆40Updated 6 years ago
• jacobaustin123 / Coral
  The Coral Programming Language: a blazingly-fast, gradually-typed Python compiler with optional static typing for optimization and safety…
  ☆147Updated last month
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆87Updated 3 years ago
• brown-cs22 / CS22-Lean-2023
  Lean course materials for Brown CS 22, Spring 2023
  ☆20Updated 2 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆41Updated 8 months ago
• uwplse / potpie
  Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct
  ☆16Updated last year
• AdaCore / sparkformal
  The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.
  ☆12Updated 4 years ago
• mvitousek / reticulated
  Types for Python
  ☆87Updated 7 years ago
• Timothy-G-Griffin / cc_cl_cam_ac_uk
  OCaml code for Compiler Construction course at University of Cambridge
  ☆43Updated 5 years ago
• rickBuczynski / coolang
  COOL (Classroom Object Oriented Language) compiler with LLVM backend
  ☆33Updated 5 years ago
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆62Updated last month
• SacBase / Stdlib
  This repository contains the core and extended source files of the standard library of the SaC programming language.
  ☆16Updated last week
• RemuLang / proud
  The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as record…
  ☆14Updated 6 years ago
• MatthewObi / saturnlang
  A programming language written in Python and LLVMLite
  ☆11Updated 3 years ago
• stonebuddha / eopl
  Essentials of Programming Languages, with OCaml implementations & Coq proofs
  ☆32Updated 9 years ago
• SIGPLAN / SIGPLAN.github.io
  SIGPLAN website
  ☆13Updated 2 weeks ago
• aryx / yacfe
  Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…
  ☆25Updated 7 years ago
• hopv / MoCHi
  MoCHi: Model Checker for Higher-Order Programs
  ☆43Updated 9 months ago
• the-neutron-foundation / neutron-language
  A simple, extensible and efficient programming language based on C and Python
  ☆32Updated 3 years ago
• caterinaurban / Lyra
  ☆31Updated 5 months ago