Versions

Description

Snowlake is both a declarative language for defining static type inference rules of programming languages, as well as a compiler-compiler that can synthesize such inference rule definitions into code used for static type checking, typically used for semantic analysis in language compilers.

Repository

https://github.com/libcxx/Snowlake.git

Project Slug

snowlake

Last Built

1 year, 6 months ago passed

Maintainers

Home Page

https://libcxx.github.io/Snowlake/

Badge

Tags

language, compiler, cpp

Project Privacy Level

Public

Short URLs

snowlake.readthedocs.io
snowlake.rtfd.io

Default Version

latest

'latest' Version

master