Sign in

Repository Index

47,133 repositories indexed

Tags: Programming languages and compilers
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

1–19 of 19 · Most stars

Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.

  • java
  • intellij
  • json
  • template-engine

CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.

  • clang
  • cpp
  • c
  • clang-tidy

Unmaintained! ⚠️ CSS Object Model implemented in pure JavaScript. Also, a CSS parser.

  • css-parser
  • cssom
  • dom
  • javascript

Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.

  • algebraic-data-types
  • optics
  • functional-programming
  • algebra

Java type safe statically compiled mustache

  • annotation-processor
  • java
  • mustache
  • template-engine

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

  • aadl
  • ada

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

  • coq-plugin
  • coq-tactic
  • coq
  • docker-coq-action