peterohanley

Pinned Repositories

AMMFirmware
Language:C1 3 00
cerberus
Cerberus C semantics
Language:OCaml0 0 00
detex
Low-level library for decompression and manipulation of texture blocks compressed using formats such as BC1/DXT1/S3TC, BC2-BC3, BC4/RGTC1, BC5/RGTC2, BC6 (BPTC_FLOAT), BC7 (BPTC), ETC1 and the ETC2 family, loading of KTX and DDS files, and conversion between pixel formats. Modified for use with OSX and via idris2 FFI.
Language:C0 0 00
Idris2
A purely functional programming language with first class types
Language:Idris0 0 00
nikoli
logic puzzle solvers
Language:Matlab1 1 00
orthoboxes
Language:C1 2 01
sensor-viewer-app
Language:JavaScript0 1 00
spi_proto
Language:C0 2 41

peterohanley's Repositories

peterohanley/AMMFirmware
Language:C1 3 00
peterohanley/nikoli
logic puzzle solvers
Language:Matlab1 1 00
peterohanley/orthoboxes
Language:C1 2 01
peterohanley/cerberus
Cerberus C semantics
Language:OCaml0 0 00
peterohanley/detex
Low-level library for decompression and manipulation of texture blocks compressed using formats such as BC1/DXT1/S3TC, BC2-BC3, BC4/RGTC1, BC5/RGTC2, BC6 (BPTC_FLOAT), BC7 (BPTC), ETC1 and the ETC2 family, loading of KTX and DDS files, and conversion between pixel formats. Modified for use with OSX and via idris2 FFI.
Language:C0 0 00
peterohanley/Idris2
A purely functional programming language with first class types
Language:Idris0 0 00
peterohanley/sensor-viewer-app
Language:JavaScript0 1 00
peterohanley/spi_proto
Language:C0 2 41