mv-lab / Squanchy-PL
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
- 🔔 Jingle is a dynamically-typed, multi-paradigm programming language designed for humans and machines.☆43Updated 3 years ago
- Python compiler that utilizes PLY and llvmlite☆12Updated 6 years ago
- A programming language.☆20Updated 7 years ago
- A very (!) fast BrainFuck interpreter in Python☆19Updated 2 years ago
- A simple, extensible and efficient programming language based on C and Python☆32Updated 2 years ago
- Python interpreter written in Python. Uses ANTLR4. 🐍☆23Updated 9 years ago
- Lesma Programming Language - old compiler written in Python. Please go to https://github.com/alinalihassan/Lesma for the current implemen…☆41Updated 2 years ago
- deep learning for math☆29Updated 5 years ago
- Frost is a powerful, general purpose, multi-paradigm programming language☆38Updated 2 years ago
- Toy compiler for a fictional go-like language called Gone.☆27Updated 5 years ago
- A compiler for a simple language, built with Python and LLVM☆100Updated 5 years ago
- SIGPLAN website☆10Updated this week
- program synthesis is possible☆41Updated 5 years ago
- Metamath verifier in Python☆36Updated 9 months ago
- An interpreted type-inferred programming language made in Python with SLY☆11Updated 5 years ago
- Easily serialize dataclasses to and from tensors (PyTorch, NumPy)☆18Updated 3 years ago
- This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket☆12Updated 2 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 4 years ago
- Formalization of Wigderson's graph coloring algorithm in Coq☆9Updated last year
- Counterexample-Driven Genetic Programming☆18Updated 2 years ago
- ☆18Updated 3 years ago
- ☆10Updated 4 years ago
- A simple programming language, just for studying parsing and how to use lark-parser.☆8Updated 6 years ago
- A Numpy implementation of a Generative Adversarial Network.☆17Updated 4 years ago
- A distributed systems framework used running distributable workloads.☆18Updated 4 months ago
- A toy programming language, syntax based on C.☆11Updated 4 years ago
- ☆22Updated 5 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- A compiled Python-like multi-paradigm programming language.☆9Updated 5 years ago