ReedOei/Project-Euler

Stars
1
Language
Haskell
Created over 8 years ago
Updated over 5 years ago

ReedOei/Project-Euler

ReedOei

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

My solutions to various Project Euler problems.

Pecan

An automated theorem prover that uses Büchi automata.

History-Generator

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

CMips

A C to MIPS compiler.

achelois

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

Enki

A beginner-focused logic programming language.

fuzzy-dates

Automatically detect and parse dates in many different formats

TypeTheory

SturmianWords

Rudi

Simple programming language based on the SKI combinators.

Psamathe

A programming language with flows for writing safer smart contracts.

FormalModelsOfComputation

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

SetTheory

GoodVideos

JSONParser

Logical-Propositions

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

OstrowskiAutomata

testrunner

A Maven plugin to make writing custom tools that need to run tests.

Diaconescu

Tufeu

Enki-Old

Old repository for the Enki language.

Prime-Sample

vim-maude

Multiplicative-Persistence

Niqaa

LaTeX

dependent-tests-scripts

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

dt-fixing-tools

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

Minilisp

A small Lisp-like language.

dependent-tests-experiments

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

VanEck

Units