Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / peteg 8 repositories
peteg/hBDD
BDD (Boolean Decision Diagram) bindings for Haskell
Language: Haskell - Size: 250 KB - Last synced: about 1 year ago - Pushed: about 9 years ago - Stars: 7 - Forks: 3
peteg/hDFA
Deterministic finite-state automata
Language: C - Size: 150 KB - Last synced: about 1 year ago - Pushed: almost 12 years ago - Stars: 6 - Forks: 0
peteg/TBC
Testing by convention for Haskell
Language: Haskell - Size: 645 KB - Last synced: about 1 year ago - Pushed: almost 12 years ago - Stars: 8 - Forks: 2
peteg/Clocks
AVR clock code.
Language: C - Size: 48.8 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 3 - Forks: 2
peteg/SML
Standard ML code
Language: Standard ML - Size: 1.48 MB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0
peteg/nixie-clock
A driver for a BeagleBone Black nixie clock using a PRU.
Language: C - Size: 25.4 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 1 - Forks: 0
peteg/flan
FLAN and FLANGE: an interpreter for a bare-bones functional language
Language: C - Size: 293 KB - Last synced: about 1 year ago - Pushed: almost 10 years ago - Stars: 0 - Forks: 0
peteg/ADHOC
An EDSL for knowledge-based circuits.
Language: Haskell - Size: 305 KB - Last synced: about 1 year ago - Pushed: almost 12 years ago - Stars: 1 - Forks: 0