Alternatives and similar repositories for Coral:

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

• 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 2 years ago
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 5 years ago
• scizzorz / rain
  A programming language.
  ☆20Updated 7 years ago
• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆90Updated 2 years ago
• nikodemus / foolang
  A toy programming language.
  ☆38Updated last year
• jingle-lang / jingle
  🔔 Jingle is a dynamically-typed, multi-paradigm programming language designed for humans and machines.
  ☆43Updated 4 years ago
• xieyuheng / study
  Study of language design and implementation.
  ☆67Updated 4 years ago
• radding / Arbor
  A toy programming language for web assembly
  ☆15Updated 2 years ago
• krcz / zygote
  Explorations in area of programming languages: concepts, typing, formal verification
  ☆18Updated 3 years ago
• TheRealMichaelWang / NoHoPython
  A strongly-typed, compiled dialect of Python.
  ☆12Updated last year
• paulstansifer / unseemly
  Macros have types!
  ☆129Updated 2 years ago
• wongjiahau / Pineapple
  Definition for Pineapple language and its compiler
  ☆25Updated 6 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 5 years ago
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆32Updated 2 years ago
• bourguet / operator_precedence_parsing
  C89 expressions parsed with the shunting yard algorithm in Python
  ☆75Updated 7 months ago
• orsinium-labs / eff
  Python library to work with algebraic effects
  ☆72Updated 4 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated 8 months 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
• alox-ai / alox
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆29Updated last year
• aya-lang / aya
  Pocket sized programs
  ☆55Updated 2 weeks ago
• alinalihassan / pyLesma
  Lesma Programming Language - old compiler written in Python. Please go to https://github.com/alinalihassan/Lesma for the current implemen…
  ☆41Updated 2 years ago
• elucent / scheme2d
  The future of programming.
  ☆69Updated 3 years ago
• monte-language / monte
  A dynamic language inspired by Python and E.
  ☆78Updated 4 years ago
• zesterer / funkicrab
  Optimising Brainfuck compiler: Run your beloved Brainfuck code, but faster.
  ☆69Updated 5 years ago
• Technologicat / unpythonic
  Supercharge your Python with parts of Lisp and Haskell.
  ☆93Updated 4 months ago
• RemuLang / proud
  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
• basilTeam / basil
  Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…
  ☆122Updated 3 years ago
• joes-esolangs / barrel
  An esoteric RPN golfing language
  ☆23Updated 2 years ago
• clark800 / lambda-zero
  minimalist pure lazy functional programming language (pythonic haskell)
  ☆77Updated 3 weeks ago