This is a placeholder for GIFs.
Nikos Baxevanis moodmosaic
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/sh | |
| # Test run summary | |
| # ================ | |
| # | |
| # Basic test run: | |
| # ./play.sh | |
| # | |
| # MADHOUSE mode (randomized fuzzing): | |
| # MADHOUSE=1 ./play.sh | |
| # |
moodmosaic
/ clarinet-fuzz-dsl.ts
Created
August 10, 2023 21:27
A DSL for turning concrete tests into prop/fuzz tests on top of Clarinet.test
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Clarinet.test({ | |
| name: "ascii-to-buff", | |
| runs: 1000, | |
| logs: true, | |
| data: { | |
| text: { | |
| minLength: 0, | |
| maxLength: 127, | |
| } | |
| }, |
moodmosaic
/ sup_test.ts
Last active
March 16, 2022 10:43
Clarity contracts can be property-based tested
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import { Clarinet, Tx, Chain, Account, types } | |
| from 'https://deno.land/x/[email protected]/index.ts'; | |
| import { assert, assertEquals } | |
| from 'https://deno.land/[email protected]/testing/asserts.ts'; | |
| import fc | |
| from 'https://cdn.skypack.dev/fast-check'; | |
| Clarinet.test({ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| resolver: | |
| lts-11.22 | |
| extra-deps: | |
| - hedgehog-0.6.1 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# LANGUAGE TemplateHaskell #-} | |
| module Discordia.TH where | |
| import Language.Haskell.Extract (functionExtractorMap) | |
| import Language.Haskell.TH | |
| import Test.Framework (defaultMain) | |
| import Test.HUnit (Test(..)) | |
| discover :: ExpQ |
moodmosaic
/ SumProduct.hs
Created
February 15, 2018 12:58
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| module SumProduct ( | |
| KnownColor (..) | |
| , RGB (..) | |
| , redColor | |
| , magenta | |
| , red | |
| ) where | |
moodmosaic
/ LICENSE
Last active
July 19, 2017 15:54
Stack project for building https://gist.github.com/ploeh/3965c5df81f2a16f41a81cffeaae35c5
moodmosaic
/ Main.hs
Created
May 25, 2017 03:21
Servant example from "Write a client library for any web API in 5 minutes" https://haskell-servant.github.io/client-in-5-minutes.html
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# LANGUAGE DataKinds #-} | |
| {-# LANGUAGE DeriveGeneric #-} | |
| {-# LANGUAGE OverloadedStrings #-} | |
| {-# LANGUAGE TypeOperators #-} | |
| {-# OPTIONS_GHC -fno-warn-unused-imports #-} | |
| import Control.Applicative | |
| import Control.Monad | |
| import Control.Monad.IO.Class | |
| import Control.Monad.Trans.Except | |
| import Data.Aeson |
moodmosaic
/ Sort fsharpforfunandprofit.com
Last active
February 27, 2017 22:30
Any updates from https://fsharpforfunandprofit.com/?
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Last checked | |
| # $ date | |
| # Mon Feb 27 23:59:15 EEST 2017 | |
| 2017-02-17 https://fsharpforfunandprofit.com/cap/ | |
| 2017-02-17 https://fsharpforfunandprofit.com/turtle/ | |
| 2017-02-17 https://fsharpforfunandprofit.com/video/ | |
| 2016-12-05 https://fsharpforfunandprofit.com/posts/dependency-injection-1 | |
| 2016-08-01 https://fsharpforfunandprofit.com/installing-and-using/ | |
| 2016-06-23 https://fsharpforfunandprofit.com/parser/ |
NewerOlder