From ef25c02f0ec744de34d5f12d8add6afd66bd4df2 Mon Sep 17 00:00:00 2001 From: prescientmoon Date: Sun, 1 Sep 2024 01:03:11 +0200 Subject: [PATCH] Add new repos to readme --- purescript/README.md | 3 ++- typescript/README.md | 2 ++ 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/purescript/README.md b/purescript/README.md index a852565..c760a30 100644 --- a/purescript/README.md +++ b/purescript/README.md @@ -9,8 +9,8 @@ | [ecs](./ecs/) | Purescript-wrapper for [thi.ng/ecs](thi.ng/ecs) | | [existentials-blog](./existentials-blog) | Perhaps supposed to turn into a blog about existentials? | | [existentials](./existentials) | Experiment regarding the Church-encoding of existential types | -| [free](./free/) | Experiments regarding free monads and interpreting algebras | | [factorio-throughput](./factorio-throughput/) | Experiments with computing throughput of factorio systems | +| [free](./free/) | Experiments regarding free monads and interpreting algebras | | [gadts](./gadts) | Experiment regarding ways to encode GADTs in Purescript | | [kombinators](./kombinators) | Attempt at generating factorio combinator networks programmatically | | [lambda-calculus](./lambda-calculus) | Lambda calculus evaluator | @@ -24,5 +24,6 @@ | [sprint](./sprint) | Failled effect-system based on typelevel lists | | [strategy](./strategy) | Unfinished attempt at implementing a mixed strategy nash equilibrium solver | | [streams](./streams) | Playing with `purescript-pipes` | +| [switcheroo](./switcheroo) | Index-monad based stream library idea | | [thumbor](./thumbor) | Dropped attempt at writing purescript bindings for [thumbor-ts](https://github.com/Brettm12345/thumbor-ts) | | [typelevel](./typelevel) | Typelevel naturals, vectors, sum-types, orderings and lambda-calculus evaluation and a value-level bounded-type GADT | diff --git a/typescript/README.md b/typescript/README.md index 0d49505..5b500e9 100644 --- a/typescript/README.md +++ b/typescript/README.md @@ -9,9 +9,11 @@ | [lunardash](./lunardash/) | Rhythm game I dropped super early into development | | [lunargame](./lunargame/) | Platform for hosting my games. Previously known as `lumarbox` (before that became it's own thing) | | [monadic](./monadic) | Custom web framework inspired by [halogen](https://github.com/purescript-halogen/purescript-halogen) | +| [monorepo-template](./monorepo-template/) | Overly-engineered template for typescript monorepos | | [multiplayer-backend](./multiplayer-backend) | Unfinished server for some multiplayer game. Later rebranded into `pleix-backend` | | [og-website](./og-website) | My first ever personal website | | [option](./option/) | Typescript implementation of the `Maybe` monad | | [pleix-frontend](./pleix-frontend/) | No idea what `pleix` was supposed to be, but this was essentially just a bunch of experiments with [lit-html](https://lit.dev/) | +| [simio-client](./simio-client/) | Client for unfinished gravity simulator I was working on | | [translucid](./translucid) | Tiny server lib I wrote as a beginner | | [wave38](./wave38/) | Remake of [wave37](https://github.com/Mateiadrielrafael/wave37) I dropped super early into development. |