ReedOei/Logical-Propositions ReedOei/Logical-Propositions

  • Stars
    star
    2
  • Language
    Haskell
  • Created almost 8 years ago
  • Updated almost 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ReedOei/Logical-Propositions
github

ReedOei

Reviews

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

Repository Details

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

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

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