jgarte
The canonical home page for my projects is at SourceHut shared with the WhereIsEveryone community. GitHub is just used for forks, work, and random stuff.
Madison, WI
Pinned Repositories
rde
Tools for managing reproducible development environments. Mirror of https://sr.ht/~abcdw/rde/
ripgrep
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
awesome-immutable
A list of resources for people who want to investigate image-based Linux desktops
compose
need help choosing tone rows?
guitar-scale-chart
Pretty guitar scales in your terminal
chord-editor
UI for generating simple chord diagrams for guitar, bass and piano
duck-lisp
A scripting language to make Hidey-Chess compliant with Greenspun's tenth rule
trealla
A compact, efficient Prolog interpreter written in plain-old C.
jgarte's Repositories
jgarte/copygc
Copying Collector port of baby's first garbage collecotr
jgarte/harec
jgarte/aioquic
QUIC and HTTP/3 implementation in Python
jgarte/amd-apcb
AMD Generic Encapsulated Software Architecture Platform Security Processor Configuration Block manipulation library
jgarte/bakage
An experimental package manager for Scryer Prolog
jgarte/certainty-by-construction
Source material for Certainty by Construction
jgarte/cl-lox
Second attempt at implement the tree walking interpreter in Crafting Interpreters in Common Lisp
jgarte/dark
Darklang main repo, including language, backend, and infra
jgarte/dotnet-mammoth
Convert Word documents to simple and clean HTML (C#/.NET)
jgarte/glindo
A simple parser combinator library that just works
jgarte/helix
A post-modern modal text editor.
jgarte/lamber
A functional scripting language compiling to pure Lambda Calculus
jgarte/lem-extension-manager
LEM(Lem extension manager) it's a package manager for the Lem editor/IDE
jgarte/livekit-rust-sdks
LiveKit real-time SDK and server API for Rust
jgarte/meow
Yet another modal editing on Emacs / 猫态编辑
jgarte/mimos
Mime database interface
jgarte/miranda
Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://codesync.global/media/open-sourcing-miranda-david-turner-code-mesh-v-2020-codemeshv2020/
jgarte/pokeapi
The Pokémon API
jgarte/pop-the-lock
jgarte/ravanan
High-reproducibility CWL runner powered by Guix
jgarte/scrypl-ninja
ninja.build generator written in Scryer Prolog
jgarte/src
dontfiles
jgarte/ssgg
rudimentaty static site generator
jgarte/stagit
jgarte/stagitt
jgarte/testing.pl
A test runner for Scryer Prolog and Trealla Prolog.
jgarte/TinyLean
Tiny theorem prover with syntax like Lean 4 in <1K LOC
jgarte/trealla
A compact, efficient Prolog interpreter written in plain-old C.
jgarte/twind.el
Insert Tailwind classes with the help of the cheatsheet
jgarte/what-if
Textbook on non-classical logics