LeventErkok/hArduino
Control your Arduino board from Haskell, using the Firmata protocol
Sparse matrix linear equation solver, using the Conjugate Gradient algorithm
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Control your Arduino board from Haskell, using the Firmata protocol
Solve systems of linear equations, using SMT solvers.
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.