helvm Goto Github PK

introduction-to-combinators-and-lambda-calculus

writeups from the book of the same name

iota-aaronfriel

iota-cpehle

iotabf

Tools for making and executing Iota programs, including a BrainFuck interpreter.

iotatt

A PTS Supporting Induction

jonesforth

Mirror of JONESFORTH

joy-amar47shah

A compiler for the Joy programming language

joy-clathomasprime

Interpreter for the concatenative language Joy

joy-free-monads

An interpreter for a Joy like concatenative language using free monads in Haskell

joy-hs

An interpreter for the Joy language written in Haskell.

joy-owainlewis

Compiler for the functional stack based programming language Joy

kaleidoscope

Haskell LLVM JIT Compiler Tutorial

kitten

A statically typed concatenative systems programming language.

komenos

Komenos is simple TicTacToe game between two players written in Brainfuck

labyrinth--

A two-dimensional programming language that transcompiles to brainf**k

lama

lambda-calculus

Tinkering with Lambda Calculus (Binary representations, DeBruijn indices, Automatic Church encoding)

lambda-calculus-maurobringolf

Haskell interpreted as λ-calculus, in Haskell.

lambda-calculus-murakamikennzo

Just a simple lambda calculus.

lambda-davidandrzej

Repo for working though ideas from "Lambda-Calculus and Combinators" by Hindley and Seldin.

lambda-dnlkrgr

interpreter for an untyped lambda calculus without the y-combinator

language-c

Source repository for https://hackage.haskell.org/package/language-c

language-c-inline

Inline C & Objective-C in Haskell

language-c-quote

language-mixal

Haskell parser and pretty-printer for the MIXAL assembly language

language-ocaml

Language tools for manipulating OCaml programs in Haskell (parser, pretty-printer, ...)

language-rust

Parser and pretty-printer for the Rust language

lazy-k

Lazy K

lazy-k-quoter

lazy-k-rst76

Project seeking the supreme (shortest) Lazy K program.