Pinned Loading

1. typeset typeset Public

   Text layout with arbitrary exclusions — originally authored by Jaye Marshall at The Times (News UK). Archived full npm history incl. provenance.

   TypeScript 1

2. fixpoint-linux/datalog-dafsa fixpoint-linux/datalog-dafsa Public

   DAFSA-backed Datalog engine in C: load facts, compile Datalog to a VM, materialize + serve from mmap snapshots. Docs: https://fixpointlinux.org/datalog-dafsa/

   Zig 1

3. NovaJS NovaJS Public

   Forked from mattsoulanille/NovaJS

   EV Nova in the browser

   TypeScript 1

4. fixpoint-linux/fx-ui fixpoint-linux/fx-ui Public

   Elm to ZINC-csexp compiler + runtime, running on the shared zinc-vm executor (fixpoint-linux)

   Elm

5. fixpoint-linux/dhall-vm fixpoint-linux/dhall-vm Public

   A subset of the Dhall configuration language, written in Zig. Typecheck, normalize, and serialize to JSON/TOML/YAML.

   Zig 1

6. fixpoint-linux/fx-core fixpoint-linux/fx-core Public

   fixpoint-linux coreutils in the fixpoint style (Dhall-typed args, Datalog/DAFSA, determinism, time-travel). Command reference: https://fixpointlinux.org/fx-core/

   Zig