Very slowly rethinking Jython through toy implementations
☆18Feb 6, 2026Updated 3 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:
- Performant and safe knowledge compilation in rust☆31Nov 16, 2025Updated 3 months ago
- A Python implementation of a polynomial library and Buchberger's Algorithm☆24Jun 22, 2020Updated 5 years ago
- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition☆27Jun 7, 2025Updated 8 months ago
- Contains the samples of the book "Getting Started with TypeScript"☆12Apr 29, 2021Updated 4 years ago
- heatmap3 is an improved heatmap package. It is completely compatible with the original R function heatmap, and provides some more powerfu…☆10Sep 2, 2021Updated 4 years ago
- Golang的工具库（Tools of Golang）☆13Updated this week
- Proyecto final de el 2o año de DAW. Pagina web para el control y gestion de tus series y peliculas vistas por un ussuario. Realizada util…☆12Jun 1, 2018Updated 7 years ago
- Python Symbolic Information Theoretic Inequality Prover☆47Jun 10, 2025Updated 8 months ago
- ☆15Dec 3, 2024Updated last year
- zombie game☆11Apr 19, 2019Updated 6 years ago
- java 版后台任务，参考sidekiq☆11May 26, 2017Updated 8 years ago
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆46Nov 26, 2025Updated 3 months ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- GitBook plugin: Adds a back to top button to your GitBook.☆12Aug 4, 2016Updated 9 years ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- LILLY - Latex Framework☆12Jul 29, 2021Updated 4 years ago
- examples of intellij plugins☆11Jan 25, 2018Updated 8 years ago
- ☆10Jan 16, 2025Updated last year
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 11 months ago
- Cone program refinement☆10Mar 6, 2020Updated 5 years ago
- A simple tutorial about how to use the CIL compiler frontend☆12Feb 10, 2025Updated last year
- ☆10Oct 22, 2019Updated 6 years ago
- Get information about NPM packages.☆14Feb 16, 2023Updated 3 years ago
- Infobip TestContainers Spring Boot Starter provides Spring Boot starters that ease the use of Testcontainers in test and local developmen…☆12Nov 25, 2025Updated 3 months ago
- ☆11Jan 10, 2023Updated 3 years ago
- Ada-tailored UML Modeling Language☆11May 14, 2023Updated 2 years ago
- JSR-223-compliant Clojure scripting plugin☆11Mar 26, 2025Updated 11 months ago
- Rime Japanese Input Method Solution。一个使用Rime的日本語入力☆14Apr 10, 2023Updated 2 years ago
- work in progress, playing around with btor2 in rust☆12Feb 24, 2026Updated last week
- A demontration of disassemblers generated by sleigh2rust☆13Nov 25, 2024Updated last year
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- A Lean implementation of Interaction Trees☆15Jan 13, 2025Updated last year
- monorepo for project dreamlands☆10May 1, 2018Updated 7 years ago
- ☆19Mar 7, 2015Updated 10 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- 基于Hadoop的商品推荐系统☆11Sep 25, 2024Updated last year
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- A composite GitHub action that can be used to create or update a GitHub issue/pull request comment.☆10Oct 4, 2025Updated 5 months ago