Alternatives and similar repositories for tinyc:

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

• tugawa / ejs-new
  ☆17Updated 3 years ago
• fujita-y / digamma
  Derived from Ypsilon (fujita-y/ypsilon) for experimental research
  ☆27Updated 3 years ago
• smlsharp / mlpractice-book
  Supplemental materials for the book entitled "Practical ML Programming with SML#"
  ☆10Updated 3 years ago
• yf-fyf / hlisp
  A Lisp implementation in which a lot of language features are self-definable.
  ☆18Updated 5 years ago
• raviqqe / fmm
  The uncurried minimal functional programming language for CPS transformation
  ☆18Updated last year
• coord-e / mlml
  self-hosted compiler for a subset of OCaml
  ☆51Updated 5 years ago
• maekawatoshiki / eb
  Eb is a embeddable scripting programming language written in Rust
  ☆18Updated 3 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 3 years ago
• hatsugai / SyncStitch
  A Refinement Checker based on CSP
  ☆28Updated 2 years ago
• usm-takl / tiny-lang-with-lsp
  ☆12Updated 4 years ago
• KeenS / whitelie
  A self hosted whitespace compiler
  ☆32Updated 4 years ago
• mattn / zig-lisp
  ☆44Updated last year
• coord-e / ccc
  optimizing compiler for a subset of C language
  ☆34Updated 5 years ago
• zick / IchigoLisp
  LISP 1.5(-ish) implementation in WebAssembly
  ☆43Updated last year
• pi8027 / typeinfer
  Type inference in OCaml
  ☆40Updated 10 years ago
• niyarin / zutsuki-scheme
  Scheme imprementation written in JavaScript
  ☆9Updated 7 years ago
• mitsuchi / ron
  小さい計算体系をシンプルに定義できるような言語をつくりたい
  ☆12Updated last month
• iigura / Paraphrase
  Multi-core suitable Forth-like language
  ☆35Updated this week
• ksrky / Plato
  A purely functional programming language based on higher-order polymorphic lambda calculus
  ☆20Updated last year
• sasagawa888 / monolis
  ☆19Updated 4 years ago
• shirok / Gauche-lisp15
  LISP1.5 implemened on top of Gauche
  ☆23Updated 2 years ago
• ifritJP / LuneScript
  Transcompiler for lua and go.
  ☆32Updated last year
• na0214 / snail
  [WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.
  ☆13Updated 4 years ago
• fetburner / type-infer
  A Formal Verification of Algorithm W
  ☆17Updated 4 years ago
• ein-lang / ein
  The functional programming language for scalable development
  ☆34Updated 2 months ago
• unnohideyuki / bunny
  Haskell x Android
  ☆25Updated 2 years ago
• bwkimmel / secd
  SECD Machine Implementation in x86 Assembly
  ☆24Updated 10 years ago
• qnighy / umo
  A programming language (WIP)
  ☆29Updated 9 months ago
• Nymphium / ruff
  ONE-SHOT Algebraic Effects for Ruby!
  ☆22Updated 4 years ago
• semahawk / type-inference
  A Hindley-Milner(-Damas) type inference implementation in C.
  ☆13Updated 9 years ago