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☆11Jul 10, 2026Updated last month
- Interactive Theorem Proving for students☆21Aug 26, 2023Updated 3 years ago
- Data about projects authored and distributed with PreTeXt.☆11Apr 12, 2026Updated 4 months ago
- A "git trac" subcommand for git☆13Apr 6, 2022Updated 4 years ago
- Github mirror of "wikidata/query/blazegraph" - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer…☆16Apr 3, 2020Updated 6 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.
- Jupyter kernels for GAP☆12Feb 1, 2018Updated 8 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Nov 3, 2021Updated 4 years ago
- Rust wrapper for libxml2☆94Aug 2, 2026Updated last month
- Type-safe SPARQL query builder written in TypeScript☆17Jan 7, 2023Updated 3 years ago
- fast utf-8 character sets☆14Mar 3, 2025Updated last year
- Collection of my personal shell scripts☆12Aug 27, 2026Updated last week
- The base class from which to create a CWRC-Writer XML editor.☆14Apr 18, 2023Updated 3 years ago
- See https://github.com/sagemathinc/smc instead!☆22Mar 7, 2019Updated 7 years ago
- ☆11Oct 19, 2018Updated 7 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
- Rust library for creating a commit testament at compile time☆49Nov 28, 2024Updated last year
- An Abstract Reasoning Logic Interface☆14Oct 16, 2020Updated 5 years ago
- A Haskell library: A fancy logging effect for Polysemy using the formatting library to format log messages.☆12Jul 16, 2021Updated 5 years ago
- 割方体: 正方形に切れ込みを入れた文字のフォント☆13Mar 30, 2019Updated 7 years ago
- Allows conversion between ndarray's types and image's types☆14Jun 26, 2021Updated 5 years ago
- Use json web tokens to authenticate solidus api requests☆12May 24, 2023Updated 3 years ago
- Tiny single script to colorize `go test`☆12Feb 16, 2023Updated 3 years ago
- Let admins comment on objects in your Solidus backend.☆11Apr 10, 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.
- Music Machine hacked at Midem Hack Day.☆22Feb 6, 2012Updated 14 years ago
- Rust wrapper for the cld2 language detection library.☆16Nov 28, 2017Updated 8 years ago
- Genomic Visualization Catalog☆13Oct 6, 2022Updated 3 years ago
- ☆16Mar 22, 2025Updated last year
- Schemes in Lean (v2)☆45Jul 30, 2020Updated 6 years ago
- A web-browser app to visualise, interpret and prioritise genomic/transcriptomic structural variations (SVs) of multiple samples.☆14May 16, 2026Updated 3 months ago
- A simple Rust library for efficiently solving ODEs without cloning☆12Jun 26, 2019Updated 7 years ago
- A formalization of Constructive Projective Geometry in Agda☆12Jun 10, 2019Updated 7 years ago
- An encyclopedia of proofs☆67Nov 11, 2024Updated last year
- AI Agents on 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.
- (Outdated) Vim syntax/indent support for GitHub Actions *.workflow files☆18Dec 15, 2018Updated 7 years ago
- Alternative uxtheme.dll implementation for using the GTK+ rendering engine☆12Jul 19, 2015Updated 11 years ago
- A simple tool for visualising differences in Criterion benchmark results☆15Apr 11, 2025Updated last year
- Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler☆13Nov 17, 2022Updated 3 years ago
- collection of example documents for use within cocalc's library☆17Sep 11, 2025Updated 11 months ago
- ☆10Jun 26, 2023Updated 3 years ago
- Rust wrapper for the BlingFire tokenization library☆15Jun 23, 2026Updated 2 months ago