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 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for SAT4J
- Generic immutable recursive data representation API targeted at source code models and more.☆36Updated last week
- JooFlux is a Java agent for dynamic aspect-oriented middlewares.☆26Updated 9 years ago
- a mutation testing engine for Java based on mutant schemata / metamutants / metaprogramming☆18Updated 2 years ago
- Trebuchet Transcompiler is a Java to C++ source code translator☆14Updated 2 years ago
- Whole Platform Language Workbench☆27Updated 5 months ago
- A small library on top of ASM that generates optimistically typed bytecodes for dynamically typed JVM based languages☆14Updated 9 years ago
- VMVM: Unit Test Virtualization for Java☆25Updated 2 years ago
- Thor Hammer and a way to express invokedynamic in Java☆18Updated 4 years ago
- Link to native C functions via JSR-292 MethodHandles☆20Updated last year
- Static code analysis for Java☆12Updated 6 months ago
- Java B+-Tree with features like flexible storage, sort order, serialization, ...☆13Updated 12 years ago
- Read-only primitive Java arrays backed by Direct Buffers and indexed using 64-bit indexes☆12Updated 7 years ago
- JVM bytecode assembler as REST api☆10Updated last year
- A rendering library, currently housing graph renderers (ascii and graphviz).☆17Updated 7 years ago
- Java compiler elements (symbol and type tables) to perform code semantic analysis☆10Updated 5 years ago
- Utility classes for dense and sparse matrices in JCuda☆11Updated 5 years ago
- a book about declarative language definition☆23Updated 8 years ago
- JNI Glue Code Generator☆91Updated 3 months ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆13Updated 8 months ago
- Parallel boolean circuit evaluation☆19Updated 6 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated this week
- Layout prototype for project Panama☆22Updated 7 years ago
- A Java library for managing child processes.☆18Updated 8 years ago
- Benchmarking Java fibers for IO usage☆12Updated 4 years ago
- The Ceylon Web IDE☆25Updated 5 years ago
- Regular Expressions and Lexing with DFAs☆9Updated 6 months ago
- Java library for packaging native libraries, executables, and resources for runtime within jar files☆15Updated 11 months ago