• RcppArmadillo

  • Referenced in 84 articles [sw09313]
  • accomplished through recursive templates and template meta-programming. This library is useful...
  • Armadillo

  • Referenced in 77 articles [sw05863]
  • delayed evaluation approach, based on template meta-programming, is used (during compile time) to combine...
  • Blitz++

  • Referenced in 26 articles [sw00082]
  • template techniques” (expression templates and template meta-programs). In addition to fast performance, Blitz++ arrays...
  • Versor

  • Referenced in 10 articles [sw12518]
  • code at compile-time through template meta-programming, and supports arbitrary dimensions and metrics (limited...
  • Spoofax

  • Referenced in 10 articles [sw16988]
  • language processing techniques for parser generation, meta-programming, and IDE development into a single environment...
  • plasp

  • Referenced in 7 articles [sw07080]
  • implementing Planning by compilation to Answer Set Programming (ASP). Our approach is inspired by Planning ... favor of modeling planning techniques by meta-programming in ASP. This has several advantages. First...
  • MGTP

  • Referenced in 7 articles [sw09701]
  • MGTP as a meta-programming system for each application...
  • MetaKlaim

  • Referenced in 5 articles [sw01810]
  • extension of SML for multi-stage programming) and Klaim (a Kernel Language for Agents Interaction ... Mobility), to permit interleaving of meta-programming activities (such as assembly and linking of code...
  • Terra

  • Referenced in 3 articles [sw24000]
  • code generation in a separate process from program execution, making certain optimizations difficult to engineer ... high-performance Terra code. To simplify meta-programming, Lua and Terra share the same lexical...
  • QUAFF

  • Referenced in 3 articles [sw00764]
  • show how generative and meta-programming techniques can be applied to the implementation...
  • Template-Coq

  • Referenced in 3 articles [sw27569]
  • Towards certified meta-programming with typed Template-Coq. Template-Coq (url{https://template-coq.github.io/template-coq})...
  • Groovy

  • Referenced in 2 articles [sw26072]
  • syntax. It integrates smoothly with any Java program, and immediately delivers to your application powerful ... Language authoring, runtime and compile-time meta-programming and functional programming...
  • GATL

  • Referenced in 2 articles [sw32629]
  • computer science. GATL uses template meta-programming to implement the lazy evaluation strategy. This...
  • JSLINQ

  • Referenced in 1 article [sw27567]
  • meta-programming to provide a uniform language for programming different components. We leverage .NET meta...
  • AutoWIG

  • Referenced in 1 article [sw21384]
  • thousands of classes or incorporating modern meta-programming constructs...
  • ADEES

  • Referenced in 1 article [sw02348]
  • extensibility is achieved, thanks to meta-programming and reflection techniques...
  • MetaFJig

  • Referenced in 1 article [sw30243]
  • time execution. This approach differs from meta-programming techniques available in mainstream languages since...
  • ginSODA

  • Referenced in 1 article [sw37678]
  • stiffness. By leveraging symbolic differentiation, meta-programming techniques, and source code hashing, ginSODA automatically builds...
  • ACL2

  • Referenced in 281 articles [sw00060]
  • ACL2 is both a programming language in which...
  • Coq

  • Referenced in 1837 articles [sw00161]
  • Coq is a formal proof management system. It...