tomstuart/tapl

Stars
1
Language
Ruby
Created over 7 years ago
Updated over 7 years ago

tomstuart/tapl

tomstuart

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

A Ruby implementation of typecheckers from Types and Programming Languages

monads

Simple Ruby implementations of some common monads.

computationbook

Example code for Understanding Computation

nothing

Programming with Nothing

utf-8-challenges

A short tutorial on UTF-8. Run with `ruby utf_8_challenges.rb`, unskip each test and make it pass!

kanren

An example Ruby implementation of μKanren.

tradfri

A Ruby interface to IKEA’s smart lighting system

dual_number

A Ruby implementation of dual numbers.

vector_space

A Ruby library for treating multidimensional values as elements of a vector space.

wasminna

Live coding a WebAssembly interpreter in pure Ruby with no dependencies, guided by the Wasm spec’s test suite

something

Programming with Something

little_scheme

Growing a little Scheme interpreter, guided by The Little Schemer

inference-rules

A simple implementation of generic inference rules

react-workshop

What Even Is A React (And So Can You!)

govuk-exhibit

A GOV.UK exhibit

lox

An implementation of the Lox language from Robert Nystrom’s “Crafting Interpreters”

neural-network

subsequence_matchers

capybara-envjs-button-bug

rubyforge-redirects

Crowdsourced redirects for old RubyForge URLs

genetic-algorithms

A scrappy genetic algorithm visualisation for London Computation Club

recursion-workshop

mandelbrot

Some scrappy Mandelbrot visualisations for London Computation Club

heylist

negative-numbers

Representing negative numbers in Ruby

hoas

An implementation of higher-order abstract syntax in Ruby