There are no reviews yet. Be the first to send feedback to the community and the maintainers!
egison
The Egison Programming Languageegison-ruby
A Ruby gem for non-linear pattern-matching with backtrackingegison-haskell
Template Haskell Implementation of Egison Pattern Matchingegison-scheme
Scheme macros for non-linear pattern matching with backtracking for non-free data typestyped-egison
sweet-egison
Haskell library for non-deterministic pattern matchingegison-tutorial
The Egison tutorialbacktracking
Backtracking monad in Haskellegison_kernel
Egison kernel for Jupyterdocker-egison
Dockerfile for Egisondifferential-geometry
Egison programs for basic calculations in differential geometryegison-pattern-src
Manipulating Egison patterns: abstract syntax, parser, and pretty-printeregison-package-builder
Automated package builder for Egisonegison-prover
Proof writing language with Egison pattern matchinghomebrew-egison
Homebrew formula for Egisonpmo-paper
Tutorial paper of pattern-matching-oriented programmingapi.egison.org
The API server for Egison's websiteLove Open Source and this site? Check out how you can help us