kyle
0 Followers · 0 Following
  • Joined on 2022-02-22
Repositories
43
 Projects Packages Public Activity Starred Repositories
Filter
Sort
sparkbook
0 0
I'm learning along with _Building High Integrity Applications with SPARK_.
Updated 2022-10-19 02:03:30 +00:00
caddyhole
Go 0 0
Updated 2025-10-30 23:52:38 +00:00
quick-note
Go 0 0
Remotely add quick notes to my dendrons.
Updated 2022-02-25 08:48:34 +00:00
bladerunner
Starlark 0 0
Infrastructure for my computeblade infrastructure.
Updated 2023-04-30 01:05:49 +00:00
kmath
Python 0 0
Python maths code.
Updated 2022-03-08 08:16:30 +00:00
SmartCar
OpenSCAD 0 0
A car that is smort.
Updated 2022-04-04 00:48:46 +00:00
diskimg
0 0
Utility to write disk images.
Updated 2023-05-04 19:17:06 +00:00
ansible
Vim script 0 0
Updated 2023-05-12 02:22:12 +00:00
pcm4
C++ 0 0
A PC based on the M4.
Updated 2023-10-02 01:00:36 +00:00
go-mru
Go 0 0
A simple most-recently-used cache written in Go.
Updated 2025-11-16 06:48:31 +00:00
gokpkg
Go 0 0
gokrazy tooling
Updated 2023-10-03 06:09:08 +00:00
kcpmtk
Pascal 0 0
kyle's cp/m toolkit
Updated 2023-10-04 06:09:20 +00:00
rcpp
C++ 0 0
recursively copy by pattern
Updated 2023-10-17 07:49:23 +00:00
overpush
Go 0 0
Collect pushover notifications for a number of applications while managing rate limits.
Updated 2023-06-09 23:53:42 +00:00
kge
C++ 0 0
kyle's graphical (text) editor
Updated 2025-12-02 02:05:12 +00:00