jacobaustin123 / CoralLinks
The Coral Programming Language: a blazingly-fast, gradually-typed Python compiler with optional static typing for optimization and safety.
☆148Updated 4 years ago
Alternatives and similar repositories for Coral
Users that are interested in Coral are comparing it to the libraries listed below
Sorting:
- Hindley-Milner Type Inference implemented in (although not for) Python.☆96Updated 3 years ago
 - A programming language.☆21Updated 8 years ago
 - A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
 - Tools for rapid prototyping of DSL compilers☆86Updated 4 years ago
 - C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..☆34Updated 5 years ago
 - The Silk Programming Language☆79Updated 4 years ago
 - The Floyd programming language☆151Updated 3 years ago
 - A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆282Updated 11 years ago
 - Study of language design and implementation.☆66Updated 5 years ago
 - Programmable, human-readable inlining of Python code☆28Updated 2 years ago
 - Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…☆124Updated 3 years ago
 - GPU Accelerated, Distributed, Actor Model Language (WIP)☆29Updated 2 years ago
 - A high-level programming language☆40Updated 9 months ago
 - Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated last year
 - C89 expressions parsed with the shunting yard algorithm in Python☆84Updated last year
 - The IntercalScript programming language☆138Updated 5 years ago
 - The Mys programming language - an attempt to create a statically typed Python-like language that produces fast binaries. See https://mys-…☆132Updated 3 years ago
 - A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆37Updated 5 years ago
 - A dynamic language inspired by Python and E.☆78Updated 4 years ago
 - A website for the #proglangdesign community on freenode☆112Updated last month
 - A superset of brainfuck with dynamic memory management.☆30Updated 5 years ago
 - PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching☆54Updated 8 years ago
 - A strongly-typed, compiled dialect of Python.☆13Updated last year
 - Definition for Pineapple language and its compiler☆25Updated 6 years ago
 - A toy programming language.☆41Updated last year
 - A declarative concatenative programming language☆167Updated last month
 - The fluffy programming language main repository☆25Updated 12 years ago
 - Rewrite of Arthur Whitney's one-page J interpreter in Rust☆60Updated 5 years ago
 - minimalist pure lazy functional programming language (pythonic haskell)☆79Updated 7 months ago
 - Macros have types!☆132Updated 2 years ago