4 KiB
4 KiB
Purescript
Name | Description |
---|---|
abilities | Typeclass-dictionary abuse enabling the creation of a barebones effect system |
bug | Unknown reason of existence |
canopy | Unfinished attempt at writing a Diplomacy adjudecation engine |
compose | Overload do-notation for function composition and existential types |
ecs | Purescript-wrapper for thi.ng/ecs |
existentials-blog | Perhaps supposed to turn into a blog about existentials? |
existentials | Experiment regarding the Church-encoding of existential types |
free | Experiments regarding free monads and interpreting algebras |
gadts | Experiment regarding ways to encode GADTs in Purescript |
kombinators | Attempt at generating factorio combinator networks programmatically |
lambda-calculus | Lambda calculus evaluator |
lunarline | Attempt at optimizing a functional language using compile-time partial evaluation |
lune | Failed effect-system project |
maps | Attempt at implementing maps with membership proofs |
proofs | Attempt at expressing mathematical proofs using Purescript's effect system |
purebird | Flappy-bird game |
purpleflow | Unfinished dependently-typed programming language |
slice | Basic benchmarks and a Slice type |
sprint | Failled effect-system based on typelevel lists |
strategy | Unfinished attempt at implementing a mixed strategy nash equilibrium solver |
streams | Playing with purescript-pipes |
thumbor | Dropped attempt at writing purescript bindings for thumbor-ts |
typelevel | Typelevel naturals, vectors, sum-types, orderings and lambda-calculus evaluation and a value-level bounded-type GADT |