ReedOei/Pecan ReedOei/Pecan

  • Stars
    star
    40
  • Rank 680,660 (Top 14 %)
  • Language
    Python
  • License
    MIT License
  • Created about 5 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ReedOei/Pecan
github

ReedOei

Reviews

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

Repository Details

An automated theorem prover that uses Büchi automata.

More Repositories

1

History-Generator

Produces a simulated history of a fake, randomly generated world.
Python
20
star
2

CMips

A C to MIPS compiler.
Haskell
11
star
3

achelois

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

Enki

A beginner-focused logic programming language.
Haskell
8
star
5

fuzzy-dates

Automatically detect and parse dates in many different formats
Haskell
5
star
6

TypeTheory

TeX
3
star
7

SturmianWords

Shell
3
star
8

Rudi

Simple programming language based on the SKI combinators.
Haskell
3
star
9

Psamathe

A programming language with flows for writing safer smart contracts.
TeX
2
star
10

FormalModelsOfComputation

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

SetTheory

Python
2
star
12

GoodVideos

2
star
13

JSONParser

Haskell
2
star
14

Logical-Propositions

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

OstrowskiAutomata

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