4.3 KiB
4.3 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 |
| factorio-throughput | Experiments with computing throughput of factorio systems |
| 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 |