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 6 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:
- Python compiler that utilizes PLY and llvmlite☆12Updated 7 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
- A programming language.☆21Updated 8 years ago
- Partial evaluation of Python code☆22Updated 2 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- Tools for rapid prototyping of DSL compilers☆88Updated 4 years ago
- A programming language written in Python and LLVMLite☆11Updated 3 years ago
- A compiler for a simple language, built with Python and LLVM☆100Updated 6 years ago
- Fast Bytecode Analysis☆15Updated 9 years ago
- This repository contains the core and extended source files of the standard library of the SaC programming language.☆15Updated 2 weeks ago
- The Coral Programming Language: a blazingly-fast, gradually-typed Python compiler with optional static typing for optimization and safety…☆147Updated 4 years ago
- A compiled Python-like multi-paradigm programming language.☆10Updated 6 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
- Fun is programming language that supports both the functional and the imperative styles of programming. It distinguishes these two styles…☆26Updated 2 years ago
- World's best progamming language☆16Updated 6 years ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 6 years ago
- A simple, extensible and efficient programming language based on C and Python☆32Updated 3 years ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆96Updated 3 years ago
- COOL (Classroom Object Oriented Language) compiler with LLVM backend☆33Updated 5 years ago
- The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as record…☆14Updated 5 years ago
- Python interpreter written in Python. Uses ANTLR4. 🐍☆22Updated 10 years ago
- Implementation of the RISE language☆14Updated 5 years ago
- program synthesis is possible☆40Updated 6 years ago
- An extended typed Lambda Calculus☆21Updated last year
- ☆31Updated 4 months ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Updated 4 years ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆31Updated 4 years ago
- A C library for displaying informative, clean and readable errors☆25Updated last year
- A toy programming language, syntax based on C.☆11Updated 5 years ago