egison

There are 0 repository under egison topic.

• egison / egison

  The Egison Programming Language

  egisonprogramming-languagefunctional-programmingpattern-matchingcomputer-algebra-systemtensordifferential-geometryhacktoberfest
  Language:Haskell 904
• egzact

  greymd / egzact

  Generate flexible patterns on the shell

  egisoncommand-line
  Language:Shell 51

• egison / egison-haskell

  Template Haskell Implementation of Egison Pattern Matching

  haskellpattern-matchingnon-linear-patternbacktrackingegison
  Language:Haskell 31

• egison / sweet-egison

  Haskell library for non-deterministic pattern matching

  backtrackingegisonhaskellnon-linear-patternpattern-matching
  Language:Haskell 17

• momohatt / egison-trs

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

  egison
  Language:Haskell 6

• egison / egison-pattern-src

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

  egisonparserpatternpretty-printerprogramming-languagesyntax-tree
  Language:Haskell 5

• momohatt / egison-sandbox

  Pieces of code written in Egison

  egison
  4

• calmery / language-egison

  Egison language package for Atom

  egisonatomatom-package
  3

• momohatt / buchberger.egi

  Buchberger's algorithm in Egison

  egison
  2

• kentaro-honda / egison-quine-mccluskey

  Egison Implementation of Quine-McCluskey method

  egisonquine-mccluskey-algorithm
  1

• matsubara0507 / setup-egison

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

  egisongithub-actions
  Language:JavaScript

• righ1113 / IshiiSan_Relativity_Egison

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

  relativityegison
  Language:Jupyter Notebook

• vmchale / number-theory

  Some functions from number theory, written in Egison

  egisonnumber-theoryhaskell