Here are
13 public repositories
matching this topic...
The Egison Programming Language
-
Updated
Jun 18, 2022
-
Haskell
Generate flexible patterns on the shell
-
Updated
May 3, 2022
-
Shell
Template Haskell Implementation of Egison Pattern Matching
-
Updated
Jul 13, 2020
-
Haskell
Haskell library for non-deterministic pattern matching
-
Updated
Jan 23, 2022
-
Haskell
Knuth-Bendix completion in Egison (and Haskell). 技術書典7
-
Updated
Apr 18, 2020
-
Haskell
Manipulating Egison patterns: abstract syntax, parser, and pretty-printer
-
Updated
Nov 3, 2020
-
Haskell
Pieces of code written in Egison
Egison language package for Atom
Buchberger's algorithm in Egison
Egison Implementation of Quine-McCluskey method
『一般相対性理論を一歩一歩数式で理解する』読書ノート
-
Updated
Dec 12, 2019
-
Jupyter Notebook
Some functions from number theory, written in Egison
Set up your GitHub Actions workflow with a specific version of Egison
-
Updated
Aug 18, 2022
-
JavaScript
Improve this page
Add a description, image, and links to the
egison
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
egison
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.