Alternatives and similar repositories for Coral:

Users that are interested in Coral are comparing it to the libraries listed below

• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆93Updated 3 years ago
• jingle-lang / jingle
  🔔 Jingle is a dynamically-typed, multi-paradigm programming language designed for humans and machines.
  ☆42Updated 4 years ago
• syegulalp / Akilang
  A compiler for a simple language, built with Python and LLVM
  ☆100Updated 5 years ago
• mys-lang / mys
  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
• AjayMT / silk
  The Silk Programming Language
  ☆79Updated 3 years ago
• bourguet / operator_precedence_parsing
  C89 expressions parsed with the shunting yard algorithm in Python
  ☆76Updated 8 months ago
• ergawy / types-and-programming-languages
  C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..
  ☆34Updated 4 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated 10 months ago
• scizzorz / rain
  A programming language.
  ☆20Updated 7 years ago
• proglangdesign / proglangdesign.github.io
  A website for the #proglangdesign community on freenode
  ☆108Updated 3 weeks ago
• transistorfet / molten
  An LLVM compiler for an ML-like language (written in Rust)
  ☆60Updated 3 years ago
• true-grue / raddsl
  Tools for rapid prototyping of DSL compilers
  ☆83Updated 3 years ago
• alinalihassan / pyLesma
  Lesma Programming Language - old compiler written in Python. Please go to https://github.com/alinalihassan/Lesma for the current implemen…
  ☆41Updated 3 years ago
• jazz-lang / Jazz
  Jazz - modern and fast programming language.
  ☆92Updated 2 years ago
• BookOwl / type-inference
  Hindley Milner Type Inference in Rust
  ☆12Updated 7 years ago
• wongjiahau / Pineapple
  Definition for Pineapple language and its compiler
  ☆25Updated 6 years ago
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 5 years ago
• orsinium-labs / eff
  Python library to work with algebraic effects
  ☆72Updated 4 years ago
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆117Updated last year
• matthewfl / redmagic
  A meta tracing JIT for x86 and interpreters written in C/C++
  ☆35Updated 8 years ago
• JukkaL / alore
  The Alore programming language combines the convenience of Python with optional static typing
  ☆33Updated 12 years ago
• JDemler / BidirectionalTypechecking
  Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
  ☆111Updated 6 years ago
• nikomatsakis / bidir-type-infer
  Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust
  ☆46Updated 8 years ago
• playXE / migc
  Simple conservative GC using mimalloc
  ☆40Updated 2 years ago
• zesterer / funkicrab
  Optimising Brainfuck compiler: Run your beloved Brainfuck code, but faster.
  ☆69Updated 6 years ago
• joshsharp / python-braid
  Learning to build a language with RPython.
  ☆21Updated 7 years ago
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• athas / raytracers
  Performance comparison of parallel ray tracing in functional programming languages
  ☆304Updated last year
• MatzeB / fluffy
  The fluffy programming language main repository
  ☆24Updated 12 years ago