Projects in Awesome Lists by egison
A curated list of projects in awesome lists by egison .
https://github.com/egison/egison
The Egison Programming Language
computer-algebra-system differential-geometry egison functional-programming hacktoberfest pattern-matching programming-language tensor
Last synced: 06 Oct 2025
https://github.com/egison/egison-ruby
A Ruby gem for non-linear pattern-matching with backtracking
Last synced: 23 Apr 2025
https://github.com/egison/egison-haskell
Template Haskell Implementation of Egison Pattern Matching
backtracking egison haskell non-linear-pattern pattern-matching
Last synced: 10 Apr 2025
https://github.com/egison/egison-scheme
Scheme macros for non-linear pattern matching with backtracking for non-free data types
Last synced: 23 Feb 2026
https://github.com/egison/sweet-egison
Haskell library for non-deterministic pattern matching
backtracking egison haskell non-linear-pattern pattern-matching
Last synced: 23 Jun 2025
https://github.com/egison/egison-pattern-src
Manipulating Egison patterns: abstract syntax, parser, and pretty-printer
egison parser pattern pretty-printer programming-language syntax-tree
Last synced: 23 Apr 2025
https://github.com/egison/differential-geometry
Egison programs for basic calculations in differential geometry
Last synced: 23 Apr 2025
https://github.com/egison/egison-package-builder
Automated package builder for Egison
Last synced: 23 Apr 2025
https://github.com/egison/egison-prover
Proof writing language with Egison pattern matching
Last synced: 22 Apr 2026
https://github.com/egison/api.egison.org
The API server for Egison's website
Last synced: 14 Oct 2025
https://github.com/egison/pmo-paper
Tutorial paper of pattern-matching-oriented programming
Last synced: 10 Mar 2026