Discover kisom/okasaki-coq Open Source project by Kyle Isom (@kisom)

local changes to surfraw - local edits prior to sending updates to surfraw-devel

surfraw

Shell

go-schannel

Bidirectional secure channels over TCP/IP

aescrypt

secp521r1 and AES-256-CTR with HMAC-SHA-384

rawk

rage against web frameworks - posix shell static site generator

Roff

cryptutils

Various crypto utilties based on a common NaCl/Ed25519 core.

goutils

Moved to sourcehut.

libschannel

Bidirectional secure channels over TCP/IP

filecrypt

Example file encryption using scrypt and NaCl for the gocrypto book.

crypto_intro

Intro to Cryptography With PyCrypto

A lightweight daemon framework in C.

netallow

IP whitelisting in Go

libdaemon

TeX

password

The CLI password manager I wrote for me.

crpk-depot

Certified Refurbished Private Key Depot

guard-xcode

Xcode CI!

Ruby

pmon

Lemote PMON2000 boot loader.

otpc

One-time password client.

simple-email

Clojure wrapper around the Apache Commons Email library.

Common Lisp library to parse Atom and RSS feeds.

cl-feedparse

Go implementation of Catena, a memory-consuming password scrambler.

catena

libemsha

HMAC-SHA-256 C++11 library designed for embedded systems

code translator - translate comments in code to english

ocspcheck

Check OCSP status.

ctrans

Prototype for some file server ideas.

cl-nebula

Interstellar mission to Proxima Centauri.

proxima

psignify

Portable OpenBSD signify.

unix-pipes

Unix pipes in Common Lisp.

First pass at porting eink.vim colours to emacs.

kyleisom.net

Site redesign.

HTML

editors

eink-emacs

Experiments in writing a Lisp editor.

editor-experiments

Watch files, run commands.

cmdwatch

personal.el

Customisations used with prelude.

Python interface for CFSSL library.

aoc

Advent of Code

pycfssl

Oderint, dum metuant. ¯\_(ಠ_ಠ)_/¯

laptop-gentoo

goat

woofs

kmg

irssi-scripts

irssi scripts for personal use

Perl

bcuz

bandcamp unzip

lora-modem

Feather-based LoRa modem for sending SMS-like messages.

python script to pull down the APOD and, in OS X, GNOME, and fluxbox, set the desktop background.

detoxin

binarm

A simple hex editor.

netcheck

is the network up>

Rust

APOD_py

Kill Go programs with errors.

die

vlisp

Experiments building a formally-verified Lisp.

Coq

RadioHead

Fork of RadioHead that removes unused classes.

Common FeatherWing library for Feather M0 and M4s.

featherlib

perl script to build a custom OpenBSD release install iso.

build_release

Perl

clj_web_service

example code for a blog article on using set theory

Another TODO tool: huzzah!

utility37

programming-clojure

Working through the second edition of Programming Clojure.

Prototype for some file server ideas.

nebula

Flexible argument parsing in Objective C.

randfault

flexargs

Objective-C

emacsd-nox

Emacs configuration for emacs-nox, such as on servers.

A simple app to help in learning French.

devlog

HTML

FrenchQuiz

Objective-C

cl-contracts

Common Lisp contracts

ROS sources for the robot.

krex-ros

Regenerate an SSH private key.

ninja generator

ssh-regen

rmtmp

remove temporary files

timestamper

Apply timestamps to standard input.

Haskell

ircbot

various IRC bots

Basic NLP tools for Python.

python_basicnlp

Simple function statistics for (properly-written) C and Go code.

nixos

NixOS configurations

Nix

funcstats

nq_ga

n-Queens genetic algorithm solution

Common Lisp binary utilities.

binary

simple bulletin board system

sbbs

quick server monitor with google voice functionality

ServerMon

Solar-powered atmospheric environment sensor.

redenv

Presentation for GoSF's July 2014 meetup.

gosf201407

timecard

python timecard script

Watch amazon for book prices.

watch-amazon

Auditable security event log.

auditlog

kam

jsonfmt

JSON formatter and pretty-printer.

wherewasi

Rust rewrite of whereami.

Rust

graphbook

Online collection of Unix notes.

cfsslfe

CFSSL frontends.

unix-notes

Shell

tlscrypt

Encryption using RSA TLS certificates.

Net--RawIP-playground

Playing around with raw packets.

Perl

sunvox-deb

Build a Debian package for SunVox.

Makefile

libiniparser

Simple ini-file parser.

cl-networks-search

Common Lisp utilities for exploring network analysis.

robots

Entropy sharing system for the Beaglebone Black.

entropyshare

pymods

collection of useful python modules

emacsd

Emacs: a fresh start.