obfusk / koneko

Related projects: ⓘ

• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 3 months ago
• cuddlefishie / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆16Updated 2 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆17Updated 4 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆25Updated 5 years ago
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆40Updated 11 months ago
• vmchale / apple
  Apple array system
  ☆53Updated this week
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆52Updated 4 months ago
• lexi-lambda / shattered-plans
  ☆34Updated last year
• ThePuzzlemaker / tethys
  A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht
  ☆14Updated 6 months ago
• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 2 years ago
• MostAwesomeDude / brismu
  A relational interpretation of Lojban
  ☆31Updated this week
• balint99 / sfpl
  A simple functional programming language.
  ☆20Updated 3 years ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆17Updated 2 months ago
• fwcd / curry-language-server
  IDE support for the functional logic language Curry
  ☆26Updated last month
• johnli0135 / redox-lang
  ☆25Updated this week
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆30Updated 2 years ago
• aionescu / oplang
  Stack-based esoteric programming language
  ☆17Updated 3 months ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆49Updated last year
• AshleyYakeley / Truth
  Changes and Pinafore projects. Pull requests not accepted.
  ☆32Updated this week
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆70Updated 4 years ago
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆49Updated 4 months ago
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆55Updated 3 months ago
• RocketRace / hoopy
  Inline Haskell inside your Python code
  ☆25Updated 2 months ago
• plt-amy / ahc
  ☆20Updated this week
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆81Updated 2 years ago
• elucent / scheme2d
  The future of programming.
  ☆69Updated 3 years ago
• marvinborner / BLoC
  File format and optimizer for programs encoded in binary lambda calculus
  ☆11Updated 7 months ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆27Updated 2 years ago