ReedOei/Enki

Stars
8
Rank 2,099,232 (Top 42 %)
Language
Haskell
License
BSD 3-Clause "New...
Created almost 6 years ago
Updated over 4 years ago

ReedOei/Enki

ReedOei

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

A beginner-focused logic programming language.

Pecan

An automated theorem prover that uses Büchi automata.

History-Generator

Produces a simulated history of a fake, randomly generated world.

CMips

A C to MIPS compiler.

achelois

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

fuzzy-dates

Automatically detect and parse dates in many different formats

TypeTheory

SturmianWords

Rudi

Simple programming language based on the SKI combinators.

Psamathe

A programming language with flows for writing safer smart contracts.

FormalModelsOfComputation

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

SetTheory

GoodVideos

JSONParser

Logical-Propositions

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

OstrowskiAutomata

testrunner

A Maven plugin to make writing custom tools that need to run tests.

Diaconescu

Tufeu

Enki-Old

Old repository for the Enki language.

Prime-Sample

vim-maude

Multiplicative-Persistence

Niqaa

LaTeX

dependent-tests-scripts

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

dt-fixing-tools

Tools for automatic debugging/fixing of dependent tests (WIP).

Minilisp

A small Lisp-like language.

dependent-tests-experiments

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

VanEck

Project-Euler

My solutions to various Project Euler problems.

Units