svn2github / SAT4J
This is a clone of an SVN repository at svn://svn.forge.objectweb.org/svnroot/sat4j/maven/trunk. It had been cloned by http://svn2github.com/ , but the service was since closed. Please read a closing note on my blog post: http://piotr.gabryjeluk.pl/blog:closing-svn2github . If you want to continue synchronizing this repo, look at https://github.…
☆9Updated 8 years ago
Alternatives and similar repositories for SAT4J:
Users that are interested in SAT4J are comparing it to the libraries listed below
- a mutation testing engine for Java based on mutant schemata / metamutants / metaprogramming☆19Updated 2 years ago
- Java memoization library☆18Updated last year
- Thor Hammer and a way to express invokedynamic in Java☆18Updated 4 years ago
- ☆23Updated 4 years ago
- JooFlux is a Java agent for dynamic aspect-oriented middlewares.☆26Updated 10 years ago
- Trebuchet Transcompiler is a Java to C++ source code translator☆15Updated 3 years ago
- A candidate indexed, linked list data structure for OpenJDK.☆17Updated 4 months ago
- VMVM: Unit Test Virtualization for Java☆26Updated 2 years ago
- A pure Java 7+ build tool with advanced compiler features and strong opinions☆38Updated 3 years ago
- Static code analysis for Java☆12Updated last year
- Lightweight dataflow Java library. Includes various asynchronous constructs, including actors and asynchronous I/O requests.☆96Updated last year
- A rendering library, currently housing graph renderers (ascii and graphviz).☆17Updated 7 years ago
- Travis based builder for JVMCI JDK8 binaries based on OpenJDK8☆26Updated 4 years ago
- JVM bytecode assembler as REST api☆10Updated last year
- Statistics about data (cardinality estimation, frequent item detection, approximate counting,...)☆15Updated 2 years ago
- AirConcurrentMap is a fast, memory efficient Java ConcurrentNavigableMap implementation☆32Updated 7 years ago
- Link to native C functions via JSR-292 MethodHandles☆20Updated last year
- Parallel boolean circuit evaluation☆20Updated 6 years ago
- Polyglot Extensible Compiler Framework for Java☆110Updated 3 years ago
- Master repository for the JHeaps project☆47Updated 4 years ago
- A real-time ray tracer in Java, accelerated on heterogeneous hardware using TornadoVM☆25Updated 8 months ago
- Typed wrappers on native values + framework integrations.☆11Updated last year
- A complement to ANTLR to get a model from your AST and transform it☆15Updated 4 years ago
- ☆22Updated 8 years ago
- Tools for type annotations in Java☆39Updated 2 weeks ago
- A set of Java utilities that we could not find in Guava or Apache Commons...or we just felt like having our own version.☆12Updated last week
- Wrappers for doing Mathematics in Groovy☆22Updated this week
- A Simple DSL to create Directory Tree with Text Files☆15Updated 3 years ago
- Java wrapper and Jdbc driver for SQLite using JNA or Bridj or JNR or JNI or JavaCPP or FFM.☆26Updated this week
- A tiny dependency resolver for Java☆30Updated 3 years ago