jacobaustin123 / CoralLinks
The Coral Programming Language: a blazingly-fast, gradually-typed Python compiler with optional static typing for optimization and safety.
☆146Updated 4 years ago
Alternatives and similar repositories for Coral
Users that are interested in Coral are comparing it to the libraries listed below
Sorting:
- The Mys programming language - an attempt to create a statically typed Python-like language that produces fast binaries. See https://mys-…☆131Updated 2 years ago
- 🔔 Jingle is a dynamically-typed, multi-paradigm programming language designed for humans and machines.☆43Updated 4 years ago
- A programming language.☆20Updated 7 years ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆95Updated 3 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- ☆30Updated 4 years ago
- The Silk Programming Language☆79Updated 4 years ago
- Esoteric programming language revolving around clocks☆15Updated 5 years ago
- A compiler for a simple language, built with Python and LLVM☆100Updated 5 years ago
- Demo of a WAM Prolog implementation in Python☆77Updated 2 years ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆281Updated 11 years ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆62Updated 5 years ago
- WebAssembly interpreter in RPython☆66Updated 6 years ago
- A website for the #proglangdesign community on freenode☆108Updated last month
- C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..☆34Updated 5 years ago
- A dynamic language inspired by Python and E.☆78Updated 4 years ago
- A high-level programming language☆39Updated 4 months ago
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆70Updated 8 years ago
- C89 expressions parsed with the shunting yard algorithm in Python☆79Updated 10 months ago
- Tools for rapid prototyping of DSL compilers☆85Updated 4 years ago
- Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…☆123Updated 3 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
- Emerald is an object oriented language that uses prototypal based inheritance.☆22Updated 3 years ago
- PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching☆53Updated 7 years ago
- Optimising Brainfuck compiler: Run your beloved Brainfuck code, but faster.☆69Updated 6 years ago
- The IntercalScript programming language☆138Updated 4 years ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 8 years ago
- minimalist pure lazy functional programming language (pythonic haskell)☆78Updated 2 months ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆30Updated last year
- Brainfuck with Actors☆36Updated 6 years ago