Reed Oei (@ReedOei)
github

ReedOei

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    133
  • Global Rank 168,467 (Top 6 %)
  • Followers 25
  • Following 13
  • Registered over 11 years ago
  • Most used languages
    Haskell
         50.0 %
    Python
         10.0 %
    TeX
         10.0 %
    Coq     6.7 %
    Java
         6.7 %
    Shell
         6.7 %
    Prolog
         3.3 %
    Vim Script
         3.3 %
    C++
         3.3 %

Top 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

dependent-tests-experiments

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

VanEck

Haskell
1
star
31

Project-Euler

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

Units

Haskell
1
star