orchid-hybrid

bee

wrapper for assembly language

lain

Studying jonesforth

Moloch

moo

scm

Desert-Pocket-Gopher

Desert Pocket Gopher

lisp0

first order lisp

miniKanren-uncourse

Code, wiki, and resources for the weekly miniKanren uncourse

riff-raff

first order lisp interpreter in C

scheme-testing-code

code for testing scheme

scheme-to-c-in-90-mins

Marc Feeley

Similix

WHILE

while language compiler

ASCIIpOrtal

It's like portal, but in ASCII. And 2D. Sweet look-through mechanic, tho.

AUTOREF

programming language experiment

c-exprs

c-exprs

cryptol

Cryptol: The Language of Cryptography

Gallury

Idris-dev

A Dependently Typed Functional Programming Language

linear-c

experiment with substructural logic

matasano-cryptol

matasano challenges in cryptol

pattern-matcher

pattern matcher and define-language for racket/scheme

regexp-Brzozowski

Coq files for the formalization of "A Decision Procedure for Regular Expression Equivalence in Type Theory" by Thierry Coquand and myself

securestrings

Secure Strings

spider

having another go at autoref

sr

Syntax Rules for Scheme

syntactic-closures-macro-system

Syntactic Closures based on Bawden and Rees paper

um

Cult of the Bound Variable

victoredwardocallaghan.github.io

x86-emitter

Utility to emit nasm x86 assembly