Beast code in Giters

Tom Hawkins's repositories

atom

A DSL for embedded hard realtime applications.

Language:HaskellNOASSERTION268 21 6

verilog

A Verilog parser for Haskell.

Language:HaskellBSD-3-Clause32 9 1

binding-templates

Alpine binding mounting templates.

Language:Haskell20 7 2

smt-lib

Parsing and printing SMT-LIB from Haskell.

Language:HaskellNOASSERTION8 5 6

vcd

A small library for generating VCD files.

Language:HaskellNOASSERTION8 40

engineering-units

A numeric type to automatically manage engineering units in Haskell.

Language:HaskellNOASSERTION6 5 1

ivory-backend-acl2

An Ivory to ACL2 compiler.

Language:HaskellNOASSERTION4 60

cil

A Haskell interface to CIL.

Language:OCamlNOASSERTION3 30

risk

A Realtime Information-flow-control Separation Kernel

Language:HaskellNOASSERTION3 40

acl2

Writing and calling ACL2 from Haskell.

Language:HaskellNOASSERTION2 40

fp-intro

Introduction to Functional Programming

Language:Haskell2 40

sudoku

A simple sudoku solver in Haskell.

Language:Haskell2 40

verilog-gt

Language:HaskellNOASSERTION2 40

volleyball

Language:HaskellNOASSERTION2 40

blocking

Language:Haskell1 40

dove

Language:HaskellNOASSERTION1 40

heavylift

Language:Haskell1 40

hitting

Language:Haskell1 40

hydro

A design of a hydroplane using devsurf.

Language:Haskell1 40

monopoly

Language:HaskellNOASSERTION1 40

ni-proofs

Proofs of noninterference IFC security properties.

Language:Haskell1 40

outboard

Outboard maintenance course.

1 30

algae

Language:TeX030

calculus

Language:Haskell030

din

A model of the alpine ski binding setting defined by ISO-11088 2018, aka. DIN.

Language:JavaScript030

fish-and-chickens

030

horsetooth

Language:Makefile030

matching

Gale-Shapley matching algorithms in Haskell.

Language:Haskell020

resume

Language:Makefile030

wakeboarding

030