Egison (@egison)
Guthub

egison

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

egison

The Egison Programming Language
Haskell
900
star
2

egison-ruby

A Ruby gem for non-linear pattern-matching with backtracking
Ruby
160
star
3

egison-haskell

Template Haskell Implementation of Egison Pattern Matching
Haskell
31
star
4

egison-scheme

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

typed-egison

Haskell
17
star
6

sweet-egison

Haskell library for non-deterministic pattern matching
Haskell
17
star
7

egison-tutorial

The Egison tutorial
Haskell
14
star
8

backtracking

Backtracking monad in Haskell
Haskell
14
star
9

egison_kernel

Egison kernel for Jupyter
Jupyter Notebook
8
star
10

docker-egison

Dockerfile for Egison
Shell
6
star
11

differential-geometry

Egison programs for basic calculations in differential geometry
Jupyter Notebook
5
star
12

egison-pattern-src

Manipulating Egison patterns: abstract syntax, parser, and pretty-printer
Haskell
5
star
13

egison-package-builder

Automated package builder for Egison
Shell
4
star
14

www.egison.org

The website of Egison
HTML
4
star
15

egison-prover

Proof writing language with Egison pattern matching
Haskell
3
star
16

homebrew-egison

Homebrew formula for Egison
Shell
3
star
17

pmo-paper

Tutorial paper of pattern-matching-oriented programming
TeX
2
star
18

api.egison.org

The API server for Egison's website
Ruby
2
star