GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups
☆21Mar 31, 2026Updated last week
Alternatives and similar repositories for sgpdec
Users that are interested in sgpdec 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 GAP package Semigroups☆28Updated this week
- Basic package manager for GAP☆12Mar 31, 2026Updated last week
- The GAP package Digraphs☆44Mar 31, 2026Updated last week
- Coxeter is a library for the study of combinatorial aspects of Coxeter group theory☆12Dec 28, 2023Updated 2 years ago
- Automatically regenerate your tags on file changes https://rubygems.org/gems/tagrity☆10Jun 19, 2021Updated 4 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.
- AD backends for LogDensityProblems.jl.☆13Apr 1, 2026Updated last week
- Homebrew tap for GAP☆16Oct 20, 2025Updated 5 months ago
- [NeurIPS 2025] Official code repository for "Failure Prediction at Runtime for Generative Robot Policies".☆33Nov 3, 2025Updated 5 months ago
- Port of Peter Meyers Timewave Zero to JS☆16Jun 13, 2012Updated 13 years ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆17Mar 30, 2026Updated last week
- Parallel solvers for hard problems☆12Oct 12, 2022Updated 3 years ago
- A ClojureScript REPL using Reagent and MDL☆14Jan 13, 2018Updated 8 years ago
- Setup ccache easily in your workflow, with all the tuning knobs you need!☆18Feb 24, 2026Updated last month
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- BisPy - Python bisimulation library☆16Jan 21, 2022Updated 4 years ago
- NOTE: This repository is obsolete. Was: A pilot project to use Clojure for introductory computer science courses at the University of Min…☆20Sep 30, 2017Updated 8 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- This repository replicates the figures from the 3rd edition of the book "Recursive Macroeconomic Theory" by Lars Ljungqvist and Thomas J.…☆12Feb 9, 2016Updated 10 years ago
- ☆12Apr 17, 2025Updated 11 months ago
- Agda from Nothing: Order in the Types☆13Jan 23, 2017Updated 9 years ago
- Yet Another Graph Visualisation of the logical dependencies in Spinoza's Ethics☆13Nov 25, 2015Updated 10 years ago
- Seamless embedding of Julia in MATLAB.☆22Updated this week
- 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.
- Building dynamical systems compositionally☆78Mar 7, 2026Updated last month
- TeLLer is a collection of tools that explore the use of linear logic applied to narrative generation and story telling.☆18Jun 22, 2015Updated 10 years ago
- An interpreter for Gödel's System T☆13Apr 17, 2017Updated 8 years ago
- Modern and efficient C++ Thread Pool Library☆13Mar 31, 2021Updated 5 years ago
- D3 interactive wheel visualisation of Hegel's Science of Logic☆13Mar 28, 2015Updated 11 years ago
- Native Jupyter kernel for GAP☆21Mar 31, 2026Updated last week
- Securely build and upload Python distributions to PyPI☆17Feb 10, 2026Updated 2 months ago
- A fork of Levy, originally by Bauer and Pretnar. The 'master' branch has some minor code fixes, more examples, and a top-level 'do' notat…☆16Mar 11, 2012Updated 14 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆26Sep 12, 2024Updated last year
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- An experiment to see if chatgpt can improve the output of the stanford alpaca dataset☆12Mar 29, 2023Updated 3 years ago
- ☆13Jan 23, 2022Updated 4 years ago
- Combinators in C☆37Jun 5, 2012Updated 13 years ago
- Unofficial Google Gen AI Julia SDK☆18Aug 31, 2025Updated 7 months ago
- LispWorks Configuration files☆13Jul 23, 2017Updated 8 years ago
- Visualize fine-grained timing data from ghc verbose logs☆13Jan 12, 2022Updated 4 years ago
- Implementation of the Lemke-Howson algorithm for finding MNE☆15Nov 2, 2013Updated 12 years ago