Skip to content
@egison

Egison

The Egison programming language

Pinned Loading

  1. egison egisonPublic

    The Egison Programming Language

    Haskell 910 32

  2. egison-haskell egison-haskellPublic

    Template Haskell Implementation of Egison Pattern Matching

    Haskell 32 2

  3. egison-scheme egison-schemePublic

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

    Scheme 28 1

  4. egison-tutorial egison-tutorialPublic

    The Egison tutorial

    Haskell 14 6

  5. egison_kernel egison_kernelPublic

    Egison kernel for Jupyter

    Jupyter Notebook 8 1

  6. egison.org egison.orgPublic

    The website of Egison

    HTML 4 7

Repositories

Showing 10 of 22 repositories
  • egison Public

    The Egison Programming Language

    egison/egison’s past year of commit activity
    Haskell 910 MIT 32 21 (1 issue needs help) 0 UpdatedDec 22, 2022
  • egison-prover Public

    Proof writing language with Egison pattern matching

    egison/egison-prover’s past year of commit activity
    Haskell 3 MIT 0 0 0 UpdatedNov 28, 2022
  • egison.org Public

    The website of Egison

    egison/ egison.org’s past year of commit activity
    HTML 4 7 6 0 UpdatedMay 26, 2022
  • sweet-egison Public

    Haskell library for non-deterministic pattern matching

    egison/sweet-egison’s past year of commit activity
    Haskell 17 BSD-3-Clause 1 1 0 UpdatedJan 23, 2022
  • backtracking Public

    Backtracking monad in Haskell

    egison/backtracking’s past year of commit activity
    Haskell 14 BSD-3-Clause 0 0 0 UpdatedJan 23, 2022
  • egison-package-builder Public

    Automated package builder for Egison

    egison/egison-package-builder’s past year of commit activity
    Shell 4 1 0 0 UpdatedJan 9, 2022
  • homebrew-egison Public

    Homebrew formula for Egison

    egison/homebrew-egison’s past year of commit activity
    Shell 3 MIT 1 1 0 UpdatedDec 21, 2021
  • egison-tutorial Public

    The Egison tutorial

    egison/egison-tutorial’s past year of commit activity
    Haskell 14 MIT 6 0 0 UpdatedDec 18, 2021
  • docker-egison Public

    Dockerfile for Egison

    egison/docker-egison’s past year of commit activity
    Shell 6 0 0 0 UpdatedDec 12, 2021
  • egison_kernel Public

    Egison kernel for Jupyter

    egison/egison_kernel’s past year of commit activity
    Jupyter Notebook 8 1 0 0 UpdatedJan 19, 2021
View all repositories

Top languages

Loading…

Most used topics

Loading…