Egison's repositories
egison-ruby
A Ruby gem for non-linear pattern-matching with backtracking
egison-haskell
Template Haskell Implementation of Egison Pattern Matching
egison-scheme
Scheme macros for non-linear pattern matching with backtracking for non-free data types
sweet-egison
Haskell library for non-deterministic pattern matching
backtracking
Backtracking monad in Haskell
egison-tutorial
The Egison tutorial
egison_kernel
Egison kernel for Jupyter
docker-egison
Dockerfile for Egison
differential-geometry
Egison programs for basic calculations in differential geometry
egison-pattern-src
Manipulating Egison patterns: abstract syntax, parser, and pretty-printer
egison-package-builder
Automated package builder for Egison
www.egison.org
The website of Egison
egison-prover
Proof writing language with Egison pattern matching
homebrew-egison
Homebrew formula for Egison
api.egison.org
The API server for Egison's website
vim-egison
Egison editing mode for Vim
language-egison
Egison language package for Atom