jeff5 / very-slow-jythonLinks
Very slowly rethinking Jython through toy implementations
☆18Updated this week
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☆48Updated last year
- MPS-extensions aims to ease language development within MPS.☆86Updated this week
- Type checking and logical inference for JetBrains MPS☆32Updated 3 months ago
- Enables Jython to load native CPython extensions.☆157Updated 5 months ago
- The Stratego program transformation language☆35Updated 9 months ago
- A Java library for fast symbolic-numeric computation☆80Updated 5 years ago
- Compiler Technologies for Mathematica/Wolfram Language.☆36Updated 5 years ago
- ☆36Updated 6 years ago
- Types for Python☆87Updated 7 years ago
- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition☆26Updated 8 months ago
- Clank is a Java-port of popular Clang frontend☆38Updated 8 years ago
- Partial evaluation of Python code☆22Updated 2 years ago
- Javadoc to XML☆19Updated 5 years ago
- ☆24Updated 2 years ago
- ☆44Updated last month
- The Melange Language Workbench☆30Updated 2 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆55Updated 5 years ago
- Unified Maude model-checking tool☆13Updated this week
- ☆72Updated last year
- a book about declarative language definition☆24Updated 9 years ago
- A library to support the use of ANTLR grammars in jetbrains IDE plugins for building custom languages.☆220Updated last year
- An RPG to Java transpiler☆40Updated last year
- 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 2 weeks ago
- ☆21Updated 2 years ago
- Proposal(s) to make EMF polyglot.☆11Updated 4 years ago
- Kotlin/Java API for various SMT solvers☆36Updated 4 months ago
- A curated list of awesome MPS extensions/libraries, software and resources.☆66Updated last month
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Updated last month
- The Basil pipeline for concurrent information flow analysis in AArch64 binaries.☆17Updated this week
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆34Updated 2 years ago