GitHub topics: embedded-dsls
jmid/lcheck
A library for quickchecking lattice modules and associated operations
Language: OCaml - Size: 164 KB - Last synced at: 4 days ago - Pushed at: almost 4 years ago - Stars: 5 - Forks: 3
jeffmay/vapors
Construct expressions over fact types, then turn those expressions into a result given a set of source facts.
Language: Scala - Size: 1.13 MB - Last synced at: 3 days ago - Pushed at: 11 months ago - Stars: 3 - Forks: 3
Chatanga/Hadron
Playing with GPipe 2...
Language: Haskell - Size: 9.05 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
Chatanga/GPipe-Core Fork of tobbebex/GPipe-Core
Core library of new GPipe, encapsulating OpenGl and providing a type safe minimal library
Language: Haskell - Size: 676 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0