common language and mathematics processing algorithms, in Rust
☆30Mar 25, 2024Updated 2 years ago
Alternatives and similar repositories for llamapun
Users that are interested in llamapun are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The opentheory tool processes higher order logic theory packages☆17Mar 21, 2023Updated 3 years ago
- Interactive Theorem Proving for students☆21Aug 26, 2023Updated 2 years ago
- A "git trac" subcommand for git☆13Apr 6, 2022Updated 3 years ago
- Multinomials for the Mathematical Components library.☆16Mar 3, 2026Updated 3 weeks ago
- Succeeded by SyntaxDot: https://github.com/tensordot/syntaxdot☆26Mar 19, 2021Updated 5 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.
- An OpenMath 2.0 implementation in Python☆17May 22, 2020Updated 5 years ago
- Tools for creating binary tarballs☆16Aug 23, 2021Updated 4 years ago
- Jupyter kernels for GAP☆12Feb 1, 2018Updated 8 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Nov 3, 2021Updated 4 years ago
- A simple ML dialect☆11Jan 2, 2017Updated 9 years ago
- Post Graduate Diploma in Applied Statistics (PGDAST)☆14Sep 25, 2017Updated 8 years ago
- A general purpose processing framework for corpora of scientific documents☆65Mar 11, 2026Updated 2 weeks ago
- Texmlbus (Tex to XML BUild System) supports the conversion process of documents written in LaTeX to pdf, html, xhtml or jats.☆17Apr 30, 2023Updated 2 years ago
- fast utf-8 character sets☆14Mar 3, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Archive of questions from the Cambridge Mathematics Tripos☆10Jun 6, 2022Updated 3 years ago
- [ABANDONED] A nascent javascript library for math and physics calculations☆15Jul 21, 2015Updated 10 years ago
- Functional Vector Graphics☆17Jun 19, 2017Updated 8 years ago
- Incorporates external dependencies into HTML file using data: URI scheme☆21Nov 17, 2011Updated 14 years ago
- The base class from which to create a CWRC-Writer XML editor.☆14Apr 18, 2023Updated 2 years ago
- iOS Sprite Kit PhysicsDebugger☆111Dec 20, 2017Updated 8 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Applicative lexer☆13Nov 26, 2019Updated 6 years ago
- A best-first-search theorem prover implemented in Isabelle☆36Jul 18, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Julia package for the Singular library☆20Oct 12, 2021Updated 4 years ago
- ☆14Oct 11, 2023Updated 2 years ago
- ☆74Jan 5, 2026Updated 2 months ago
- ☆11Oct 19, 2018Updated 7 years ago
- A Haskell library: A fancy logging effect for Polysemy using the formatting library to format log messages.☆12Jul 16, 2021Updated 4 years ago
- 割方体: 正方形に切れ込みを入れた文字のフォント☆13Mar 30, 2019Updated 6 years ago
- Cursor data and manipulation☆22May 29, 2025Updated 9 months ago
- bookdown flavoured GitBook port for LaTeXML☆24Jan 17, 2026Updated 2 months ago
- Tool to convert literate code between styles or to code.☆11Jun 4, 2019Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ✅ PeopleBudget is an open-source tool for hosting participatory budgets elections at the local level.☆10Oct 4, 2022Updated 3 years ago
- Implementation of ICML 22 Paper: Scaling Structured Inference with Randomization☆13Jul 24, 2022Updated 3 years ago
- Unlink auto links in tweet. Provided as Chrome extension, small webapp, CLI or npm package☆10Jan 9, 2024Updated 2 years ago
- See https://github.com/sagemathinc/smc instead!☆22Mar 7, 2019Updated 7 years ago
- Wine, playonlinux and pulseaudio on LXDE desktop☆12Aug 11, 2022Updated 3 years ago
- Implements response compression with gzip and brotli via the `async-compression` crate☆15Sep 3, 2024Updated last year
- arXiv submission related tool repository☆15Updated this week