Alternatives and similar repositories for kuljet:

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

• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆164Updated 5 months ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated 9 months ago
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆81Updated last month
• naalit / pika
  A WIP little dependently-typed systems language
  ☆41Updated 7 months ago
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆80Updated 4 years ago
• AshleyYakeley / Truth
  Changes and Pinafore projects. Pull requests not accepted.
  ☆33Updated this week
• Ahnfelt / funk
  PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching
  ☆53Updated 7 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated 4 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 5 months ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆167Updated last month
• gallettilance / magnificATS
  Collection of ATS goodness
  ☆35Updated 5 years ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆54Updated last year
• adam-mcdaniel / maroon-lang
  A (nearly) pure functional programming language.
  ☆24Updated 6 years ago
• mmcqd / datatt
  A dependent type theory with user defined data types
  ☆46Updated 3 years ago
• zachgk / catln
  A high-level programming language
  ☆39Updated 2 months ago
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆39Updated 9 months ago
• ikko-lang / ikko
  Ikko language
  ☆26Updated 4 years ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆74Updated 5 years ago
• bollu / timi
  A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages
  ☆69Updated 8 years ago
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆42Updated last year
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 5 years ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆56Updated 11 months ago
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• clark800 / lambda-zero
  minimalist pure lazy functional programming language (pythonic haskell)
  ☆77Updated last week
• 0x0f0f0f / gobba
  A purely functional dynamically typed programming language.
  ☆56Updated 4 years ago
• BookOwl / type-inference
  Hindley Milner Type Inference in Rust
  ☆12Updated 7 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆33Updated 4 years ago
• alox-ai / alox
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆29Updated last year
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago