quickspec
sunlight
Our great sponsors
quickspec | sunlight | |
---|---|---|
2 | 3 | |
247 | 107 | |
- | - | |
5.7 | 8.9 | |
about 1 month ago | 18 days ago | |
Haskell | Go | |
BSD 3-clause "New" or "Revised" License | ISC License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
quickspec
-
Is anyone using quickspec?
It looks like that change is on github, but the version wasn't bumped, nor was it pushed to hackage https://github.com/nick8325/quickspec/blob/master/quickspec.cabal Perhaps try using github as the source instead of hackage?
-
Reverse of quickspec
Quickspec (https://github.com/nick8325/quickspec) is awesome in discovering laws in the code we write. But I am in search for a tool (the reverse) , which given the spec, can it synthesise code ?
sunlight
-
Sunlight, a Certificate Transparency log implementation
This is one of the projects I've been most excited about in the last few years. It let me backport to Certificate Transparency a lot of the modern transparency logging designs that came after it.
Beyond the Let's Encrypt announcement and the ct-policy thread (which includes a technical and advantages summary), here are a few resources that might be interesting.
- Design document https://filippo.io/a-different-CT-log
- Implementation https://github.com/FiloSottile/sunlight
- API specification https://c2sp.org/sunlight
- Website, including test logs and feedback channels https://sunlight.dev/
If you’re thinking “oh we could use something similar” please reach out! Sunlight is retrofitting some of the modern tlog designs on a legacy system. With a greenfield deployment you can do even better! I’m working with the Sigsum project on specs, tooling, and a support ecosystem to make deploying tlogs easier and safer.
What are some alternatives?
QuickCheck - Automatic testing of Haskell programs.
tasty - Modern and extensible testing framework for Haskell
HTF - Haskell Test Framework
hspec - A Testing Framework for Haskell
speculate - Speculate laws about Haskell functions
hspec-hashable
genvalidity - Validity and validity-based testing
sunlight - Test cabal file against multiple dependencies
test-fixture - Testing with monadic side-effects
benchpress - Micro-benchmarking of Haskell code with detailed execution time statistics.
bdd - A domain-specific language for testing programs using Behavior-Driven Development (BDD) process in Haskell
tasty-groundhog-converters - Testing Harness for groundhog and groundhog converters.