overminder/polymorphic-type-inference

Stars
2
Language
Haskell
License
Other
Created over 11 years ago
Updated about 9 years ago

overminder/polymorphic-type-inference

overminder

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

Implementing Mark P Jones's <Typing Haskell in Haskell> and SPJ's <TIoPL>.

sanya-jit

Let's (possibly) build a JIT!

kitchen-sink

sanya-native

Yet another scheme compiler... This time generating shitty code.

YAC

Yet another compiler...

punch-forward

A port forwarder written in Haskell, using UDP hole-punching as its NAT traversal technique.

ssh-socks5-pipe

Socks5 server through ssh with sshd_config.AllowTcpForwarding=no

CaLang

A C-alternative language, just like C--

sanya-c

adb-reverse-compat

`adb reverse` for older devices.

hello-audio

Playing with computer generated audio.

Grinder

Yet another compiler. This time following modern approaches.

simple-obfus

Obfuscates network connections to traverse IDS

YASI

Yet another scheme interpreter, written in RPython.

ihome-hacks

Gomoku-Comp3211

Three AI Gomoku.

dyld-notes

Some notes concerning the dynamic loader in OSX.

fyp

will use gae's async urlfetch later

jitplay

Play with PyPy's Jit generator, using stack-based bytecodes.

hs-mini-kanren

A miniKanren implementation in Haskell.

YASIR

Yet another Scheme interpreter, revised.

asmjs-jit

Playing with asm.js