tomahawkins/asm-dsl-example tomahawkins/asm-dsl-example

  • Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language
    Haskell
  • Created almost 12 years ago
  • Updated almost 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tomahawkins/asm-dsl-example
github

tomahawkins

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

atom

A DSL for embedded hard realtime applications.
Haskell
268
star
2

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.
Haskell
56
star
3

ecu

Utilities for automotive ECU development.
Haskell
48
star
4

verilog

A Verilog parser for Haskell.
Haskell
33
star
5

mecha

A solid modeling language in Haskell.
Haskell
29
star
6

ccnx

A Haskell platform for experimenting with content centric networking.
Haskell
11
star
7

afv

C model checking.
Haskell
9
star
8

smt-lib

Parsing and printing SMT-LIB from Haskell.
Haskell
8
star
9

binding-templates

Alpine binding mounting templates.
Haskell
8
star
10

powerpc

Tools for PowerPC programs.
Haskell
8
star
11

vcd

A small library for generating VCD files.
Haskell
8
star
12

fountain

A fountain codec in Haskell.
Haskell
6
star
13

powerpc-eabi

Scripts and patches to build a GCC cross compiler (C, C++, Ada) for bare metal PowerPC targets.
Shell
6
star
14

engineering-units

A numeric type to automatically manage engineering units in Haskell.
Haskell
5
star
15

theoremquest

Haskell
4
star
16

ltl

Tools for testing embedded software with linear temporal logic.
Haskell
4
star
17

ivory-backend-acl2

An Ivory to ACL2 compiler.
Haskell
4
star
18

risk

A Realtime Information-flow-control Separation Kernel
Haskell
3
star
19

srec

Reading S-Record files from Haskell.
Haskell
3
star
20

fault-tree

A fault tree analysis library.
Haskell
3
star
21

cil

A Haskell interface to CIL.
OCaml
3
star
22

lmor

Haskell
2
star
23

sudoku

A simple sudoku solver in Haskell.
Haskell
2
star
24

trs

Hardware description language based on conditional term rewriting systems.
Haskell
2
star
25

volleyball

Haskell
2
star
26

hydraulics

A gschem symbol library for describing hydraulic circuits.
2
star
27

statechart

Compiles Rhapsody statecharts to C.
Haskell
2
star
28

verilog-gt

Haskell
2
star
29

devsurf

A DSL for creating developable surfaces.
Haskell
2
star
30

fp-intro

Introduction to Functional Programming
Haskell
2
star
31

acl2

Writing and calling ACL2 from Haskell.
Haskell
2
star
32

hydro

A design of a hydroplane using devsurf.
Haskell
1
star
33

clutch-control-example

A ImProve example for control systems.
Haskell
1
star
34

atom-hd

An Atom DSL for hardware design.
Haskell
1
star
35

dove

Haskell
1
star
36

blocking

Haskell
1
star
37

emsec

Haskell
1
star
38

hitting

Haskell
1
star
39

rtl

A simple logic design DSL.
Haskell
1
star
40

ni-proofs

Proofs of noninterference IFC security properties.
Haskell
1
star
41

sls

Switch level synthesis using SMT.
Haskell
1
star
42

monopoly

Haskell
1
star
43

heavylift

Haskell
1
star
44

outboard

Outboard maintenance course.
1
star
45

fcnav

A map to help navigate your way through the Fort Custer Maze in Clear Lake, IA.
Haskell
1
star
46

circ

A compiler IR compiler.
Haskell
1
star
47

track

Computed diagrams of possible slot car track layouts.
Haskell
1
star
48

bmp

Haskell
1
star
49

trackcad

A CAD library for designing tracked vehicles.
Haskell
1
star
50

gigl

A simple imperative language.
Haskell
1
star