Egison

Repositories

• egison

  The Egison Programming Language

  programming-language functional-programming pattern-matching differential-geometry tensor hacktoberfest computer-algebra-system
  Haskell MIT 33 781 19 (4 issues need help) 1 Updated Oct 22, 2020

• sweet-egison

  Implementation of non-linear pattern matching with extensible and polymorphic patterns at a practical level of efficiency

  haskell pattern-matching backtracking egison non-linear-pattern
  Haskell BSD-3-Clause 1 13 1 0 Updated Oct 20, 2020

• egison-package-builder

  Automated package builder for Egison
  Shell 1 4 0 0 Updated Oct 18, 2020

• egison-pattern-src

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

  programming-language parser pattern syntax-tree pretty-printer egison
  Haskell BSD-3-Clause 0 4 6 0 Updated Oct 17, 2020

• homebrew-egison

  Homebrew formula for Egison
  Shell MIT 1 3 0 0 Updated Oct 16, 2020

• www.egison.org

  The website of Egison
  HTML 6 4 6 0 Updated Oct 3, 2020

• egison-haskell

  Template Haskell Implementation of Egison Pattern Matching

  haskell pattern-matching backtracking egison non-linear-pattern
  Haskell MIT 2 29 3 0 Updated Jul 13, 2020

• backtracking

  Backtracking monad in Haskell
  Haskell BSD-3-Clause 0 14 0 0 Updated Jul 4, 2020

• egison-tutorial

  The Egison tutorial
  Haskell MIT 7 13 0 0 Updated Jun 8, 2020

• egison_kernel

  Egison kernel for Jupyter
  Jupyter Notebook 1 6 0 0 Updated Apr 1, 2020

• docker-egison

  Dockerfile for Egison
  Dockerfile 0 4 0 0 Updated Nov 25, 2019

• egison-scheme

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

  scheme pattern-matching
  Scheme MIT 2 23 0 0 Updated Aug 29, 2019

• pmo-paper

  Tutorial paper of pattern-matching-oriented programming
  TeX 0 3 0 0 Updated May 30, 2019

• differential-geometry

  Egison programs for basic calculations in differential geometry
  Jupyter Notebook 0 5 0 0 Updated Apr 19, 2019

• typed-egison
  Haskell MIT 1 17 3 0 Updated Jan 29, 2019

• vim-egison

  Forked from alpicola/vim-egison

  Egison editing mode for Vim
  Vim script 1 1 0 0 Updated Jun 13, 2018

• math-output
  Haskell 0 0 0 0 Updated Dec 19, 2017

• language-egison

  Forked from calmery/language-egison

  Egison language package for Atom
  1 0 0 0 Updated Nov 23, 2017

• egison-ruby

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

  pattern-matching
  Ruby 4 158 0 0 Updated Dec 9, 2015

• api.egison.org

  The API server for Egison's website
  Ruby 0 2 0 0 Updated May 1, 2015

• cleson

  Forked from carrotflakes/cleson

  Egison-like pattern-matching library for Common Lisp
  Common Lisp 1 1 0 0 Updated Mar 23, 2015