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☆11Oct 1, 2026Updated last week
- The opentheory tool processes higher order logic theory packages☆19Updated this week
- Tools for creating binary tarballs☆16Aug 23, 2021Updated 5 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
- 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.
- Counts commits across all organisation repos and gives you some pretty charts☆12Nov 16, 2023Updated 2 years ago
- A simple ML dialect☆10Jan 2, 2017Updated 9 years ago
- A general purpose processing framework for corpora of scientific documents☆69Oct 7, 2026Updated last week
- Type-safe SPARQL query builder written in TypeScript☆17Jan 7, 2023Updated 3 years ago
- fast utf-8 character sets☆14Mar 3, 2025Updated last year
- Functional Vector Graphics☆17Jun 19, 2017Updated 9 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 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 3 years ago
- 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.
- A best-first-search theorem prover implemented in Isabelle☆37Jul 18, 2022Updated 4 years ago
- Applicative lexer☆13Nov 26, 2019Updated 6 years ago
- 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
- Cryptographic protocol analysis for students and engineers.☆10Aug 27, 2019Updated 7 years ago
- Citation Style Language (CSL) API for Ruby☆16Oct 7, 2026Updated last week
- Music Machine hacked at Midem Hack Day.☆22Feb 6, 2012Updated 14 years ago
- A web-browser app to visualise, interpret and prioritise genomic/transcriptomic structural variations (SVs) of multiple samples.☆15May 16, 2026Updated 4 months 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 Python library for combinatorial exploration☆13Mar 31, 2026Updated 6 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☆68Nov 11, 2024Updated last year
- (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
- collection of example documents for use within cocalc's library☆17Sep 11, 2025Updated last year
- ☆10Jun 26, 2023Updated 3 years ago
- Rust wrapper for the BlingFire tokenization library☆15Jun 23, 2026Updated 3 months 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.
- A purely functional higher order logic kernel☆15Sep 12, 2026Updated last month
- Mini installer that contains everything that's necessary to run rhumba☆14May 18, 2021Updated 5 years ago
- Python code for computation and experimentation with cut-generating functions, in particular the Gomory-Johnson infinite group problem. B…☆13Mar 31, 2026Updated 6 months ago
- Paradox model finder and equinox theorem prover for first-order logic.☆22Sep 20, 2025Updated last year
- Solutions to Advent of Code 2021 in APL☆11Dec 1, 2022Updated 3 years ago
- Rust library to convert RGB 24-bit colors into ANSI 256 (8-bit) color codes with zero dependencies and at compile-time.☆14May 24, 2022Updated 4 years ago
- A preliminary but usable quantitative trading platform for cryptocurrency.☆14Apr 15, 2021Updated 5 years ago