Pinned Loading

1. turing-soup turing-soup Public

   Emergent self-replicators in a soup of combinator calculus.

   C 2

2. godel godel Public

   Slow resolution-based reasoner for first-order logic. Work in progress.

   TypeScript 1

3. scip-ts scip-ts Public

   WASM build of the SCIP and HiGHS constraint solvers with a simple TypeScript interface.

   TypeScript

4. slackline slackline Public

   A physically accurate model of a slackline, derived from lagrangian mechanics.

   Python

5. agaricales-phylogeny agaricales-phylogeny Public

   Scripts for creating a phylogenetic tree of the Agaricales.

   Python

6. bubblyworld.github.io bubblyworld.github.io Public

   Personal blog.

   Ruby