Java Algebra System (JAS) Project
☆48May 9, 2024Updated last year
Alternatives and similar repositories for java-algebra-system
Users that are interested in java-algebra-system are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Java library for fast symbolic-numeric computation☆81Apr 1, 2020Updated 6 years ago
- GNU Hyperbole: The Everyday Hypertextual Information Manager☆10Updated this week
- An extensible, intuitive and easy to use algebra system that is capable of algebraic manipulation, simplification, differentiation, and m…☆50Dec 31, 2018Updated 7 years ago
- Using ModuleLayer instances to load conflicting versions of the same jar in the same JVM.☆16Dec 28, 2018Updated 7 years ago
- Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.☆33Dec 10, 2014Updated 11 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- F4 algorithm C++ library (groebner basis computations over finite fields)☆14Apr 6, 2018Updated 8 years ago
- Java implementations of sequences in the OEIS☆71Apr 2, 2026Updated last week
- Mathematica REPL plugin for IntellyJ IDEA IDE☆14Jun 11, 2018Updated 7 years ago
- A lightweight java library for generating 2D Voronoi diagrams using Fortune's Algorithm☆36Apr 11, 2019Updated 6 years ago
- Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.☆454Updated this week
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆36Oct 23, 2012Updated 13 years ago
- feyngen and feyncop - Two programs for calculations with Feynman graphs☆21Jan 28, 2025Updated last year
- Snippets and examples for an article on writing idiomatic JS libraries with ScalaJS☆19Mar 8, 2016Updated 10 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Feb 3, 2013Updated 13 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- linear algebra for tensors with symbolic and numeric scalars☆32Nov 19, 2019Updated 6 years ago
- miniKanren variant with a functional syntax, expressing disjunction via pattern matching☆17Mar 28, 2020Updated 6 years ago
- The Juice package for circuits in artificial intelligence, both logic and probabilistic☆12Mar 8, 2022Updated 4 years ago
- An integrated context-aware scanner and parser generator☆22Dec 4, 2023Updated 2 years ago
- ☆11Jun 1, 2018Updated 7 years ago
- Simple computer algebra system☆64Dec 19, 2024Updated last year
- Example setup for compiling Rust code that depends on an unmodified tree-sitter crate to the web via WebAssembly (and WASI).☆15Oct 28, 2024Updated last year
- MathTools is a Wolfram Language package that provides the software infrastructure I use for creating typeset mathematical diagrams and eq…☆19Mar 17, 2024Updated 2 years ago
- Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians.☆71Updated this week
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Mathematica's programming language parser written in Scala☆24Sep 11, 2014Updated 11 years ago
- Neural-Network Guided Expression Transformation☆13Apr 15, 2018Updated 7 years ago
- ☆13Aug 12, 2022Updated 3 years ago
- Visual bell for GNU Emacs☆20Oct 20, 2021Updated 4 years ago
- The Piranha computer algebra system.☆106Jul 6, 2022Updated 3 years ago
- Practical type inference for arbitrary-rank types☆11May 25, 2019Updated 6 years ago
- A Ghidra extension that allows you to run Angr symbolic execution using the Pcode from Ghidra.☆16Nov 11, 2021Updated 4 years ago
- Generation of abstract binding trees☆27Sep 26, 2025Updated 6 months ago
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Common Lisp X11 interface☆17Jun 11, 2025Updated 9 months ago
- A simple parser generator written in Java (fork of JavaCC 7.0.3) and used in ph-javacc-maven-plugin☆10Sep 19, 2025Updated 6 months ago
- Android CPU Raytracer☆11Feb 23, 2020Updated 6 years ago
- C-program for Feynman diagram generation☆10Jun 10, 2013Updated 12 years ago
- Essential Cheminformatics☆23May 25, 2010Updated 15 years ago
- NERO-nlp is a PyPI package for biomedical Named Entity (Recognition) Ontology☆12Oct 1, 2020Updated 5 years ago
- A repo to hold some simple experiments☆14May 4, 2022Updated 3 years ago