jorendorff/type-inference jorendorff/type-inference

  • Stars
    star
    1
  • Language
    Haskell
  • Created over 8 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jorendorff/type-inference
github

jorendorff

Reviews

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

Repository Details

Toy implementation of type inference with unification

More Repositories

1

talks

Some talks I've given
HTML
90
star
2

cell-gc

A very small GC in Rust, with a safe API
Pascal
62
star
3

js-loaders

Pseudoimplementation of the proposed ES6 module loaders.
JavaScript
54
star
4

gc-in-50-lines

An example mark-and-sweep garbage collector in 50 lines of C++
C++
51
star
5

es-spec-html

An HTML version of the ECMAScript draft specification autogenerated from the source
HTML
51
star
6

rust-raytrace

Rust implementation of "Ray Tracing In One Weekend" by Peter Shirley
Rust
40
star
7

dht

Deterministic hash table (implementation and microbenchmarks)
C++
24
star
8

peeredit

A toy collaborative text editor to illustrate CRDTs.
JavaScript
24
star
9

atomicbox

Safe atomic Box types for Rust
Rust
22
star
10

tinysearch

A simple search engine in Python (for a talk at PyTennessee 2017)
Python
17
star
11

toy-calculator

A toy parser for a talk about compilers
JavaScript
15
star
12

rust-grammar

An ANTLR4 grammar for Rust.
ANTLR
11
star
13

game-playing

Some basic game-playing AI code in JS. For NashJS, 13 May 2015.
JavaScript
10
star
14

jorendb

GDB-like debugger for command-line JavaScript
C++
8
star
15

es6-in-depth

drafts of blog posts for https://hacks.mozilla.org/category/es6-in-depth/
HTML
7
star
16

jorendorff.github.io

jorendorff.github.io web site
HTML
5
star
17

hello-spidermonkey

Minimal application using Mozilla's SpiderMonkey JS engine
C++
3
star
18

turtle-wars

JavaScript
3
star
19

recipes

Algorithms I've implemented, involving food
3
star
20

webscratch

Attempt to port MIT’s Scratch development environment to HTML+Canvas
Smalltalk
3
star
21

advent-of-code

Python
3
star
22

indexor

A toy search engine
Rust
3
star
23

univax

How not to implement collaborative editing
JavaScript
2
star
24

esl-nashville

JavaScript
1
star
25

rust-fundata

Okasaki's Purely Functional Data Structures ...implemented in Rust?!
Rust
1
star
26

a-history-of-the-world-notes

Lesson plans for "A History of the World in 100 Objects".
1
star
27

topoi

"Aristotle's Topics" program from Hugh Burns's dissertation
VBA
1
star
28

blur-elixir

NIF to blur an image
Rust
1
star
29

slow.io

Like socket.io, but artificially slow
JavaScript
1
star
30

clobberation

How not to implement collaborative editing
JavaScript
1
star
31

incompavers

See https://github.com/rust-lang/rust-clippy/issues/9560
Rust
1
star
32

pewpew

Toy synthesizer stolen from PuzzleScript, refactored, and lightly commented
JavaScript
1
star
33

dropcards

Letter cards for reading fun
1
star
34

rust-mpmc

Multiple-producer-multiple-consumer channels in Rust
Rust
1
star
35

play-rust

A local Rust playground for Emacs
Emacs Lisp
1
star
36

machine-learning

my ml play lab
Rust
1
star
37

aoc-parse

A little library for parsing your Advent of Code puzzle input
Rust
1
star