OEIS爬虫
☆14Dec 17, 2018Updated 7 years ago
Alternatives and similar repositories for OEIS-Spider
Users that are interested in OEIS-Spider are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- zsort is a collection of portable sorting algorithms in Common Lisp.☆29Apr 23, 2012Updated 13 years ago
- Book on Dynamical Systems Approaches to Infectious Disease Epidemiology☆10Nov 30, 2021Updated 4 years ago
- Macsyma☆15Jan 23, 2018Updated 8 years ago
- Development of KETPic and KETCindy☆12Feb 11, 2026Updated last month
- ☆21Feb 28, 2026Updated 3 weeks ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Library of Octave functions for continuous gravitational-wave data analysis☆12Feb 28, 2023Updated 3 years ago
- JSXGraph-based dynamic and interactive images in Moodle STACK questions without even touching JavaScript☆11Mar 7, 2026Updated 2 weeks ago
- TiddlyWiki-based memory programme using advanced FSRS algorithm.☆12Dec 24, 2023Updated 2 years ago
- Examples, grammar, highlight, autocomplete, etc. files for some programming / scripting languages.☆11Aug 10, 2020Updated 5 years ago
- Motion4D - A library for lightrays and timelike worldlines in the theory of relativity☆15Jan 8, 2022Updated 4 years ago
- Geometric Algebra using wxMaxima (GAwxM)☆13Oct 14, 2025Updated 5 months ago
- ioring wrapper for windows-rs☆24Oct 2, 2022Updated 3 years ago
- ☆20Jan 31, 2026Updated last month
- Define maxima-file component to handle Maxima files in ASDF.☆12Jan 18, 2024Updated 2 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.
- LODA Programs for Integer Sequences☆38Updated this week
- Generate taylored code for Differential Dynamic Programming (DDP) aka Iterative Linear Quadratic Gaussian (iLQG) solvers for finite time …☆15Mar 27, 2018Updated 7 years ago
- Framework for autonomous vehicle risk assessment☆16May 11, 2023Updated 2 years ago
- Major mode for Maxima☆21Jun 11, 2023Updated 2 years ago
- Tea Time Numerical Analysis☆26Sep 18, 2022Updated 3 years ago
- A small C++ finite element method implementation developed as a part of my master's thesis☆16Nov 6, 2023Updated 2 years ago
- The In Silico Lab-On-A-Chip☆21Jan 20, 2023Updated 3 years ago
- This Question type plugin for ILIAS is a port of STACK, originally created by Chris Sangwin. It provides the most advanced Learning Tool …☆18Mar 5, 2026Updated 3 weeks ago
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 2 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Examples, References.☆19Feb 25, 2026Updated last month
- Plantilla para la elaboración de un trabajo de fin de grado.☆15Jun 16, 2025Updated 9 months ago
- Open, hand-typed notes by HKU students, for HKU students.☆18Sep 5, 2025Updated 6 months ago
- LISP Mathematical Library☆24Jun 27, 2022Updated 3 years ago
- Write games use jok(zig) through MoonBit(wasm).☆16Mar 24, 2025Updated last year
- Write, compile and run WebAssembly text mode in the browser☆16Jan 5, 2026Updated 2 months ago
- An upgraded version of Kantumruy.☆13Jan 13, 2024Updated 2 years ago
- All my old code in various languages. Some of it is better than the rest.☆28Feb 27, 2026Updated 3 weeks ago
- Simple implementation of ST LC type checker in Haskell☆13Apr 18, 2022Updated 3 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Mechanized baselines for various type system features☆18Updated this week
- Companion repo to store codes, assignments for B.Sc. (Hons) Computer Science Course (2019-2022) by University of Delhi☆19Jan 7, 2024Updated 2 years ago
- A lightweight, WebAssembly-native Canister Development Kit (CDK) for building smart contracts on the Internet Computer (ICP) with the Moo…☆21Dec 9, 2025Updated 3 months ago
- R Package - Dynamical Systems Approach to Infectious Disease Epidemiology☆26Jan 22, 2024Updated 2 years ago
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆11Aug 28, 2024Updated last year
- Orwell Dev-C++☆10Apr 20, 2018Updated 7 years ago
- A maxima CAS server for STACK☆24Jan 8, 2026Updated 2 months ago