jacobaustin123 / Coral

Related projects ⓘ

Alternatives and complementary repositories for Coral

• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆88Updated 2 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• Floydlang / floyd
  The Floyd programming language
  ☆150Updated 2 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-…
  ☆132Updated 2 years 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
• true-grue / raddsl
  Tools for rapid prototyping of DSL compilers
  ☆83Updated 3 years ago
• zesterer / funkicrab
  Optimising Brainfuck compiler: Run your beloved Brainfuck code, but faster.
  ☆69Updated 5 years ago
• scizzorz / rain
  A programming language.
  ☆20Updated 7 years ago
• lubieowoce / sumtype
  A namedtuple-style library for defining immutable sum types in Python.
  ☆27Updated 3 years ago
• baruchel / continuation
  A module for handling continuations in Python
  ☆33Updated 8 years ago
• graydon / exhaustigen
  ☆10Updated 2 years ago
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆29Updated last year
• Storyyeller / IntercalScript
  The IntercalScript programming language
  ☆133Updated 4 years ago
• Technologicat / unpythonic
  Supercharge your Python with parts of Lisp and Haskell.
  ☆91Updated last month
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆83Updated 6 months ago
• astampoulis / makam
  The Makam Metalanguage
  ☆194Updated last year
• syegulalp / Akilang
  A compiler for a simple language, built with Python and LLVM
  ☆99Updated 4 years ago
• xieyuheng / study
  Study of language design and implementation.
  ☆67Updated 4 years ago
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆281Updated 10 years ago
• basilTeam / basil
  Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…
  ☆124Updated 3 years ago
• alox-ai / alox
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆30Updated last year
• 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
• proglangdesign / proglangdesign.github.io
  A website for the #proglangdesign community on freenode
  ☆109Updated last week
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 4 years ago
• kammerdienerb / bJou
  Compiler for the bJou programming language
  ☆28Updated 4 years ago
• zserge / odetoj
  Rewrite of Arthur Whitney's one-page J interpreter in Rust
  ☆62Updated 4 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆62Updated 4 months ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆43Updated 2 months ago
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆159Updated 2 weeks ago
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 4 years ago