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:
- An Interactive Discrete Mathematics Framework for GAP☆10Apr 16, 2026Updated last month
- The opentheory tool processes higher order logic theory packages☆18Mar 21, 2023Updated 3 years ago
- An OpenMath 2.0 implementation in Python☆17May 22, 2020Updated 6 years ago
- A general purpose processing framework for corpora of scientific documents☆67Updated this week
- Type-safe SPARQL query builder written in TypeScript☆17Jan 7, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- fast utf-8 character sets☆14Mar 3, 2025Updated last year
- 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
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Streaming parsers collection☆17Jun 19, 2020Updated 5 years ago
- Build and release tools for the MathJax project☆34Jun 1, 2026Updated last week
- Julia package for the Singular library☆20Oct 12, 2021Updated 4 years ago
- An annotation tool for grounding of formulae☆24May 28, 2024Updated 2 years ago
- 🧙 LDWizard: A generic framework for simplifying the creation of linked data. Supported by the PLDN community.☆18May 27, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆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
- Cursor data and manipulation☆22Jun 3, 2026Updated last week
- Tool to convert literate code between styles or to code.☆11Jun 4, 2019Updated 7 years ago
- Framework for measuring sim-to-real gaps in robot joint motions. Supports different humanoids with physics simulation, real hardware data…☆97Apr 28, 2026Updated last month
- See https://github.com/sagemathinc/smc instead!☆22Mar 7, 2019Updated 7 years ago
- Skill Map To Learn Mathematic☆13May 7, 2020Updated 6 years ago
- Wine, playonlinux and pulseaudio on LXDE desktop☆12Aug 11, 2022Updated 3 years ago
- Allows conversion between ndarray's types and image's types☆14Jun 26, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A node module for allowing programmatic control of the useful Packer.IO tool☆16Nov 18, 2016Updated 9 years ago
- Combinators in C☆37Jun 5, 2012Updated 14 years ago
- A LaTeX package that incorporates sympy code, and it's output into your LaTeX documents☆37Oct 21, 2014Updated 11 years ago
- An experimental implementation of 'try' operator for Go☆13Jun 13, 2019Updated 7 years ago
- ScopeT and ScopeH☆13Aug 3, 2024Updated last year
- RBniCSx - reduced order modelling in FEniCSx☆12Jun 2, 2026Updated last week
- <Coliop|Coin> Mathematical Programming Language☆14Jul 11, 2024Updated last year
- emo•ji for all (LaTeX engines) 🎉☆15May 22, 2023Updated 3 years ago
- Cryptographic protocol analysis for students and engineers.☆11Aug 27, 2019Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A formalization of Constructive Projective Geometry in Agda☆12Jun 10, 2019Updated 7 years ago
- Pandoc filter to use Wikidata as reference manager☆19Nov 15, 2020Updated 5 years ago
- A spaceflight simulator☆17Sep 12, 2017Updated 8 years ago
- A simple tool for visualising differences in Criterion benchmark results☆15Apr 11, 2025Updated last year
- Music Machine hacked at Midem Hack Day.☆22Feb 6, 2012Updated 14 years ago
- Travis builds for certbot.eff.org☆12Jan 19, 2022Updated 4 years ago
- A simple Rust library for efficiently solving ODEs without cloning☆12Jun 26, 2019Updated 6 years ago