OEIS爬虫
☆15Dec 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:
- Book on Dynamical Systems Approaches to Infectious Disease Epidemiology☆11Nov 30, 2021Updated 4 years ago
- A formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Aug 29, 2021Updated 4 years ago
- JavaScript library for converting LaTeX math into Maxima code☆16Jan 4, 2023Updated 3 years ago
- El repositorio de Mis cursos☆16Jun 5, 2026Updated last month
- Quantum information library for Maxima☆13May 10, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆21Updated this week
- HPC Game Platform☆11Apr 20, 2023Updated 3 years ago
- Library of Octave functions for continuous gravitational-wave data analysis☆12Feb 28, 2023Updated 3 years ago
- Grand Unified Discontinuous Galerkin Environment? A DG code in training.☆15Jun 23, 2026Updated last week
- 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 8 months ago
- Simple interface between Common Lisp and Maxima. Moved to https://git.sr.ht/~jmbr/maxima-interface☆19Mar 4, 2023Updated 3 years ago
- Interactive demo of semantic editing of 3D shapes.☆18Oct 27, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 🧪 Experiments in calling Zig code from MoonBit (via C ABI bridge initially), aiming for direct interop.☆11Apr 7, 2025Updated last year
- ☆14Oct 30, 2024Updated last year
- High-Performance Linpack Benchmark adopted version for GPU backend☆12Sep 12, 2022Updated 3 years ago
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 6 months ago
- The repository for HKU ENGG1340 Group Project (24/25 Semester 2).☆10Jun 22, 2025Updated last year
- 膜拜 Siyuan☆14Sep 4, 2019Updated 6 years ago
- Open, hand-typed notes by HKU students, for HKU students.☆18Sep 5, 2025Updated 10 months ago
- Raycast for Quest 3 using the Unity-DepthAPI package☆17Feb 5, 2024Updated 2 years ago
- LISP Mathematical Library☆24Jun 27, 2022Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆12Mar 20, 2025Updated last year
- Diffcalc: a diffraction condition calculator for X-ray or neutron diffractometer control☆22Apr 13, 2026Updated 2 months ago
- Write games use jok(zig) through MoonBit(wasm).☆16Mar 24, 2025Updated last year
- 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.☆28Jun 7, 2026Updated 3 weeks ago
- Reproducible nix overlay of binary distributed MoonBit toolchains and LSP☆21Jun 27, 2026Updated last week
- Mechanized baselines for various type system features☆18Apr 14, 2026Updated 2 months ago
- Simple implementation of ST LC type checker in Haskell☆13Apr 18, 2022Updated 4 years ago
- A Python library to add reconstructed pronunciations of Middle Chinese on Chinese texts☆11Mar 13, 2023Updated 3 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.
- 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
- ☆17Oct 20, 2024Updated last year
- A lightweight, WebAssembly-native Canister Development Kit (CDK) for building smart contracts on the Internet Computer (ICP) with the Moo…☆20Dec 9, 2025Updated 6 months ago
- R Package - Dynamical Systems Approach to Infectious Disease Epidemiology☆26Jan 22, 2024Updated 2 years ago
- ☆11May 27, 2025Updated last year
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆11Apr 3, 2026Updated 3 months ago
- Orwell Dev-C++☆11Apr 20, 2018Updated 8 years ago