GitHub topics: egison
egison/egison
The Egison Programming Language
Language: Haskell - Size: 8.5 MB - Last synced at: 14 days ago - Pushed at: over 2 years ago - Stars: 918 - Forks: 31
vmchale/number-theory
Some functions from number theory, written in Egison
Size: 4.88 KB - Last synced at: about 2 months ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0
egison/egison-haskell
Template Haskell Implementation of Egison Pattern Matching
Language: Haskell - Size: 254 KB - Last synced at: 16 days ago - Pushed at: almost 5 years ago - Stars: 32 - Forks: 2
righ1113/IshiiSan_Relativity_Egison
『一般相対性理論を一歩一歩数式で理解する』読書ノート
Language: Jupyter Notebook - Size: 34.2 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
egison/sweet-egison
Haskell library for non-deterministic pattern matching
Language: Haskell - Size: 814 KB - Last synced at: 3 days ago - Pushed at: over 3 years ago - Stars: 17 - Forks: 1
greymd/egzact
Generate flexible patterns on the shell
Language: Shell - Size: 404 KB - Last synced at: 14 days ago - Pushed at: almost 3 years ago - Stars: 51 - Forks: 2
calmery/language-egison 📦
Egison language package for Atom
Size: 8.79 KB - Last synced at: 12 months ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 1
kentaro-honda/egison-quine-mccluskey
Egison Implementation of Quine-McCluskey method
Size: 476 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0
egison/egison-pattern-src
Manipulating Egison patterns: abstract syntax, parser, and pretty-printer
Language: Haskell - Size: 221 KB - Last synced at: 3 days ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 0
momohatt/egison-trs
Knuth-Bendix completion in Egison (and Haskell). 技術書典7
Language: Haskell - Size: 769 KB - Last synced at: 15 days ago - Pushed at: about 5 years ago - Stars: 6 - Forks: 0
matsubara0507/setup-egison
Set up your GitHub Actions workflow with a specific version of Egison
Language: JavaScript - Size: 11.1 MB - Last synced at: 29 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
momohatt/buchberger.egi
Buchberger's algorithm in Egison
Size: 41 KB - Last synced at: 2 months ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 0
momohatt/egison-sandbox
Pieces of code written in Egison
Size: 46.9 KB - Last synced at: 2 months ago - Pushed at: about 5 years ago - Stars: 4 - Forks: 0