Repositories list

• ableC

  Public
  Attribute grammar Based Language Extensions for C

  compilermetaprogrammingc+ 3silverlanguage-extensionsablec

  C

  •

  GNU Lesser General Public License v3.0

  •6•41•36•1•Updated Mar 27, 2025Mar 27, 2025

• ableC-prolog

  Public
  An ableC extension providing Prolog-inspired logic programming constructs.

  SystemVerilog

  •

  GNU Lesser General Public License v3.0

  •0•0•0•0•Updated Mar 27, 2025Mar 27, 2025

• ableC-unification

  Public
  An ableC extension introducing unification on algebraic data types

  SystemVerilog

  •

  GNU Lesser General Public License v3.0

  •0•0•1•0•Updated Mar 27, 2025Mar 27, 2025

• ableC-allocation

  Public
  SystemVerilog

  •

  GNU Lesser General Public License v3.0

  •0•0•0•0•Updated Mar 27, 2025Mar 27, 2025

• ableC-string

  Public
  Overloaded strings implemented as an ableC extension

  SystemVerilog

  •

  GNU Lesser General Public License v3.0

  •0•0•0•0•Updated Mar 27, 2025Mar 27, 2025

• ableC-vector

  Public
  C++- and Python-inspired vectors implemented as an ableC extension

  SystemVerilog

  •

  GNU Lesser General Public License v3.0

  •0•0•0•0•Updated Mar 23, 2025Mar 23, 2025

• silver

  Public
  An attribute grammar-based programming language for composable language extensions

  compilermetaprogrammingsilver-language+ 4languagesilverattribute-grammarscomposable-language-extensions

  SystemVerilog

  •

  GNU Lesser General Public License v3.0

  •7•62•129•9•Updated Mar 21, 2025Mar 21, 2025

• melt-website

  Public
  The MELT group website

  Shell

  •0•0•6•2•Updated Mar 3, 2025Mar 3, 2025

• ableC-closure

  Public
  Lambda-closures implemented as an ableC extension

  SystemVerilog

  •

  GNU Lesser General Public License v3.0

  •0•2•3•0•Updated Feb 13, 2025Feb 13, 2025

• ableC-lib-skeleton

  Public template
  Sample skeleton extension for ableC that utilizes a library, an example for extension developers

  C

  •

  GNU Lesser General Public License v3.0

  •0•0•0•0•Updated Feb 13, 2025Feb 13, 2025

• ableC-watch

  Public
  A type qualifier that generates print statements on assignment.

  Makefile

  •0•0•0•0•Updated Jan 30, 2025Jan 30, 2025

• ableC-tensor-algebra

  Public
  A tensor algebra compiler implemented as an ableC extension

  SystemVerilog

  •

  GNU Lesser General Public License v3.0

  •0•2•0•0•Updated Jan 30, 2025Jan 30, 2025

• ableC-templating

  Public
  C++-inspired templates implemented as an ableC extension

  SystemVerilog

  •

  GNU Lesser General Public License v3.0

  •0•0•0•0•Updated Feb 13, 2025Feb 13, 2025

• ableC-template-algebraic-data-types

  Public
  ableC extension for algebraic data types with C++-style templating

  SystemVerilog

  •

  GNU Lesser General Public License v3.0

  •0•1•0•0•Updated Feb 13, 2025Feb 13, 2025

• ableC-sqlite

  Public
  An ableC language extension for working with sqlite3 databases

  C

  •0•1•6•0•Updated Feb 13, 2025Feb 13, 2025

• ableC-skeleton

  Public template
  Sample skeleton extension for ableC, an example for extension developers

  SystemVerilog

  •

  GNU Lesser General Public License v3.0

  •1•0•1•0•Updated Feb 13, 2025Feb 13, 2025

• ableC-rewriting

  Public
  Term rewriting extension for ableC

  SystemVerilog

  •

  GNU Lesser General Public License v3.0

  •0•1•0•0•Updated Feb 13, 2025Feb 13, 2025

• ableC-regex-pattern-matching

  Public
  Regular expressions patterns for the ableC-algebraic-data-types extension

  SystemVerilog

  •0•0•0•0•Updated Feb 13, 2025Feb 13, 2025

• ableC-regex-lib

  Public
  SystemVerilog

  •0•0•0•0•Updated Feb 13, 2025Feb 13, 2025

• ableC-refcount-closure

  Public
  Lambda-closures with reference-counting memory management implemented as an ableC extension

  SystemVerilog

  •

  GNU Lesser General Public License v3.0

  •0•0•0•0•Updated Feb 13, 2025Feb 13, 2025

• ableC-nonnull

  Public
  A nonnull type qualifier implemented as a language extension to ableC

  SystemVerilog

  •0•0•0•0•Updated Jan 30, 2025Jan 30, 2025

• ableC-nondeterministic-search

  Public
  Extension to C providing an embedded domain-specific language for parallel nondeterministic programming

  SystemVerilog

  •

  GNU Lesser General Public License v3.0

  •0•1•0•0•Updated Feb 13, 2025Feb 13, 2025

• ableC-interval

  Public
  Numeric intervals implemented as an ableC extension

  SystemVerilog

  •

  GNU Lesser General Public License v3.0

  •0•0•0•0•Updated Feb 13, 2025Feb 13, 2025

• ableC-halide

  Public
  Halide-like loop specification and transformation concepts implemented as an ableC extension

  SystemVerilog

  •

  GNU Lesser General Public License v3.0

  •0•0•0•0•Updated Feb 13, 2025Feb 13, 2025

• ableC-dimensionalAnalysis

  Public
  Dimensional analysis using type qualifiers, implemented as a language extension to ableC

  SystemVerilog

  •0•1•0•0•Updated Jan 30, 2025Jan 30, 2025

• ableC-constructor

  Public
  An extension introducing 'new' and delete operators overloadable by other extensions

  SystemVerilog

  •

  GNU Lesser General Public License v3.0

  •0•0•0•0•Updated Feb 13, 2025Feb 13, 2025

• ableC-condition-tables

  Public
  SystemVerilog

  •

  GNU General Public License v3.0

  •0•1•0•0•Updated Feb 13, 2025Feb 13, 2025

• ableC-checkTaggedUnion

  Public
  An ableC extension that adds runtime checks to tagged unions annotated with the check qualifier

  Makefile

  •0•0•0•0•Updated Jan 30, 2025Jan 30, 2025

• ableC-checkBounds

  Public
  A type qualifier for adding runtime checks of array bounds

  Makefile

  •0•0•0•0•Updated Jan 30, 2025Jan 30, 2025

• ableC-check

  Public
  A type qualifier for adding runtime checks of various kinds

  Makefile

  •0•0•0•0•Updated Jan 30, 2025Jan 30, 2025