|
Haskell |
5 |
A Haskell library for testing interactive command line programs |
Dec 05, 2019 |
|
Haskell |
4 |
Haskell programs visualised |
Aug 13, 2019 |
|
Haskell |
2 |
My Haskell Programs |
Aug 13, 2019 |
|
Haskell |
48 |
Personal haskell programs |
Jul 11, 2021 |
|
Haskell |
6 |
Just my Haskell programs :) |
Feb 22, 2022 |
|
Haskell |
7 |
Haskell programs writing while learning |
Aug 21, 2019 |
|
Haskell |
3 |
Haskell exercises with automatic tests |
Feb 20, 2018 |
|
Haskell |
4 |
Automatic strictness annotation for Haskell |
Aug 26, 2016 |
|
Rust |
3 |
Automatic hypothesis testing |
Nov 09, 2021 |
|
Haskell |
53 |
Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic … |
Apr 18, 2023 |
|
Go |
4 |
Automatic versioning of Go programs. |
Dec 03, 2022 |
|
Haskell |
167 |
Inspection Testing for Haskell |
Jul 17, 2022 |
|
Haskell |
176 |
Heterogeneous automatic differentiation ("backpropagation") in Haskell |
Mar 27, 2023 |
|
CSS |
3 |
Automatic installation of all necessary programs |
Sep 12, 2022 |
|
CSS |
8 |
Automatic installation of all necessary programs |
Mar 20, 2019 |
|
CSS |
4 |
Automatic installation of all necessary programs |
Feb 28, 2020 |
|
CSS |
7 |
Automatic installation of all necessary programs |
Nov 12, 2019 |
|
CSS |
58 |
Automatic installation of all necessary programs |
Apr 26, 2023 |
|
CSS |
3 |
Automatic installation of all necessary programs |
Feb 08, 2023 |
|
Shell |
2 |
Automatic installation of all necessary programs |
Nov 12, 2019 |
|
CSS |
103 |
Automatic installation of all necessary programs |
May 09, 2023 |
|
Shell |
3 |
Automatic installation of all necessary programs |
Jul 16, 2019 |
|
Shell |
61 |
Automatic installation of all necessary programs |
May 09, 2023 |
|
Shell |
6 |
Automatic installation of all necessary programs |
Dec 30, 2020 |
|
Shell |
6 |
Automatic installation of all necessary programs |
Dec 30, 2020 |
|
Shell |
41 |
Automatic installation of all necessary programs |
May 09, 2023 |
|
Shell |
52 |
Automatic installation of all necessary programs |
May 09, 2023 |
|
Shell |
3 |
Automatic installation of all necessary programs |
Dec 27, 2019 |
|
Haskell |
5 |
Make incomplete or incorrect Haskell programs compile! |
Dec 12, 2020 |
|
Haskell |
7 |
A Haskell framework for friendly commandline programs |
Nov 11, 2018 |
|
Haskell |
289 |
Examples of Dependently-typed programs in Haskell |
Apr 09, 2023 |
|
Haskell |
2 |
A Haskell EDSL to write MetaPost programs |
Dec 05, 2019 |
|
Elm |
3 |
Write Haskell style IO programs in Elm |
Nov 30, 2020 |
|
Haskell |
3 |
Short programs for learning more about haskell |
Apr 28, 2020 |
|
Haskell |
4 |
Graphical User Interfaces for Haskell Programs (Mirror) |
Jan 30, 2023 |
|
Haskell |
11 |
Stack wrapper for single-file Haskell programs. |
Mar 29, 2023 |
|
Haskell |
661 |
A Testing Framework for Haskell |
Sep 05, 2022 |
|
Haskell |
179 |
Systematic concurrency testing meets Haskell. |
Aug 12, 2022 |
|
Haskell |
5 |
Testing by convention for Haskell |
Aug 13, 2019 |
|
JavaScript |
5 |
Haskell-esque automatic partial application, without runtime. |
Jan 04, 2022 |
|
Haskell |
146 |
Automatic Haskell type inference from JSON input |
Aug 07, 2022 |
|
C++ |
77 |
Simulator programs and utilities for automatic differentiation. |
Aug 18, 2022 |
|
Python |
3 |
Automatic command-line interface for Python programs |
Dec 12, 2020 |
|
Lua |
7 |
Automatic performance regression testing framework |
Oct 09, 2021 |
|
JavaScript |
2 |
for testing automatic docker builds |
Aug 15, 2021 |
|
JavaScript |
2 |
testing automatic git label config |
Sep 26, 2021 |
|
Python |
30 |
an automatic penetration testing tool |
Jun 19, 2022 |
|
R |
45 |
Automatic testing of R packages |
Jun 08, 2022 |
|
Python |
11 |
Automatic OpenAPI Endpoint Performance Testing |
Jan 27, 2023 |
|
Haskell |
8 |
tools for design and interpretation of haskell programs |
Nov 23, 2021 |