Discover @ReedOei Open Source projects

Reed Oei (@ReedOei)

ReedOei

Stars
133
Global Rank 167,558 (Top 6 %)
Followers 25
Following 13
Registered over 11 years ago
Most used languages

Haskell
50.0 %

Python
10.0 %

TeX
10.0 %

Java
6.7 %

Shell
6.7 %

Coq 6.7 %

Prolog
3.3 %

Vim Script
3.3 %

C++
3.3 %

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

Project-Euler

My solutions to various Project Euler problems.

Units