bitonic/ml-w bitonic/ml-w

  • Stars
    star
    11
  • Rank 1,694,829 (Top 34 %)
  • Language
    Haskell
  • Created over 12 years ago
  • Updated over 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bitonic/ml-w
github

bitonic

Reviews

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

Repository Details

Minimal ML language to to demonstrate the W type infererence algorithm

More Repositories

1

pipes-speed-test

Assembly
160
star
2

wadump

Small utility to dump data from the multi-device WhatsApp web client.
JavaScript
57
star
3

suggest

Simple auto completion web server
JavaScript
33
star
4

mazzo.li

Source for https://mazzo.li
Haskell
28
star
5

tog

Haskell
25
star
6

hakyll-agda

Hakyll support for Agda literate files
Haskell
19
star
7

zurihac-plays

Haskell
12
star
8

sundown

Haskell bindings to the sundown markdown library
C
12
star
9

ny-haskell-agda

Code and slides form my talk at NY Haskell
Agda
9
star
10

anapo

Haskell
8
star
11

micrograd-ad

Haskell
8
star
12

kant

Core dependent language based on OTT (someday)
Haskell
7
star
13

x62-fancontrol

C
7
star
14

agdastuff

Assorted Agda code.
Haskell
7
star
15

haskell-readability

Short article about Haskell, python, and readability
Haskell
7
star
16

bson-mapping

type safe mapping between algebraic data types and bson documents.
Haskell
6
star
17

pitch-control

Haskell
6
star
18

reskell

A clone of hacker news in happstack
Haskell
4
star
19

kyotocabinet

Mid level Haskell bindings to KyotoCabinet
Haskell
4
star
20

language-spelling

Haskell library meant to be a set of tools to correct spelling mistakes, homophones, and OCR errors
Haskell
4
star
21

YouTubePlayer

MooTools class that wraps the YouTube player JavaScript API.
JavaScript
3
star
22

malice

Compiler for a really special language.
Haskell
2
star
23

troppotardi

Python
2
star
24

hs-cam-filter

Haskell
2
star
25

puzzlescript-rs

Rust
2
star
26

cpdt-agda

Partial translation of http://adam.chlipala.net/cpdt/ in Agda
2
star
27

ml

Parser/TypeChecker/Compiler for a simple flavour of ML.
Haskell
2
star
28

wordwang2

Haskell
2
star
29

andreaciofi

JavaScript
1
star
30

quatris

Tetris clone with AI and bastard mode
C
1
star
31

swine

🐖
Haskell
1
star
32

2048hs

2048 + AI in Haskell
Haskell
1
star
33

zoli-shake

Haskell
1
star
34

fancontrol

Stupid fancontrol script, since nothing else seems to work for me.
1
star
35

dependencies

Analyze module dependencies in erlang apps
Erlang
1
star
36

ghc-timers

Haskell
1
star
37

dogfights

Rust
1
star
38

gogh

Haskell templates, similar to Google Closure templates
Haskell
1
star