egison/backtracking

Stars
14
Rank 1,401,949 (Top 29 %)
Language
Haskell
License
BSD 3-Clause "New...
Created almost 4 years ago
Updated over 2 years ago

egison/backtracking

egison

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Backtracking monad in Haskell

egison

The Egison Programming Language

egison-ruby

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

egison-haskell

Template Haskell Implementation of Egison Pattern Matching

egison-scheme

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

typed-egison

sweet-egison

Haskell library for non-deterministic pattern matching

egison-tutorial

The Egison tutorial

egison_kernel

Egison kernel for Jupyter

Jupyter Notebook

docker-egison

Dockerfile for Egison

differential-geometry

Egison programs for basic calculations in differential geometry

Jupyter Notebook

egison-pattern-src

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

egison-package-builder

Automated package builder for Egison

www.egison.org

The website of Egison

egison-prover

Proof writing language with Egison pattern matching

homebrew-egison

Homebrew formula for Egison

pmo-paper

Tutorial paper of pattern-matching-oriented programming

api.egison.org

The API server for Egison's website