igrepのブックマーク - はてなブックマーク

igrep id:igrep

ブックマーク / github.com/rudymatela (7)

GitHub - rudymatela/conjure: Produce Haskell functions out of partial definitions
igrep 2021/12/06
Haskell
リンク
GitHub - rudymatela/express: Dynamically-typed Haskell expressions involving applications and variables.
igrep 2019/08/19
haskell
リンク
GitHub - rudymatela/concise-cheat-sheets: Cheat Sheets for programming languages and tools
igrep 2018/08/14
haskel

python
リンク
GitHub - rudymatela/leancheck: enumerative property-based testing for Haskell
igrep 2017/12/14
haskell
リンク
GitHub - rudymatela/speculate: Speculate laws about Haskell functions
igrep 2017/08/10
"automatically discovers laws about Haskell functions"

haskell

テスト
リンク
GitHub - rudymatela/extrapolate: generalize counter-examples of property-based testing
igrep 2017/08/10
haskell

テスト
リンク
GitHub - rudymatela/fitspec: refine properties for testing Haskell programs
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
igrep 2016/09/20
haskell

テスト
リンク
1

お知らせ

もっと読む

公式Twitter

@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
@hatebu
最新の人気エントリーの配信

キーボードショートカット一覧

j次のブックマーク

k前のブックマーク

lあとで読む

eコメント一覧を開く

oページを開く

設定を変更しましたx