Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up
Appearance settings
#

egison

Here are 14 public repositories matching this topic...

egzact

Generate flexible patterns on the shell

  • UpdatedMay 3, 2022
  • Shell

Template Haskell Implementation of Egison Pattern Matching

  • UpdatedJul 13, 2020
  • Haskell

Haskell library for non-deterministic pattern matching

  • UpdatedDec 21, 2025
  • Haskell

Knuth-Bendix completion in Egison (and Haskell). 技術書典7

  • UpdatedApr 18, 2020
  • Haskell

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

  • UpdatedDec 21, 2025
  • Haskell

Pieces of code written in Egison

  • UpdatedApr 17, 2020

Egison language package for Atom

  • UpdatedNov 23, 2017

Buchberger's algorithm in Egison

  • UpdatedJul 6, 2020

Egison Implementation of Quine-McCluskey method

  • UpdatedMay 5, 2019

Some functions from number theory, written in Egison

  • UpdatedApr 2, 2021

『一般相対性理論を一歩一歩数式で理解する』読書ノート

  • UpdatedDec 12, 2019
  • Jupyter Notebook

Set up your GitHub Actions workflow with a specific version of Egison

  • UpdatedAug 18, 2022
  • JavaScript

A POC for egison programming language.

  • UpdatedJun 22, 2024
  • Shell

Improve this page

Add a description, image, and links to theegison topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with theegison topic, visit your repo's landing page and select "manage topics."

Learn more

[8]ページ先頭
©2009-2026 Movatter.jp