-
javaparser Public
Forked from javaparser/javaparserJava 1-21 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.
Java Other UpdatedDec 17, 2025 -
jingoo Public
Forked from tategakibunko/jingooOCaml template engine almost compatible with jinja2
OCaml Other UpdatedMay 29, 2025 -
-
freemind Public
Further development of FreeMind, http://freemind.sourceforge.net
Java GNU General Public License v2.0 UpdatedAug 11, 2021 -
more_maven_properties Public
Work around an IntelliJ bug where dynamic properties produced by the maven-dependency-plugin are not substituted.
Java UpdatedJul 27, 2020 -
metacoq Public archive
Forked from MetaRocq/metarocqMetaprogramming in Coq
Coq MIT License UpdatedJun 15, 2019 -
-
-
Coq Public
Various small Coq developments
Coq GNU Lesser General Public License v2.1 UpdatedOct 24, 2017 -
EventRacerLibrary Public archive
Repackage the key parts of EventRacer as a library
C++ Apache License 2.0 UpdatedMay 26, 2017 -
-
-
-
-
-
-
-
-
webexpect Public archive
Very simple web API testing tool: Send requests and pattern-match answers.
OCaml MIT License UpdatedFeb 19, 2016 -
{{ message }}