cheery Goto Github PK

0137-compiler

2013-7 compiler

0138-lisp

Experimental dynamic language implementation

20131020-parser

Python-like parsing for hobby projects.

20131022-parser

S-Expr parsing

20131029-parser

parser for a custom syntax meant for dynamically typed language.

20131031-compiler

Compiler that reads from 20131029-parser.

20131202-game-main

Game project

ai-powered-sidescroller-shooter

Final project for the Building AI course

alonzo_nbe

Lambda calculus nbe-normalizer/parser/printer

ball_and_paddle_restoration

Restoration of Ball&Paddle console with Grant Searle's great work.

better_web_language

Lets fix this shit.

big-step-normalisation

Big step normalisation

bitcoin

Bitcoin integration/staging tree

browserid-service-verify

Verifies BrowserID assertion by using free verification service in browserid.org

cffi-gen

C Foreign function interface generator.

chartparser

Chart parser (Earley SPPF)

codemirror-ether

Demonstration, codemirror as a collaborative editor. Attempts to be simple enough for anyone to implement in their editor.

coffee-modules

Development Platform for Modular Client-side Coffeescript

colors-game

Hand-written clone of http://sleepysort.github.io/colors/

coyote-conundrum

design

WebAssembly Design Documents

dg

Direct Graphics API for Open Source Platforms

dialogic-vm

A VM prototype exploring dialogic programming

diffbuff

Diffable protocol buffers

duetto

Dependently typed language in Haskell

elm-bonsai

functional reactive programming combinators inspired after elm language, written in python.

elm-cadtoy

A little GUI experiment.

elm-earley

Interactive presentation set to compute language edit distance

ergodox-firmware

firmware for the ergoDOX keyboard

essence

Programming environment that failed to redefine terms in programming