reedoei Goto Github PK

abeille

achelois

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

activemq

Mirror of Apache ActiveMQ

ambari

Mirror of Apache Ambari

cmips

A C to MIPS compiler.

config

crossword.jl

csharp-tutorials

dataapp

dependent-tests-experiments

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

dependent-tests-impact

Repository for subjects related to the Dependent Tests Impact project

dependent-tests-scripts

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

diaconescu

dt-fixing-subjects

dt-fixing-tools

Tools for automatic debugging/fixing of dependent tests (WIP).

dtdetector

Tool for "Empirically Revisiting the Test Independence Assumption", ISSTA'14.

elementscoq

Formalization of Euclid's Elements in Coq.

enki

A beginner-focused logic programming language.

enki-old

Old repository for the Enki language.

enkivm

eunomia

A library of Java things I've found to be useful.

eunomia-test-project

evmcorpusstudy

foma

Automatically exported from code.google.com/p/foma

formalmodelsofcomputation

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

fuzzy-dates

Automatically detect and parse dates in many different formats

gamemaker

goodvideos

haskell-spell-suggest

spelling suggestion library and command line tool

history-generator

Produces a simulated history of a fake, randomly generated world.