jeff5 / very-slow-jythonLinks
Very slowly rethinking Jython through toy implementations
☆18Updated 2 weeks ago
Alternatives and similar repositories for very-slow-jython
Users that are interested in very-slow-jython are comparing it to the libraries listed below
Sorting:
- Java Algebra System (JAS) Project☆47Updated last year
- Kotlin/Java API for various SMT solvers☆36Updated 3 months ago
- ☆36Updated 6 years ago
- MPS-extensions aims to ease language development within MPS.☆86Updated this week
- A Java library for fast symbolic-numeric computation☆80Updated 5 years ago
- xtext-core☆115Updated 2 years ago
- Enables Jython to load native CPython extensions.☆157Updated 4 months ago
- The Next Generation Logic Library☆150Updated last week
- Clank is a Java-port of popular Clang frontend☆38Updated 8 years ago
- Spoofax runtime☆159Updated 8 months ago
- The CongoCC Parser Generator, the Next Generation of JavaCC 21, which in turn was the next generation of JavaCC☆47Updated last month
- Sandwood - A JVM based Java like Probabilistic Programming Language☆31Updated 6 months ago
- The Melange Language Workbench☆29Updated 2 years ago
- tree-sitter API for JVM☆70Updated 2 years ago
- xtext-xtend☆106Updated 2 years ago
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆168Updated this week
- Full-fledged industrial environment for scientific computing and High Performance Computing☆18Updated 2 years ago
- Type checking and logical inference for JetBrains MPS☆32Updated 2 months ago
- ☆24Updated 2 years ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆61Updated this week
- SMTInterpol interpolating SMT solver☆68Updated this week
- IntelliJ plugin for several experimental programming languages here☆36Updated 4 years ago
- Polyglot Extensible Compiler Framework for Java☆114Updated 4 years ago
- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition☆26Updated 7 months ago
- The Basil pipeline for concurrent information flow analysis in AArch64 binaries.☆17Updated last week
- The mbeddr core. An extensible C☆227Updated this week
- A heuristic procedure for proving inequalities☆34Updated 7 years ago
- Java bindings for tree-sitter☆128Updated 2 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆39Updated 2 years ago
- Python parser built using ANTLR☆43Updated 9 years ago