The Coral Programming Language: a blazingly-fast, gradually-typed Python compiler with optional static typing for optimization and safety.
☆150Jan 4, 2026Updated 6 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:
- Query PyPI from the command line☆12Oct 28, 2025Updated 8 months ago
- Partial implementation of the Janet bytecode VM in Javascript☆16Mar 1, 2022Updated 4 years ago
- OCaml LLVM bindings tutorial☆22Apr 16, 2017Updated 9 years ago
- A library that implements the websocket protocol on top of Async☆14May 18, 2026Updated last month
- Repurpose object literals.☆14Jun 20, 2019Updated 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)☆18Updated this week
- AI/ML made easy☆10Feb 10, 2020Updated 6 years ago
- A work-in-progress GameBoy emulator.☆11Dec 21, 2021Updated 4 years ago
- The implementation of NameResolution.jl for Julia language.☆28Mar 17, 2022Updated 4 years ago
- Closure calculus implementation☆12Jun 25, 2019Updated 7 years ago
- A vim plugin that helps you refactor Haskell code☆16Nov 1, 2018Updated 7 years ago
- Experiments with llvm to create a toy programming language☆24Mar 27, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Adds disqus comments to a Lektor website.☆10Oct 1, 2020Updated 5 years ago
- A static strongly typed object oriented programming language with focus on composition☆23Aug 25, 2020Updated 5 years ago
- ☆16Dec 4, 2022Updated 3 years ago
- An LLVM compiler for an ML-like language (written in Rust)☆62Feb 28, 2022Updated 4 years ago
- Render Lektor content fields with Jinja2.☆11May 3, 2024Updated 2 years ago
- HTTP/1.1 server and client for ocaml (using Async)☆23Apr 26, 2025Updated last year
- Interactive React-powered charting library for Lean 4 in VS Code's infoview☆19Jan 5, 2026Updated 5 months ago
- Map lazy functional language constructs to LLVM IR☆54Jun 21, 2019Updated 7 years ago
- ReactApollo bindings for BS☆23Jun 1, 2018Updated 8 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.
- A simpler syntax for math typesetting written in go, converts to LaTeX math☆29Mar 26, 2023Updated 3 years ago
- Export Haskell type and aeson serializations to OCaml BuckleScript☆17Dec 11, 2020Updated 5 years ago
- A wrapper around Python's ctypes for Nim-specific function signatures.☆12Dec 12, 2017Updated 8 years ago
- OpenSSL bindings to OCaml EIO☆21Jun 25, 2024Updated 2 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
- (WIP) Enact: A compiled programming language that's simple, familiar and fast.☆29Oct 11, 2020Updated 5 years ago
- Modular cloning simulation with the MoClo framework in Python☆11May 3, 2022Updated 4 years ago
- Simple and clear embedabble programming language☆19Apr 3, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Painless micro-benchmarks☆21Mar 6, 2019Updated 7 years ago
- ☆12Sep 20, 2020Updated 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
- Jazz - modern and fast programming language.☆95Jun 17, 2022Updated 4 years ago
- ☆12Mar 26, 2020Updated 6 years ago
- OCaml back end for Idris☆22Jan 24, 2018Updated 8 years ago
- ☆11May 27, 2017Updated 9 years ago