Repositories list

• egison

  Public
  The Egison Programming Language

  programming-languagefunctional-programmingpattern-matching+ 5differential-geometryhacktoberfestcomputer-algebra-systemtensoregison

  Haskell

  •

  MIT License

  •32•912•21•0•Updated Dec 22, 2022Dec 22, 2022

• egison-prover

  Public
  Proof writing language with Egison pattern matching

  Haskell

  •

  MIT License

  •0•3•0•0•Updated Nov 28, 2022Nov 28, 2022

• www.egison.org

  Public
  The website of Egison

  HTML

  •7•4•6•0•Updated May 26, 2022May 26, 2022

• sweet-egison

  Public
  Haskell library for non-deterministic pattern matching

  haskellpattern-matchingbacktracking+ 2non-linear-patternegison

  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •1•17•1•0•Updated Jan 23, 2022Jan 23, 2022

• backtracking

  Public
  Backtracking monad in Haskell

  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •0•14•0•0•Updated Jan 23, 2022Jan 23, 2022

• egison-package-builder

  Public
  Automated package builder for Egison

  Shell

  •1•4•0•0•Updated Jan 9, 2022Jan 9, 2022

• homebrew-egison

  Public
  Homebrew formula for Egison

  Shell

  •

  MIT License

  •1•3•1•0•Updated Dec 21, 2021Dec 21, 2021

• egison-tutorial

  Public
  The Egison tutorial

  Haskell

  •

  MIT License

  •6•14•0•0•Updated Dec 18, 2021Dec 18, 2021

• docker-egison

  Public
  Dockerfile for Egison

  Shell

  •0•6•0•0•Updated Dec 12, 2021Dec 12, 2021

• egison_kernel

  Public
  Egison kernel for Jupyter

  Jupyter Notebook

  •

  Other

  •1•8•0•0•Updated Jan 19, 2021Jan 19, 2021

• egison-pattern-src

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

  programming-languageparserpattern+ 3syntax-treepretty-printeregison

  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •0•5•7•0•Updated Nov 3, 2020Nov 3, 2020

• egison-haskell

  Public
  Template Haskell Implementation of Egison Pattern Matching

  haskellpattern-matchingbacktracking+ 2egisonnon-linear-pattern

  Haskell

  •

  MIT License

  •2•32•3•0•Updated Jul 13, 2020Jul 13, 2020

• egison-scheme

  Public
  Scheme macros for non-linear pattern matching with backtracking for non-free data types

  schemepattern-matching

  Scheme

  •

  MIT License

  •1•28•0•0•Updated Aug 29, 2019Aug 29, 2019

• pmo-paper

  Public
  Tutorial paper of pattern-matching-oriented programming

  TeX

  •0•2•0•0•Updated May 30, 2019May 30, 2019

• differential-geometry

  Public
  Egison programs for basic calculations in differential geometry

  Jupyter Notebook

  •0•5•0•0•Updated Apr 19, 2019Apr 19, 2019

• typed-egison

  Public
  Haskell

  •

  MIT License

  •1•17•3•0•Updated Jan 29, 2019Jan 29, 2019

• vim-egison

  Public
  Egison editing mode for Vim

  Vim Script

  •1•1•0•0•Updated Jun 13, 2018Jun 13, 2018

• math-output

  Public
  Haskell

  •0•0•0•0•Updated Dec 19, 2017Dec 19, 2017

• language-egison

  Public
  Egison language package for Atom

  1•0•0•0•Updated Nov 23, 2017Nov 23, 2017

• egison-ruby

  Public
  A Ruby gem for non-linear pattern-matching with backtracking

  pattern-matching

  Ruby

  •

  Other

  •5•160•0•0•Updated Dec 9, 2015Dec 9, 2015

• api.egison.org

  Public
  The API server for Egison's website

  Ruby

  •0•2•0•0•Updated May 1, 2015May 1, 2015

• cleson

  Public
  Egison-like pattern-matching library for Common Lisp

  Common Lisp

  •1•1•0•0•Updated Mar 23, 2015Mar 23, 2015