ReedOei/dependent-tests-experiments ReedOei/dependent-tests-experiments

  • Stars
    star
    1
  • Language
  • Created over 6 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ReedOei/dependent-tests-experiments
github

ReedOei

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Experiments for dependent tests impact project, main tool repository is (https://github.com/winglam/dependent-tests-impact).

More Repositories

1

Pecan

An automated theorem prover that uses Büchi automata.
Python
40
star
2

History-Generator

Produces a simulated history of a fake, randomly generated world.
Python
20
star
3

CMips

A C to MIPS compiler.
Haskell
11
star
4

achelois

achelois is a collection of tools to make writing shell scripts in Prolog easier.
Prolog
9
star
5

Enki

A beginner-focused logic programming language.
Haskell
8
star
6

fuzzy-dates

Automatically detect and parse dates in many different formats
Haskell
5
star
7

TypeTheory

TeX
3
star
8

SturmianWords

Shell
3
star
9

Rudi

Simple programming language based on the SKI combinators.
Haskell
3
star
10

Psamathe

A programming language with flows for writing safer smart contracts.
TeX
2
star
11

FormalModelsOfComputation

Source code for a series of tutorials about the theory of computation formalized in Coq.
Coq
2
star
12

SetTheory

Python
2
star
13

GoodVideos

2
star
14

JSONParser

Haskell
2
star
15

Logical-Propositions

Tools for working with logical propositions (generating equivalent expressions, checking for logical equivalence, generating truth tables).
Haskell
2
star
16

OstrowskiAutomata

Haskell
2
star
17

testrunner

A Maven plugin to make writing custom tools that need to run tests.
Java
1
star
18

Diaconescu

Coq
1
star
19

Tufeu

Haskell
1
star
20

Enki-Old

Old repository for the Enki language.
C++
1
star
21

Prime-Sample

Haskell
1
star
22

vim-maude

Vim Script
1
star
23

Multiplicative-Persistence

Haskell
1
star
24

Niqaa

Haskell
1
star
25

LaTeX

TeX
1
star
26

dependent-tests-scripts

Scripts related to the dependent tests impact project (Main repository is: https://github.com/winglam/dependent-tests-impact).
Shell
1
star
27

dt-fixing-tools

Tools for automatic debugging/fixing of dependent tests (WIP).
Java
1
star
28

Minilisp

A small Lisp-like language.
Haskell
1
star
29

VanEck

Haskell
1
star
30

Project-Euler

My solutions to various Project Euler problems.
Haskell
1
star
31

Units

Haskell
1
star