ReedOei/OstrowskiAutomata ReedOei/OstrowskiAutomata

  • Stars
    star
    2
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 5 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ReedOei/OstrowskiAutomata
github

ReedOei

Reviews

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

Repository Details

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

testrunner

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

Diaconescu

Coq
1
star
18

Tufeu

Haskell
1
star
19

Enki-Old

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

Prime-Sample

Haskell
1
star
21

vim-maude

Vim Script
1
star
22

Multiplicative-Persistence

Haskell
1
star
23

Niqaa

Haskell
1
star
24

LaTeX

TeX
1
star
25

dependent-tests-scripts

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

dt-fixing-tools

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

Minilisp

A small Lisp-like language.
Haskell
1
star
28

dependent-tests-experiments

Experiments for dependent tests impact project, main tool repository is (https://github.com/winglam/dependent-tests-impact).
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