Minnesota Extensible Language Tools's repositories
ableC-closure
Lambda-closures implemented as an ableC extension
ableC-tensor-algebra
A tensor algebra compiler implemented as an ableC extension
ableC-cilk
The Cilk parallel programming constructs implemented as a language extension to ableC
ableC-dimensionalAnalysis
Dimensional analysis using type qualifiers, implemented as a language extension to ableC
ableC-nondeterministic-search
Extension to C providing an embedded domain-specific language for parallel nondeterministic programming
ableC-rewriting
Term rewriting extension for ableC
ableC-sqlite
An ableC language extension for working with sqlite3 databases
ableC-template-algebraic-data-types
ableC extension for algebraic data types with C++-style templating
ableC-prolog
An ableC extension providing Prolog-inspired logic programming constructs.
ableC-checkTaggedUnion
An ableC extension that adds runtime checks to tagged unions annotated with the check qualifier
ableC-constructor
An extension introducing 'new' and delete operators overloadable by other extensions
ableC-exponent
A simple example extension to ableC demonstrating the use of silver-ableC
ableC-halide
Halide-like loop specification and transformation concepts implemented as an ableC extension
ableC-interval
Numeric intervals implemented as an ableC extension
ableC-lib-skeleton
Sample skeleton extension for ableC that utilizes a library, an example for extension developers
ableC-nonnull
A nonnull type qualifier implemented as a language extension to ableC
ableC-parallel
An extensible, implementation-agnostic, parallel programming framework for ableC.
ableC-refcount-closure
Lambda-closures with reference-counting memory management implemented as an ableC extension
ableC-regex-pattern-matching
Regular expressions patterns for the ableC-algebraic-data-types extension
ableC-skeleton
Sample skeleton extension for ableC, an example for extension developers
ableC-string
Overloaded strings implemented as an ableC extension
ableC-templating
C++-inspired templates implemented as an ableC extension
ableC-unification
An ableC extension introducing unification on algebraic data types
ableC-vector
C++- and Python-inspired vectors implemented as an ableC extension
ableC-watch
A type qualifier that generates print statements on assignment.
melt-website
The MELT group website