takagiy/hminfer takagiy/hminfer

  • Stars
    star
    1
  • Language
    Rust
  • Created over 2 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
takagiy/hminfer
github

takagiy

Reviews

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

Repository Details

Implementation of Hindley-Milner type inference algorithm with support of row polymorphism

More Repositories

1

satysfi-karnaugh

Drawing Karnaugh maps in SATySFi / SATySFiでカルノー図を描くためのパッケージ
Makefile
7
star
2

strcuta-py

strc“uta” - Loading UTAU voice banks into the Python data structure
Python
6
star
3

satysfi-MkTable

An ultra clear and confugurable table making DSL for SATySFi / SATySFiのための表組DSL
5
star
4

Ratatoskr-cpp

A compact Functional/Reactive/Concurrent utility library on C++17. (will be)
C++
5
star
5

nixos-declarative-fish-plugin-mgr

NixOS module to manage fish plugins declaratively
Nix
3
star
6

roswell-application-template

roswell template of an application that is constructed from roswell script and .lisp files.
Common Lisp
3
star
7

validated-extendable.js

Library that allows you to define classes extending zod schemas to avoid boilerplate code.
TypeScript
3
star
8

mozu

synth (C++20)
C++
2
star
9

ukagakasay

Echo with Ukagaka from command line. / 伺かを喋らせるコマンド
Go
2
star
10

surfboard-py

🏄‍♀️surfboard - An UTAU wavtool implementation as a Python library
Python
2
star
11

satysfi-seqsplit

Make texts freely line breakable in SATySFi
2
star
12

tipchune

(wip) Tiny, toy blockchain and cryptocurrency implementation in Rust
Rust
1
star
13

senklot

Helping you to stop using the internet
Rust
1
star
14

auto-youglish

A chrome extension to skip the YouGlish's pronunciation videos automatically
JavaScript
1
star
15

ziggygo

ziggygo - C++ library to find the shortest path in the field containing rectangular obstacles.
C++
1
star