Skip to content
View jpt4's full-sized avatar
29 followers · 103 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Organizations

@ixtechnology @autarkenterprises
Block or Report

Block or report jpt4

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

  • cpp2025 Public

    Certified Programs and Proofs 2025

    Updated Jul 10, 2024

  • icfp2024code Public

    Racket Updated Jul 10, 2024

  • nocksche Public

    Nock 4K in Scheme.

    Scheme Updated Jun 23, 2024

  • nocko Public

    miniKanren Nock implementation

    Scheme Other Updated Jun 23, 2024

  • icfp2024paper Public

    Updated Jun 14, 2024

  • wob Public

    William Osborne Brigstocke Papers Repository Project

    Updated May 2, 2024

  • xenotation Public

    xenotation<->arabic numerals transliteration

    Scheme 3 1 BSD 2-Clause "Simplified" License Updated Jan 3, 2024

  • codex Public

    Towards an exocortex.

    1 Updated Jan 2, 2024

  • womb Public

    alpha sans omega

    Scheme 1 Updated Jul 7, 2023

  • act Public

    Forked from asyncvlsi/act

    ACT hardware description language and core tools.

    C++ GNU General Public License v2.0 Updated May 17, 2023

  • actsim Public

    Forked from asyncvlsi/actsim
    C++ GNU General Public License v2.0 Updated May 13, 2023

  • sjas Public

    Research into self-justifying axiom systems.

    HTML 2 1 Updated Sep 1, 2022

  • qmk_firmware Public

    Forked from qmk/qmk_firmware

    Open-source keyboard firmware for Atmel AVR and Arm USB families

    C GNU General Public License v2.0 Updated Mar 10, 2021

  • prc Public

    Computronium

    HTML 3 3 Other Updated Aug 12, 2020

  • ska Public

    Solovay-Kitaev algorithm implementation

    Clojure Updated Aug 12, 2020

  • qgame Public

    Scheme Updated Feb 17, 2020

  • mal Public

    Forked from kanaka/mal

    mal - Make a Lisp

    Assembly Other Updated Nov 30, 2019

  • procjam2019 Public

    ProcJam 2019

    Racket Updated Nov 20, 2019

  • tundra Public

    Forked from olewhalehunter/tundra

    digital arts tooling

    JavaScript GNU General Public License v3.0 Updated Oct 16, 2019

  • amdev Public

    Common Lisp Updated Oct 12, 2019

  • lc2019 Public

    Updated Jun 7, 2019

  • haskellbook Public

    Haskell Updated May 5, 2019

  • noq Public

    Coq Updated Jul 7, 2018

  • slp Public

    Scheme Updated Jun 18, 2018

  • lambdaconf2018 Public

    5 1 Updated Jun 3, 2018

  • jpt4.github.io Public

    HTML Updated Apr 12, 2018

  • logic-programming Public

    Logic programming testbed

    Scheme Other Updated Oct 5, 2017

  • skio Public

    Pure relational SKI combinator calculus interpreter.

    Scheme 10 2 Updated Jul 13, 2017

  • miniKanren-with-symbolic-constraints Public

    Forked from webyrd/miniKanren-with-symbolic-constraints

    Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.

    Scheme MIT License Updated Apr 8, 2017

  • lc2017 Public

    Updated Feb 1, 2017