jacobaustin123 / Coral
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
- 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
- Hindley-Milner Type Inference implemented in (although not for) Python.β94Updated 3 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 linesβ36Updated 5 years ago
- A programming language somewhat resembling cellular processes.β34Updated 3 years ago
- A website for the #proglangdesign community on freenodeβ108Updated 2 weeks ago
- A programming language.β20Updated 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
- A compiler for a simple language, built with Python and LLVMβ100Updated 5 years ago
- Supercharge your Python with parts of Lisp and Haskell.β95Updated 3 weeks ago
- C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..β34Updated 4 years ago
- Demo of a WAM Prolog implementation in Pythonβ77Updated 2 years ago
- A toy programming language for web assemblyβ15Updated 2 years ago
- Optimising Brainfuck compiler: Run your beloved Brainfuck code, but faster.β69Updated 6 years ago
- Definition for Pineapple language and its compilerβ25Updated 6 years ago
- The Floyd programming languageβ150Updated 2 years ago
- An insanely simple self-hosted functional programming languageβ153Updated 5 years ago
- A toy programming language.β40Updated last year
- 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
- Jazz - modern and fast programming language.β92Updated 2 years ago
- The Silk Programming Languageβ79Updated 3 years ago
- A strongly-typed, compiled dialect of Python.β13Updated last year
- The Lark programming language.β58Updated 14 years ago
- The IntercalScript programming languageβ138Updated 4 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with scaβ¦β63Updated 11 months ago
- Pointless: a scripting language for learning and funβ122Updated 4 years ago
- The future of programming.β69Updated 3 years ago
- The practical relational programing language for data-oriented applicationsβ201Updated 2 years ago
- Tools for rapid prototyping of DSL compilersβ84Updated 3 years ago
- Esoteric programming language revolving around clocksβ15Updated 4 years ago