• Stars
    star
    1
  • Language
    Haskell
  • Created over 8 years ago
  • Updated over 5 years ago

Reviews

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

Repository Details

My solutions to various Project Euler problems.

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

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

Units

Haskell
1
star