Skip to content

@melt-umn Minnesota Extensible Language Tools

Change the repository type filter

All

    Repositories list

    78 repositories

    • silver

      Public
      An attribute grammar-based programming language for composable language extensions
      compilermetaprogrammingsilver-languagelanguagesilverattribute-grammarscomposable-language-extensions
      SystemVerilog
      •
      GNU Lesser General Public License v3.0
      •7•60•136•7•Updated Dec 10, 2024Dec 10, 2024

    • ableC

      Public
      Attribute grammar Based Language Extensions for C
      compilermetaprogrammingcsilverlanguage-extensionsablec
      C
      •
      GNU Lesser General Public License v3.0
      •6•38•36•1•Updated Nov 26, 2024Nov 26, 2024

    • jenkins-lib

      Public
      Shared library for our Jenkinsfiles
      Groovy
      •0•0•11•0•Updated Nov 24, 2024Nov 24, 2024

    • 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 Nov 23, 2024Nov 23, 2024

    • ableC-allocation

      Public
      SystemVerilog
      •
      GNU Lesser General Public License v3.0
      •0•0•0•0•Updated Nov 21, 2024Nov 21, 2024

    • ableC-rewriting

      Public
      Term rewriting extension for ableC
      SystemVerilog
      •
      GNU Lesser General Public License v3.0
      •0•1•0•0•Updated Nov 21, 2024Nov 21, 2024

    • 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 Nov 21, 2024Nov 21, 2024

    • ableC-closure

      Public
      Lambda-closures implemented as an ableC extension
      SystemVerilog
      •
      GNU Lesser General Public License v3.0
      •0•2•2•0•Updated Nov 17, 2024Nov 17, 2024

    • ableC-string

      Public
      Overloaded strings implemented as an ableC extension
      SystemVerilog
      •
      GNU Lesser General Public License v3.0
      •0•0•0•0•Updated Nov 16, 2024Nov 16, 2024

    • ableC-template-constructor

      Public
      Templated version of ableC-constructor
      SystemVerilog
      •
      GNU Lesser General Public License v3.0
      •0•0•0•0•Updated Nov 16, 2024Nov 16, 2024

    • ableC-algebraic-data-types

      Public
      ableC extension for algebraic data types
      SystemVerilog
      •
      GNU Lesser General Public License v3.0
      •0•1•0•0•Updated Nov 16, 2024Nov 16, 2024

    • 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 Nov 15, 2024Nov 15, 2024

    • 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 Nov 11, 2024Nov 11, 2024

    • ableC-interval

      Public
      Numeric intervals implemented as an ableC extension
      SystemVerilog
      •
      GNU Lesser General Public License v3.0
      •0•0•0•0•Updated Nov 9, 2024Nov 9, 2024

    • ableC-templating

      Public
      C++-inspired templates implemented as an ableC extension
      SystemVerilog
      •
      GNU Lesser General Public License v3.0
      •0•0•0•0•Updated Oct 28, 2024Oct 28, 2024

    • silver-ableC

      Public archive
      Silver extension providing inlining of ableC literals for more natural AST construction
      SystemVerilog
      •
      GNU Lesser General Public License v3.0
      •0•2•1•1•Updated Oct 26, 2024Oct 26, 2024

    • ableC-sqlite

      Public
      An ableC language extension for working with sqlite3 databases
      C
      •0•1•6•0•Updated Oct 25, 2024Oct 25, 2024

    • 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 Oct 25, 2024Oct 25, 2024

    • 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 Oct 25, 2024Oct 25, 2024

    • 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 Oct 25, 2024Oct 25, 2024

    • 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 Oct 25, 2024Oct 25, 2024

    • ableC-condition-tables

      Public
      SystemVerilog
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated Oct 25, 2024Oct 25, 2024

    • ableC-cilk

      Public archive
      The Cilk parallel programming constructs implemented as a language extension to ableC
      SystemVerilog
      •
      GNU General Public License v3.0
      •0•1•6•0•Updated Oct 22, 2024Oct 22, 2024

    • caml-light

      Public
      SystemVerilog
      •1•0•1•0•Updated Oct 22, 2024Oct 22, 2024

    • meta-ocaml-lite

      Public
      A Silver implementation of an interpreter for a subset of MetaOCaml
      SystemVerilog
      •
      GNU Lesser General Public License v3.0
      •0•0•0•0•Updated Oct 22, 2024Oct 22, 2024

    • Oberon0

      Public
      Silver specification of Oberon0 for the LDTA 2011 Tool Challenge.
      Java
      •
      GNU Lesser General Public License v3.0
      •0•0•1•1•Updated Oct 22, 2024Oct 22, 2024

    • rewriting-optimization-demo

      Public
      A demonstration use of strategy attributes to perform optimizations for a simple statement/expression language
      SystemVerilog
      •
      GNU Lesser General Public License v3.0
      •0•0•0•0•Updated Oct 22, 2024Oct 22, 2024

    • rewriting-regex-matching

      Public
      An implementation of regex matching via Brzozowski derivatives using strategy attributes
      SystemVerilog
      •0•0•0•0•Updated Oct 22, 2024Oct 22, 2024

    • lambda-calculus

      Public
      An implementation of the lambda calculus using term rewriting in Silver
      SystemVerilog
      •
      GNU Lesser General Public License v3.0
      •0•0•0•0•Updated Oct 22, 2024Oct 22, 2024

    • ableC-watch

      Public
      A type qualifier that generates print statements on assignment.
      Makefile
      •0•0•0•0•Updated Oct 22, 2024Oct 22, 2024