The Coral Programming Language: a blazingly-fast, gradually-typed Python compiler with optional static typing for optimization and safety.
☆151Jan 4, 2026Updated 4 months ago
Alternatives and similar repositories for Coral
Users that are interested in Coral are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Ribbon programming language☆11Jan 25, 2022Updated 4 years ago
- A library that implements the websocket protocol on top of Async☆14Updated this week
- Repurpose object literals.☆14Jun 20, 2019Updated 6 years ago
- OCaml library for manipulating context-free grammars☆20Nov 28, 2025Updated 5 months ago
- Compiler for a language with Python-like syntax☆11Dec 13, 2018Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A dynamically typed, functional-first, object-oriented, concurrent, general-purpose, embeddable scipting and programming language (for do…☆18Mar 16, 2018Updated 8 years ago
- Parser and Compiler: Valhalla Lang — Set-Theoretic Programming Langauge☆12Nov 26, 2020Updated 5 years ago
- The Perlang Programming Language (GitHub Mirror)☆18May 13, 2026Updated last week
- A work-in-progress GameBoy emulator.☆11Dec 21, 2021Updated 4 years ago
- The implementation of NameResolution.jl for Julia language.☆29Mar 17, 2022Updated 4 years ago
- A vim plugin that helps you refactor Haskell code☆16Nov 1, 2018Updated 7 years ago
- A static strongly typed object oriented programming language with focus on composition☆23Aug 25, 2020Updated 5 years ago
- An LLVM compiler for an ML-like language (written in Rust)☆62Feb 28, 2022Updated 4 years ago
- A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code☆27Aug 1, 2022Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Map lazy functional language constructs to LLVM IR☆52Jun 21, 2019Updated 6 years ago
- A simpler syntax for math typesetting written in go, converts to LaTeX math☆28Mar 26, 2023Updated 3 years ago
- A wrapper around Python's ctypes for Nim-specific function signatures.☆12Dec 12, 2017Updated 8 years ago
- Backport Python 3.8+ typing utils & add issubtype & more☆12Nov 9, 2022Updated 3 years ago
- My Own Dumb Language☆17Feb 28, 2019Updated 7 years ago
- Modular cloning simulation with the MoClo framework in Python☆12May 3, 2022Updated 4 years ago
- Painless micro-benchmarks☆21Mar 6, 2019Updated 7 years ago
- 🔔 Jingle is a dynamically-typed, multi-paradigm programming language designed for humans and machines.☆43Feb 19, 2021Updated 5 years ago
- Simple and clear import hooks for Python - import anything as if it were a Python module☆39Dec 10, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- OCaml debugger for VS Code☆14Feb 15, 2020Updated 6 years ago
- AFL++ with support for FormatFuzzer☆18May 28, 2025Updated 11 months ago
- Interpreted, dynamically typed, object-oriented programming language☆24Apr 29, 2026Updated 3 weeks ago
- Jazz - modern and fast programming language.☆95Jun 17, 2022Updated 3 years ago
- A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧☆623May 16, 2021Updated 5 years ago
- 📇 Compiler and engine☆19May 8, 2023Updated 3 years ago
- A toy stack based language vm in rust.☆15Apr 11, 2018Updated 8 years ago
- OCaml back end for Idris☆22Jan 24, 2018Updated 8 years ago
- ☆11May 27, 2017Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An Angular.JS library for reading, parsing, displaying, editing and replaying Go game records.☆12Oct 9, 2023Updated 2 years ago
- Experimental programming metalanguage, targeting on intertranspiling with other languages.☆19May 11, 2023Updated 3 years ago
- Compares Python's text parsing libraries☆27Jan 31, 2022Updated 4 years ago
- Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notat…☆45Oct 31, 2023Updated 2 years ago
- contains brython compatible version of pygame☆26Jul 28, 2021Updated 4 years ago
- RANS: Library & Tools, Implementation of ANS on a regular language☆32Feb 2, 2014Updated 12 years ago
- Idris LLVM codegen factored out☆82Jul 28, 2017Updated 8 years ago