Programming Languages

Languages

All Categories

Siml

My playground for building a compiler for an ML-like in Rust

Categories > Compilers > Typechecker

Suggest Alternative

Stars

License

apache-2.0

Open Issues

Most Recent Commit

10 months ago

Programming Language

Rust

Categories

Programming Languages > Rust

Compilers > Typechecker

Repo

Alternatives To Siml

Select To Compare

Typescript ⭐ 97,675

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

dependent packages 559,981total releases 2,904most recent commit 15 days ago

Mypy ⭐ 17,070

Optional static typing for Python

dependent packages 6,707total releases 112most recent commit 3 months ago

Pyre Check ⭐ 6,606

Performant type-checking for python.

dependent packages 31total releases 77most recent commit 3 months ago

Pytype ⭐ 4,464

A static type analyzer for Python code

dependent packages 107total releases 193most recent commit 3 months ago

Ezno ⭐ 1,994

A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance

dependent packages 3total releases 10most recent commit 3 months ago

Metals ⭐ 1,983

Scala language server with rich IDE features 🚀

dependent packages 60total releases 53most recent commit 3 months ago

Steep ⭐ 1,305

Static type checker for Ruby

dependent packages 41total releases 104most recent commit 3 months ago

Pylyzer ⭐ 1,123

A fast static code analyzer & language server for Python

dependent packages 1total releases 50most recent commit 4 months ago

Sorbet Rails ⭐ 636

A set of tools to make the Sorbet typechecker work with Ruby on Rails seamlessly.

dependent packages 2total releases 44most recent commit 10 months ago

Rezoom.sql ⭐ 634

Statically typechecks a common SQL dialect and translates it to various RDBMS backends

dependent packages 3total releases 23most recent commit 4 years ago

Suggest An Alternative To siml

Popular Compilers Categories