jacobaustin123 / CoralView external linksLinks
The Coral Programming Language: a blazingly-fast, gradually-typed Python compiler with optional static typing for optimization and safety.
☆147Jan 4, 2026Updated last month
Alternatives and similar repositories for Coral
Users that are interested in Coral are comparing it to the libraries listed below
Sorting:
- The Ribbon programming language☆11Jan 25, 2022Updated 4 years ago
- a concurrent compiled programming language☆15Jun 9, 2022Updated 3 years ago
- The Perlang Programming Language (GitHub Mirror)☆18Jan 30, 2026Updated 2 weeks ago
- Trivial/Tagless Polytypic Functions☆23Apr 14, 2020Updated 5 years ago
- Experiments with llvm to create a toy programming language☆25Nov 30, 2024Updated last year
- Interactive React-powered charting library for Lean 4 in VS Code's infoview☆13Jan 5, 2026Updated last month
- Parser and Compiler: Valhalla Lang — Set-Theoretic Programming Langauge☆12Nov 26, 2020Updated 5 years ago
- ☆10Mar 24, 2022Updated 3 years ago
- Repurpose object literals.☆14Jun 20, 2019Updated 6 years ago
- A library that implements the websocket protocol on top of Async☆14Jan 15, 2026Updated last month
- A ShadowSocks server implemented in Elixir☆12Jan 9, 2022Updated 4 years ago
- Cythonic wrapper around nanosvg for rasterizing SVGs☆10Jan 17, 2020Updated 6 years ago
- Compiler for a language with Python-like syntax☆11Dec 13, 2018Updated 7 years ago
- The implementation of NameResolution.jl for Julia language.☆29Mar 17, 2022Updated 3 years ago
- Partial implementation of the Janet bytecode VM in Javascript☆16Mar 1, 2022Updated 3 years ago
- Map lazy functional language constructs to LLVM IR☆52Jun 21, 2019Updated 6 years ago
- Deep-embedded combinators for strategic rewriting.☆15Nov 24, 2021Updated 4 years ago
- OCaml debugger for VS Code☆14Feb 15, 2020Updated 6 years ago
- Python-like syntax for Rust-like performance☆16Mar 17, 2023Updated 2 years ago
- Export Haskell type and aeson serializations to OCaml BuckleScript☆17Dec 11, 2020Updated 5 years ago
- Following along with Bob Nystrom's excellent book, Crafting Interpreters.☆12Apr 6, 2019Updated 6 years ago
- A toy stack based language vm in rust.☆15Apr 11, 2018Updated 7 years ago
- Runtime types for OCaml (beta version)☆27Jan 15, 2026Updated last month
- An LLVM compiler for an ML-like language (written in Rust)☆62Feb 28, 2022Updated 3 years ago
- Slideshow template for Voilà based on RevealJS☆16Nov 17, 2021Updated 4 years ago
- A better Arc / Rc [Still in research mode]☆19Feb 15, 2020Updated 6 years ago
- OBSOLETE | Simpler and centralized CI configuration for Python extensions.☆16Mar 7, 2023Updated 2 years ago
- Advent of Code 2020 in Julia☆15Dec 15, 2025Updated 2 months ago
- OpenSSL bindings to OCaml EIO☆20Jun 25, 2024Updated last year
- 🔔 Jingle is a dynamically-typed, multi-paradigm programming language designed for humans and machines.☆43Feb 19, 2021Updated 4 years ago
- Idris LLVM codegen factored out☆82Jul 28, 2017Updated 8 years ago
- OCaml library for manipulating context-free grammars☆20Nov 28, 2025Updated 2 months ago
- SFLK programing language reference interpreter☆12Dec 18, 2022Updated 3 years ago
- Experimental programming metalanguage, targeting on intertranspiling with other languages.☆19May 11, 2023Updated 2 years ago
- Painless micro-benchmarks☆20Mar 6, 2019Updated 6 years ago
- A package for your code to understand scoping rules(including mutability of free variables).☆18Dec 10, 2021Updated 4 years ago
- Crow programming language☆19Feb 6, 2026Updated last week
- ReactApollo bindings for BS☆23Jun 1, 2018Updated 7 years ago
- A toy programming language base on Golang and compile to C, no name yet☆34Feb 9, 2026Updated last week