mv-lab / Squanchy-PLLinks
Squanchy is a brand new, easy to learn, general purpose, multi-paradigm, compiled programming language. The language is written from scratch (it includes an integrated lexer, parser, code generator etc). I tried to put together Python and Haskell (or at least the main features from both) in Squanchy. In other words you can use it as a scripting …
☆15Updated 5 years ago
Alternatives and similar repositories for Squanchy-PL
Users that are interested in Squanchy-PL are comparing it to the libraries listed below
Sorting:
- A programming language written in Python and LLVMLite☆10Updated 3 years ago
- A programming language.☆21Updated 8 years ago
- 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 is a dynamically-typed, multi-paradigm programming language designed for humans and machines.☆43Updated 4 years ago
- The Coral Programming Language: a blazingly-fast, gradually-typed Python compiler with optional static typing for optimization and safety…☆148Updated 4 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- ☆24Updated 2 years ago
- Counterexample-Driven Genetic Programming☆18Updated 3 years ago
- Python compiler that utilizes PLY and llvmlite☆12Updated 7 years ago
- Python term rewriting☆30Updated 12 years ago
- A compiler for a simple language, built with Python and LLVM☆100Updated 5 years ago
- DSL with focus on simulations: Compiling a subset of Python with LLVM for high-performance execution☆11Updated 10 years ago
- Lean course materials for Brown CS 22, Spring 2023☆20Updated last year
- Metamath verifier in Python☆39Updated 5 months ago
- A simple, extensible and efficient programming language based on C and Python☆32Updated 3 years ago
- Toy general-purpose interpreted language written in Python☆20Updated 9 years ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- strictly is a declarative programming language for interactive web-components☆10Updated last year
- program synthesis is possible☆40Updated 6 years ago
- Pedagogical first-order prover in Python☆76Updated 4 months ago
- This repository contains the Core and Extended source files of the Standard Library of the SaC programming language☆15Updated last month
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆21Updated 3 months ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆32Updated 6 months ago
- Implementation of the RISE language☆14Updated 5 years ago
- Partial evaluation of Python code☆22Updated 2 years ago
- 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
- The Alore programming language combines the convenience of Python with optional static typing☆33Updated 13 years ago
- Code for a tutorial on parsing with Menhir☆14Updated 4 years ago
- A simple scheme interpreter in Python☆26Updated 11 years ago
- SFLK programing language reference interpreter☆12Updated 2 years ago