ATS-Postiats
Type system compiler
A programming language system that enables advanced type manipulation and template generation
ATS2: Unleashing the Potentials of Types and Templates
354 stars
33 watching
54 forks
Language: ATS
last commit: about 1 year ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 sweetiq/schemats | Automates the generation of TypeScript interface definitions from relational databases | 1,038 |
 samuelgruetter/dot-calculus | A formalization of Dependent Object Types (DOT) calculus in Coq to support type safety proofs for a new foundation for Scala's type system | 62 |
 greymass/abi2core | Generates TypeScript types from Antelope ABI definitions | 1 |
 consensys/solc-typed-ast | A tool for compiling and manipulating Solidity smart contract source code | 128 |
 asdalexander77/typescript2cxx | A tool that translates TypeScript code to C++ | 692 |
 theaxec/algebraic-subtyping-for-algebraic-effects-and-handlers | A type system extension to handle algebraic effects and handlers | 0 |
 postcss/postcss-scss | An SCSS parser for PostCSS to parse mixins and variables for transformation or comment addition | 657 |
 algorandfoundation/tealscript | Enables ASC development with native TypeScript syntax and tooling support | 52 |
 pest-parser/ast | Converts a dynamically typed Parse Tree to a strongly typed Abstract Syntax Tree and provides automatic conversion via derive. | 83 |
 ikatsuba/mutates | A toolset for modifying the Abstract Syntax Tree of TypeScript files | 17 |
 tool-belt/type-predicates | A collection of utilities for creating and working with type-guards and assertions in TypeScript. | 54 |
 lys-lang/lys | A language compiler to WebAssembly | 419 |
| postcss/postcss-js | A PostCSS processor for CSS-in-JS and inline styles | 658 |
 typeetfunc/runtypes-generate | Generates arbitrary data types for property-based testing | 41 |
 the-sett/salix | A language for code generation and data modeling | 6 |