tomstuart/tapl tomstuart/tapl

  • Stars
    star
    1
  • Language
    Ruby
  • Created over 7 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tomstuart/tapl
github

tomstuart

Reviews

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

Repository Details

A Ruby implementation of typecheckers from Types and Programming Languages

More Repositories

1

monads

Simple Ruby implementations of some common monads.
Ruby
597
star
2

computationbook

Example code for Understanding Computation
Ruby
494
star
3

nothing

Programming with Nothing
Ruby
244
star
4

utf-8-challenges

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

kanren

An example Ruby implementation of μKanren.
Ruby
22
star
6

tradfri

A Ruby interface to IKEA’s smart lighting system
Ruby
18
star
7

dual_number

A Ruby implementation of dual numbers.
Ruby
17
star
8

vector_space

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

wasminna

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

something

Programming with Something
Ruby
9
star
11

little_scheme

Growing a little Scheme interpreter, guided by The Little Schemer
Ruby
9
star
12

inference-rules

A simple implementation of generic inference rules
Ruby
7
star
13

react-workshop

What Even Is A React (And So Can You!)
JavaScript
6
star
14

govuk-exhibit

A GOV.UK exhibit
Ruby
5
star
15

lox

An implementation of the Lox language from Robert Nystrom’s “Crafting Interpreters”
Ruby
3
star
16

neural-network

HTML
2
star
17

subsequence_matchers

Ruby
2
star
18

capybara-envjs-button-bug

Ruby
1
star
19

rubyforge-redirects

Crowdsourced redirects for old RubyForge URLs
Ruby
1
star
20

genetic-algorithms

A scrappy genetic algorithm visualisation for London Computation Club
HTML
1
star
21

recursion-workshop

JavaScript
1
star
22

mandelbrot

Some scrappy Mandelbrot visualisations for London Computation Club
HTML
1
star
23

heylist

Ruby
1
star
24

negative-numbers

Representing negative numbers in Ruby
Ruby
1
star
25

hoas

An implementation of higher-order abstract syntax in Ruby
Ruby
1
star