3c1u / maysick

Related projects: ⓘ

• cuddlefishie / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 3 years ago
• lambduli / monolog
  Small and simple logic programming language inspired by Prolog.
  ☆14Updated 2 years ago
• 05st / artemis
  Statically typed, high-level functional programming language.
  ☆12Updated 3 years ago
• xanxys / hs2bf
  Haskell to brainfuck compiler
  ☆29Updated 10 years ago
• DataKinds / charm
  A [ functional stack ] based language.
  ☆28Updated 10 months ago
• johnli0135 / redox-lang
  ☆25Updated this week
• naalit / pika
  A WIP little dependently-typed systems language
  ☆37Updated last month
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• remexre / evaltrees
  A simple term-rewriting interpreter that displays intermediate expressions.
  ☆14Updated 2 years ago
• raviqqe / ssf
  Structurally-typed strict functional core language
  ☆19Updated 7 months ago
• ThePuzzlemaker / tethys
  A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht
  ☆14Updated 6 months ago
• dhil / pthandlers
  an encoding of affine effect handlers using pthreads
  ☆13Updated last year
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆17Updated 4 years ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆30Updated 2 years ago
• 4y8 / esoo
  Like the Programming Languages Zoo but with esoteric languages.
  ☆26Updated 4 years ago
• osa1 / mincaml
  A MinCaml compiler implemented in Rust
  ☆41Updated last year
• raviqqe / fmm
  The uncurried minimal functional programming language for CPS transformation
  ☆18Updated 6 months ago
• alox-ai / alox
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆30Updated last year
• atennapel / tinka-hs
  Dependently typed programming language written in Haskell
  ☆22Updated 2 years ago
• mmcqd / datatt
  A dependent type theory with user defined data types
  ☆46Updated 2 years ago
• lambduli / frea
  A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.
  ☆17Updated 3 years ago
• john-ml / stitch
  Prolog + SMT
  ☆7Updated 4 years ago
• nabijaczleweli / wustc
  Exampwe of ewwonyenyonyuns code:
  ☆15Updated 4 years ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆23Updated 2 years ago
• plt-amy / ahc
  ☆20Updated this week
• serprex / Rue
  lang Thue + Regex
  ☆13Updated 2 years ago
• curly-lang / curly-lang
  The Curly programming language (now in Rust!)
  ☆30Updated 3 years ago
• ikko-lang / ikko
  Ikko language
  ☆26Updated 3 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 2 years ago