kisom Goto Github PK

ocaml_tools

various tools written in ocaml while i learn the language

ocsp

ocspcheck

Check OCSP status.

okasaki-coq

Coq definitions of the data structures in PFDS.

okasaki-hs

Algorithms from Purely Functional Data Structures in Haskell

opengenera

Convenience scripts to run opengenera on Mac OS X or a modern linux.

osint-opsec-tool

The OSINT OPSEC Tool

otpc

One-time password client.

p-p-p-pokerface

papers-we-love

Papers from the computer science community to read and discuss.

password

The CLI password manager I wrote for me.

paxrat

paxrat is a utility to set PaX flags on a set of binaries.

paxset

Set and persist PaX flags on a Debian grsec system.

pcl

practical common lisp

percipio

hardware realisation of the computer from tecs

personal.el

Customisations used with prelude.

photon-wxs-v1

Version 1 of a Photon weather station.

pio

PlatformIO experiments.

pkcs11

pkcs11 wrapper for Go

pkcs7

PKCS #7 padding in Haskell.

platform-espressif32

Espressif 32: development platform for PlatformIO

platformio-libmirror

PlatformIO libraries mirror

plc

Propositional logic checker.

pmon

Lemote PMON2000 boot loader.

pond

Pond

precog

Working on a solution to the precog problem.

predicates

programming-clojure

Working through the second edition of Programming Clojure.

proxima

Interstellar mission to Proxima Centauri.

pscompile

Parenscript to Javascript transpiler doohickey for the command line.