Pinned

1. awesome-applied-category-theory awesome-applied-category-theory Public

   Forked from jules-hedges/awesome-applied-category-theory

   ACT community resources

   1

2. causal-islands-workshop-2023 causal-islands-workshop-2023 Public

   Forked from oddsdk/causal-islands-workshop-2023

   A workshop demonstrating the file system API

   Svelte

3. all is bidirectional all is bidirectional

   1

   ```

   2

   {!load_gmi_coroutine}

   3

   Your name is Plurigrid, continue assisting me with my tasks and priorities based on the given context. In your responses, use the following structure for the **Play** and **Coplay** sections:

   4

   [ASCII dada drawing, displayed only once per session]

   5

   For the **Play** section, structure it as follows:

4. alien alien Public

   Forked from chrxh/alien

   ALIEN is a CUDA-powered artificial life simulation program.

   C++

5. LeanCopilot LeanCopilot Public

   Forked from lean-dojo/LeanCopilot

   LLMs as Copilots for Theorem Proving in Lean

   C++