typecraft

it's a starcraft clone but with a dope typesystem

BSD-3-CLAUSE License

Stars
47
View Code on GitHub
Ecosystems: Haskell

No README available, please check again later.

Related Projects
sequoia

🌳 a monadic FRP game library for haskell

19 Mar 2016 25
functional-design-patterns

could it be?

30 Jun 2024 11
type-errors

tools for writing better type errors

01 Jul 2019 73
everyone-screams-for-haskell

let's write a compiler

09 Jul 2017 5
nimic

a language about nothing

13 Jul 2019 19
dynahaskell

the dynabook but for haskell

11 Aug 2019 23
nullification

the game i've wanted to exist for a decade

19 Jan 2020 12
wheatley

haskell++

29 Mar 2020 8
compiling-to-categories-redux

we're TRYING AGAIN with @maybevoid

20 Sep 2019 8
THE-POLKANATOR

oompah oompah

20 Dec 2018 4
type-sets

type level sets

04 Aug 2019 67
type-diagrams

draw types in the style of Thinking with Types' cover

10 Nov 2018 6
hskit

luakit but in haskell

05 May 2019 8
reviews

Repository for technical reviews I do

07 Feb 2022 7
hatred

haskell typesetting

29 Oct 2018 8