Sign in

Repository Index

47,133 repositories indexed

Filters

Filters

Clear all filters

1–12 of 12 · 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

A pure-Java Markdown processor based on a parboiled PEG parser supporting a number of extensions

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

  • css-parser
  • cssom
  • dom
  • javascript

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