ReedOei/Psamathe

Stars
2
Language
TeX
Created over 4 years ago
Updated over 3 years ago

ReedOei/Psamathe

ReedOei

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

A programming language with flows for writing safer smart contracts.

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.

Enki

A beginner-focused logic programming language.

fuzzy-dates

Automatically detect and parse dates in many different formats

TypeTheory

SturmianWords

Rudi

Simple programming language based on the SKI combinators.

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