carld/wangs-algorithm

Stars
4
Rank 3,244,887 (Top 66 %)
Language
Racket
Created over 7 years ago
Updated about 7 years ago

carld/wangs-algorithm

carld

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

THE WANG ALGORITHM FOR THE PROPOSITIONAL CALCULUS (1960)

micro-lisp

🎄A very small Lisp programming language 😀that used to be under 200 lines of C🎄

compiler-tutorial

Incremental Compiler paper by Abdulaziz Ghuloum, using Chez scheme, Nasm, x86_64 for OSX

lispkit

FUNCTIONAL PROGRAMMING: Application and Implementation, Peter Henderson, ISBN 0-13-331579-7

opengl-ttf-terminal

A terminal window for Linux implemented using libtsm, libsdl, stb_truetype, fontstash

ray-tracer-glsl

Ray Tracer in a GLSL fragment shader

lisp-interpreter

Small Lisp Interpreter, in less than 250 lines of C, a mash up of a few different small implementations

crt-term

A linux terminal window that renders using OpenGL shaders

redis-client.egg

ray-tracer

Software ray tracer, from Ray Tracing in One Weekend

lambda-papers-match

The match implementation from "Scheme: an Interpreter for Extended Lambda Calculus"

scheme-compiler

Scheme compiler based on the example in the book Paradigms of Artificial Intelligence by Peter Norvig

mars-y-pan

Urho3D terrain experiment, with Mars rover

tinyscheme

homelisp

another attempt at implementing lisp

automata-via-macros

Automata via Macros for Guile Scheme

lemonade-stand

sl5

carld.github.io

fin-data-clj

A GraphQL service in Clojure

sassy

x86 assembler in Scheme

nato-software-engineering

NATO Software Engineering Conference 1968

cl-posix-shm

kernel

http://arjunsreedharan.org/post/82710718100/kernel-101-lets-write-a-kernel

mysql-client.egg

MySQL egg for Chicken Scheme

portfolio-optimization

shared_memory

moonlight

Moonlight Creator

l3dtpython

Automatically exported from code.google.com/p/l3dtpython

bcompiler

dotnetcore-odata

cl-emi