egison

The Egison Programming Language

Generate flexible patterns on the shell

Template Haskell Implementation of Egison Pattern Matching

Haskell library for non-deterministic pattern matching

Knuth-Bendix completion in Egison (and Haskell). 技術書典7

Manipulating Egison patterns: abstract syntax, parser, and pretty-printer

Pieces of code written in Egison

Egison language package for Atom

Buchberger's algorithm in Egison

Egison Implementation of Quine-McCluskey method

Some functions from number theory, written in Egison

『一般相対性理論を一歩一歩数式で理解する』読書ノート

Set up your GitHub Actions workflow with a specific version of Egison

A POC for egison programming language.