search

Whiley / WhileyCompiler

The Whiley Compiler (WyC)
http://whiley.org
Apache License 2.0
217 stars 36 forks source link

Backend: java libraries that might be useful #736

Closed bambinella closed 7 years ago

bambinella commented 7 years ago

Java Algebra System (JAS) Project Source code is GPL, but bytecode is Apache 2.0 licensed. http://krum.rz.uni-mannheim.de/jas/

Java AST Available as either GPL or Apache 2.0 http://javaparser.org/

Symbolic regression solver using genetic programming: https://en.wikipedia.org/wiki/Symbolic_regression https://github.com/lagodiuk/genetic-programming

Builds on JAS etc: https://github.com/axkr/symja_android_library

(collecting more later)

bambinella commented 7 years ago

Perhaps not as useful if the compiler is translated into Whiley. Closing.