Skip to content
View jmars's full-sized avatar
💥
Increasing P(DOOM)
💥
Increasing P(DOOM)

Block or report jmars

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. dpdr-public dpdr-public Public

    A control-theoretic model of self-regulation: paper, 14 figures, and a reproducible artifact set with an executable checker. The model's failure mode is collapse of a self-content generator; DPDR i…

    Python

  2. blog.jaye.ch blog.jaye.ch Public

    The plain-language companion to the self-application paper: a ten-post series on meditation-related adverse effects, the control-theoretic model behind them, and the coercive structures that exploi…

    JavaScript

  3. 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

  4. NovaJS NovaJS Public

    Forked from mattsoulanille/NovaJS

    EV Nova in the browser

    TypeScript 1

  5. 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

  6. logical-english logical-english Public

    Logical English (Kowalski 2020) compiled to Datalog, and back: a compiler, an LPS reactive-rule driver, a meta-level use/mention embedding, and a reverse Datalog->LE renderer.

    Python