Claim @tomahawkins

atom. A DSL for embedded hard realtime applications.

277

ecu. Utilities for automotive ECU development.

59

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.

56

verilog. A Verilog parser for Haskell.

37

binding-templates. Alpine binding mounting templates.

35

mecha. A solid modeling language in Haskell.

28

ccnx. A Haskell platform for experimenting with content centric networking.

11

asm-dsl-example. An example showing how to build an assembly DSL in Haskell.

10

afv. C model checking.

9

smt-lib. Parsing and printing SMT-LIB from Haskell.

8

powerpc. Tools for PowerPC programs.

8

vcd. A small library for generating VCD files.

8

powerpc-eabi. Scripts and patches to build a GCC cross compiler (C, C++, Ada) for bare metal PowerPC targets.

6

fountain. A fountain codec in Haskell.

6

engineering-units. A numeric type to automatically manage engineering units in Haskell.

6

ivory-backend-acl2. An Ivory to ACL2 compiler.

5

ltl. Tools for testing embedded software with linear temporal logic.

4

theoremquest. Haskell

4

srec. Reading S-Record files from Haskell.

3

risk. A Realtime Information-flow-control Separation Kernel

3

fault-tree. A fault tree analysis library.

3

cil. A Haskell interface to CIL.

3

volleyball. Haskell

2

verilog-gt. Haskell

2

acl2. Writing and calling ACL2 from Haskell.

2

lmor. Haskell

2

fp-intro. Introduction to Functional Programming

2

hydraulics. A gschem symbol library for describing hydraulic circuits.

2

statechart. Compiles Rhapsody statecharts to C.

2

trs. Hardware description language based on conditional term rewriting systems.

2

circ. A compiler IR compiler.

2

sudoku. A simple sudoku solver in Haskell.

2

devsurf. A DSL for creating developable surfaces.

2

monopoly. Haskell

1

ni-proofs. Proofs of noninterference IFC security properties.

1

blocking. Haskell

1

hydro. A design of a hydroplane using devsurf.

1

rtl. A simple logic design DSL.

1

hitting. Haskell

1

trackcad. A CAD library for designing tracked vehicles.

1

fcnav. A map to help navigate your way through the Fort Custer Maze in Clear Lake, IA.

1

gigl. A simple imperative language.

1

sls. Switch level synthesis using SMT.

1

heavylift. Haskell

1

dove. Haskell

1

track. Computed diagrams of possible slot car track layouts.

1

elf. Haskell library for parsing ELF object files

1

clutch-control-example. A ImProve example for control systems.

1

emsec. Haskell

1

atom-hd. An Atom DSL for hardware design.

1

outboard. Outboard maintenance course.

1

bmp. Haskell

1

Tom Hawkins