Java implementations of sequences in the OEIS
☆71Apr 10, 2026Updated this week
Alternatives and similar repositories for joeis
Users that are interested in joeis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆122Updated this week
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Aug 23, 2021Updated 4 years ago
- Web editor for the LODA language.☆30Oct 28, 2025Updated 5 months ago
- ☆25Apr 6, 2026Updated last week
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆15Mar 23, 2026Updated 3 weeks ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Runtime and miner for the LODA language written in C++☆28Mar 18, 2026Updated 3 weeks ago
- ☆22Jan 19, 2023Updated 3 years ago
- Java Algebra System (JAS) Project☆48May 9, 2024Updated last year
- A Java math library focused on number theory and integer factorization in particular.☆36Updated this week
- linear algebra for tensors with symbolic and numeric scalars☆33Nov 19, 2019Updated 6 years ago
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆50Feb 2, 2025Updated last year
- An abstract kernel implementation for Jupyter kernels running on the Java virtual machine.☆39Feb 11, 2024Updated 2 years ago
- Automated Theorem Prover for Automatic Words☆21Apr 7, 2021Updated 5 years ago
- The Next Generation of Compositional Programming☆56Jan 27, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Detect CI Environment from environment variables☆13Updated this week
- generate art from a hash☆24Jul 6, 2025Updated 9 months ago
- An integrated context-aware scanner and parser generator☆22Dec 4, 2023Updated 2 years ago
- Some Lua scripts for benchmarking Vault with the wrk tool☆14Oct 29, 2019Updated 6 years ago
- Fast linear algebra for Java☆11Mar 22, 2026Updated 3 weeks ago
- HashCats Auto Clicker is a versatile tool that enhances your gaming experience by automating various actions within the HashCats game☆18Updated this week
- 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
- ScrewBox is a minimalist pure Java game engine. If you want to start building your own 2D game without leaving your cozy IDE it might be …☆18Updated this week
- A third-party Java wrapper for plotly.js☆24Jan 16, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Purely algorithmic number sequence identification☆32Feb 5, 2022Updated 4 years ago
- Reproduction of 'Analysing Mathematical Reasoning Abilities of Neural Models' Saxton et. al. 2019☆12Dec 8, 2022Updated 3 years ago
- ☆348Mar 13, 2023Updated 3 years ago
- Entry to model counting competition 2021.☆25Jun 25, 2024Updated last year
- 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
- Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians.☆71Apr 8, 2026Updated last week
- C-program for Feynman diagram generation☆10Jun 10, 2013Updated 12 years ago
- An example application to make Symja work on Android.☆13Oct 6, 2025Updated 6 months ago
- Bacting is an open-source platform for chemo- and bioinformatics based on Bioclipse that defines a number of common domain objects and wr…☆20Mar 20, 2026Updated 3 weeks ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A library to represent quantities and perform conversions between units of measurements with double or arbitray precision.☆10Oct 17, 2022Updated 3 years ago
- Cangjie bindings for Dear ImGui☆14Mar 11, 2025Updated last year
- ☆12Nov 14, 2024Updated last year
- Embed LaTeX in standards-compliant markdown.☆215Sep 8, 2015Updated 10 years ago
- ☆23May 25, 2025Updated 10 months ago
- A JNI Example with Maven☆10Jan 22, 2018Updated 8 years ago
- Clone of iris-reasoner (http://iris-reasoner.org) from sourceforge☆11Mar 18, 2016Updated 10 years ago