Pinned Repositories
backtracking
Backtracking monad in Haskell
egison
The Egison Programming Language
egison-haskell
Template Haskell Implementation of Egison Pattern Matching
egison-ruby
A Ruby gem for non-linear pattern-matching with backtracking
egison-scheme
Scheme macros for non-linear pattern matching with backtracking for non-free data types
egison-tutorial
The Egison tutorial
egison_kernel
Egison kernel for Jupyter
sweet-egison
Haskell library for non-deterministic pattern matching
typed-egison
www.egison.org
The website of Egison
Egison's Repositories
egison/egison
The Egison Programming Language
egison/egison-ruby
A Ruby gem for non-linear pattern-matching with backtracking
egison/egison-haskell
Template Haskell Implementation of Egison Pattern Matching
egison/egison-scheme
Scheme macros for non-linear pattern matching with backtracking for non-free data types
egison/sweet-egison
Haskell library for non-deterministic pattern matching
egison/typed-egison
egison/backtracking
Backtracking monad in Haskell
egison/egison-tutorial
The Egison tutorial
egison/egison_kernel
Egison kernel for Jupyter
egison/docker-egison
Dockerfile for Egison
egison/differential-geometry
Egison programs for basic calculations in differential geometry
egison/egison-pattern-src
Manipulating Egison patterns: abstract syntax, parser, and pretty-printer
egison/egison-package-builder
Automated package builder for Egison
egison/www.egison.org
The website of Egison
egison/egison-prover
Proof writing language with Egison pattern matching
egison/homebrew-egison
Homebrew formula for Egison
egison/api.egison.org
The API server for Egison's website
egison/pmo-paper
Tutorial paper of pattern-matching-oriented programming
egison/cleson
Egison-like pattern-matching library for Common Lisp
egison/vim-egison
Egison editing mode for Vim
egison/language-egison
Egison language package for Atom
egison/math-output