tomahawkins/fp-intro
Introduction to Functional Programming
Developer Profile
tomahawkins
Discovered public repositories for tomahawkins in the GitHub catalog.
tomahawkins/blocking
Public repository.
tomahawkins/acl2
Writing and calling ACL2 from Haskell.
tomahawkins/engineering-units
A numeric type to automatically manage engineering units in Haskell.
tomahawkins/ivory-backend-acl2
An Ivory to ACL2 compiler.
tomahawkins/gigl
A simple imperative language.
tomahawkins/risk
A Realtime Information-flow-control Separation Kernel
tomahawkins/ideas
Public repository.
tomahawkins/atom-hd
An Atom DSL for hardware design.
tomahawkins/trackcad
A CAD library for designing tracked vehicles.
tomahawkins/track
Computed diagrams of possible slot car track layouts.
tomahawkins/asm-dsl-example
An example showing how to build an assembly DSL in Haskell.
tomahawkins/lmor
Public repository.
tomahawkins/emsec
Public repository.
tomahawkins/hydro
A design of a hydroplane using devsurf.
tomahawkins/fcnav
A map to help navigate your way through the Fort Custer Maze in Clear Lake, IA.
tomahawkins/devsurf
A DSL for creating developable surfaces.
tomahawkins/circ
A compiler IR compiler.
tomahawkins/clutch-control-example
A ImProve example for control systems.
tomahawkins/rtl
A simple logic design DSL.
tomahawkins/sls
Switch level synthesis using SMT.
tomahawkins/verilog
A Verilog parser for Haskell.
tomahawkins/mecha
A solid modeling language in Haskell.
tomahawkins/elf
Haskell library for parsing ELF object files
tomahawkins/bmp
Public repository.
tomahawkins/theoremquest
Public repository.
tomahawkins/fault-tree
A fault tree analysis library.
tomahawkins/fountain
A fountain codec in Haskell.
tomahawkins/ecu
Utilities for automotive ECU development.
tomahawkins/ccnx
A Haskell platform for experimenting with content centric networking.
tomahawkins/improve
An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checking. ImProve compiles to C and Simulink.
tomahawkins/trs
Hardware description language based on conditional term rewriting systems.
tomahawkins/smt-lib
Parsing and printing SMT-LIB from Haskell.
tomahawkins/resume
Public repository.
tomahawkins/srec
Reading S-Record files from Haskell.
tomahawkins/statechart
Compiles Rhapsody statecharts to C.
tomahawkins/cil
A Haskell interface to CIL.
tomahawkins/powerpc-eabi
Scripts and patches to build a GCC cross compiler (C, C++, Ada) for bare metal PowerPC targets.
tomahawkins/ltl
Tools for testing embedded software with linear temporal logic.
tomahawkins/vcd
A small library for generating VCD files.
tomahawkins/hydraulics
A gschem symbol library for describing hydraulic circuits.
tomahawkins/afv
C model checking.
tomahawkins/powerpc
Tools for PowerPC programs.
tomahawkins/atom
A DSL for embedded hard realtime applications.