Egison

egison Public
The Egison Programming Language

Haskell 862 MIT 33 18 (1 issue needs help) 0 Updated Dec 22, 2022
egison-prover Public
Proof writing language with Egison pattern matching

Haskell 3 MIT 0 0 0 Updated Nov 28, 2022
www.egison.org Public
The website of Egison

HTML 4 7 6 0 Updated May 26, 2022
sweet-egison Public
Haskell library for non-deterministic pattern matching

Haskell 16 BSD-3-Clause 1 1 0 Updated Jan 23, 2022
backtracking Public
Backtracking monad in Haskell

Haskell 14 BSD-3-Clause 0 0 0 Updated Jan 23, 2022
egison-package-builder Public
Automated package builder for Egison

Shell 4 1 0 0 Updated Jan 9, 2022
homebrew-egison Public
Homebrew formula for Egison

Shell 3 MIT 1 1 0 Updated Dec 21, 2021
egison-tutorial Public
The Egison tutorial

Haskell 14 MIT 6 0 0 Updated Dec 18, 2021
docker-egison Public
Dockerfile for Egison

Shell 6 0 0 0 Updated Dec 12, 2021
egison_kernel Public
Egison kernel for Jupyter

Jupyter Notebook 8 1 0 0 Updated Jan 19, 2021

Pinned