John Meacham's repositories

toylogic

Random code dealing with logic and theorem proving

Language:HaskellStargazers:0Issues:0Issues:0

spacenavd

Free user-space driver for 6-dof space-mice.

License:GPL-3.0Stargazers:0Issues:0Issues:0

pico-fun

Various projects with the raspberry pi pico

Language:CLicense:MITStargazers:0Issues:0Issues:0

tiny_editline

Tiny editline library giving basic command line editing and history to embedded systems such as 8 bit MCUs.

Language:CLicense:MITStargazers:1Issues:0Issues:0

resizable_buf

simple automatically growing buffer for use in C with lots of useful utility routines

Language:CLicense:UnlicenseStargazers:0Issues:0Issues:0

yoink

Pointer chaser for C, copy live data, pickle it, arena allocator, etc.

Language:CLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

lzjwm

lzjwm tiny ascii compression algorithm.

Language:CLicense:BSD-2-ClauseStargazers:11Issues:0Issues:0

3dprinting

Miscellaneous 3D Printing Projects

Language:OpenSCADLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

sexpr_parse

Simple and fast standalone c parser for s-expressions.

Language:CLicense:UnlicenseStargazers:1Issues:0Issues:0

espresso-logic

A modern (2017) compilable re-host of the Espresso heuristic logic minimizer.

License:MITStargazers:0Issues:0Issues:0
Language:CStargazers:0Issues:0Issues:0
Language:CLicense:MITStargazers:3Issues:0Issues:0
Language:HaskellLicense:MITStargazers:3Issues:0Issues:0