Mythra/typeish

A runtime type checker for bash.... in bash. I'm not sorry.

328

2 commits

updated Sep 9, 2025

README

Typeish

Typeish has moved off of GitHub given GitHub's continous pushes in the wrong direction. For future development please see Gerrit (for code review), and Codeberg for issues/Browsing:

Thank You!

Contributors

Mythra

2 commits

Similar repos

xvw/big-bertha

Heavy to typecheck !

jneen/balls

Bash on Balls

868

pedagand/typechecker-evolution

The Evolution of a Typechecker

python/typing

Python static typing home. Hosts the documentation and a user help forum.

1,784

dominikh/go-staticcheck

392

flux-rs/flux

Refinement Types for Rust

916

HigherOrderCO/Kind

A modern proof language

3,762

jozefg/hm

A small implementation of type inference

Mythra/typeish

A runtime type checker for bash.... in bash. I'm not sorry.

328

2 commits

updated Sep 9, 2025

See the code

README

Typeish

Typeish has moved off of GitHub given GitHub's continous pushes in the wrong direction. For future development please see Gerrit (for code review), and Codeberg for issues/Browsing:

Thank You!

Similar repos

xvw/big-bertha

Heavy to typecheck !

jneen/balls

Bash on Balls

868

pedagand/typechecker-evolution

The Evolution of a Typechecker

python/typing

Python static typing home. Hosts the documentation and a user help forum.

1,784

dominikh/go-staticcheck

392

flux-rs/flux

Refinement Types for Rust

916

HigherOrderCO/Kind

A modern proof language

3,762

jozefg/hm

A small implementation of type inference

Contributors

Mythra

2 commits