curegit/knuth-bendix-completion curegit/knuth-bendix-completion

  • Stars
    star
    2
  • Language
    OCaml
  • License
    MIT License
  • Created about 5 years ago
  • Updated 10 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
curegit/knuth-bendix-completion
github

curegit

Reviews

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

Repository Details

クヌース・ベンディックス完備化アルゴリズムの OCaml 実装

More Repositories

1

halftone-converter

An image converter to create high quality halftone images
Python
23
star
2

line-sticker-downloader

Simple tool for downloading sticker images and assets in a zip from LINE Store
PHP
14
star
3

maho-moji-font

「魔法つかいプリキュア!」劇中に登場する魔法文字の模倣フォント
Shell
3
star
4

mp3tag-html-collection

Mp3tag で楽曲リストを HTML 出力するためのテンプレート集
Batchfile
3
star
5

sc4-my-sim-tool

A mod tool for SimCity 4 to add your original My Sims with custom images
C#
2
star
6

session-csharp

Session-typed concurrent and distributed programming for .NET
C#
2
star
7

reversi-ai-dll

Heuristic Reversi AI implemented as a Windows native DLL
C++
2
star
8

precure-stylegan-ada

Yet another StyleGAN 2.0 implementation using Chainer with Adaptive Discriminator Augmentationto to synthesize specific Precure (Cure Beauty) images
Python
2
star
9

context-free-session

文脈自由マルチパーティセッション型の実装
C#
1
star
10

line-theme-downloader

Small scripts to download theme files from LINE Store
PowerShell
1
star
11

precure-stylegan

Yet another StyleGAN 1.0 implementation with Chainer to synthesize specific Precure (Cure Beauty) images
Python
1
star
12

nagoya

レスポンシブ対応、日本語特化 Hugo ブログテーマ
HTML
1
star