Beast code in Giters

jpt4's repositories

skio

Pure relational SKI combinator calculus interpreter.

Language:Scheme10 30

lambdaconf2018

5 40

prc

Computronium

Language:HTMLNOASSERTION3 2 1

xenotation

xenotation<->arabic numerals transliteration

Language:SchemeBSD-2-Clause3 20

cots

Robust portable computing for the modern age.

Language:OpenSCADISC2 3 1

sjas

Research into self-justifying axiom systems.

Language:HTML2 30

codex

Towards an exocortex.

1 20

act

ACT hardware description language and core tools.

Language:C++GPL-2.0000

actsim

Language:C++GPL-2.0000

amdev

Language:Common Lisp020

haskellbook

Language:Haskell020

icfp2024code

Language:Racket000

icfp2024paper

000

jpt4.github.io

Language:HTML020

lc2017

020

lc2019

010

logic-programming

Logic programming testbed

Language:SchemeNOASSERTION020

mal

mal - Make a Lisp

Language:AssemblyNOASSERTION010

miniKanren-with-symbolic-constraints

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

Language:SchemeMIT020

nocko

miniKanren Nock implementation

Language:SchemeNOASSERTION020

nocksche

Nock 4K in Scheme.

Language:Scheme020

noq

Language:Coq020

procjam2019

ProcJam 2019

Language:Racket020

qgame

Language:Scheme020

qmk_firmware

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

Language:CGPL-2.0010

ska

Solovay-Kitaev algorithm implementation

Language:Clojure020

slp

Language:Scheme020

tundra

digital arts tooling

Language:JavaScriptGPL-3.0010

wob

William Osborne Brigstocke Papers Repository Project

010

womb

alpha sans omega

Language:Scheme020