Implements sorting algorithm for directed acyclic as well as cyclic graphs. The directed cyclic graphs are sorted by determining the minimal amount of cyclic edges and optionally then also determining the maximum amount of groupings possible with a minimal amount of cyclic edges.
☆44Oct 16, 2023Updated 2 years ago
Alternatives and similar repositories for cyclic-toposort
Users that are interested in cyclic-toposort are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A python tool for solving reachability/safety, parity, weak parity and generalized parity games☆13Aug 16, 2018Updated 7 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆11Jun 12, 2018Updated 8 years ago
- A collection of Jupyter notebooks as examples of usage of the Fastscape software stack.☆11Sep 27, 2023Updated 2 years ago
- prepl is a REPL implementation, also known as a Lisp listener☆14Jun 11, 2025Updated last year
- PilOS - A Stand-Alone Operating System☆14Aug 1, 2017Updated 8 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.
- Building Petri Nets in Javascript using Interaction Category semantics☆14Feb 1, 2017Updated 9 years ago
- http://cdr.eurolisp.org/document/2/☆17Sep 14, 2025Updated 10 months ago
- A lisp interpreter☆13Oct 1, 2020Updated 5 years ago
- Repository containing the PhD Thesis "Formal Verification of Deep Reinforcement Learning Agents"☆11Aug 29, 2022Updated 3 years ago
- Python version of tools to work with AIG formatted files☆12May 20, 2025Updated last year
- draw nice vextor fonts in openGL. C implementation using freetype of loop blinn technique for rendering vector graphics on gpu☆12Sep 24, 2010Updated 15 years ago
- Project template of Cumulo☆14Jun 22, 2026Updated last month
- Common Lisp implementation of Trie data structure.☆13Jan 10, 2023Updated 3 years ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆17Nov 3, 2024Updated last year
- 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.
- Reimplementation of the clockwork recurrent neural network in Torch7☆14Feb 4, 2016Updated 10 years ago
- automated planning toolbox☆15Jun 5, 2017Updated 9 years ago
- Pangeo + Binder (dev repo for a binder/pangeo fusion concept)☆18Jul 23, 2021Updated 5 years ago
- A DSL to create slides written in Common Lisp☆16Dec 9, 2011Updated 14 years ago
- experiments in lisp static analysis☆12Oct 12, 2015Updated 10 years ago
- PyTorch implementation of "Learning Stable Deep Dynamics Models" (https://papers.nips.cc/paper/9292-learning-stable-deep-dynamics-models)…☆17May 1, 2020Updated 6 years ago
- ☆12Mar 14, 2024Updated 2 years ago
- Stub clojure multi-method bodies☆13Jun 3, 2020Updated 6 years ago
- A Javascript library to display and interact with Petri Nets.☆15Nov 16, 2017Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Common Lisp binding for OpenCL API☆10Aug 15, 2018Updated 7 years ago
- A Linux /dev/input driver for CL☆10Dec 28, 2024Updated last year
- The spec for "ANSI Escape sequences" in searchable, linkable form☆17Dec 24, 2019Updated 6 years ago
- A PID controller for ROS2.☆17May 28, 2024Updated 2 years ago
- A clojure library for converting relational algebra expressions to SQL☆16Apr 4, 2019Updated 7 years ago
- DB::Evolve is to Ruby Migrations as React is to jQuery.☆10Jun 10, 2016Updated 10 years ago
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆20Sep 5, 2024Updated last year
- (ALPHA) Persistent, memory-mapped Common Lisp object store☆14Oct 26, 2020Updated 5 years ago
- ☆23Sep 19, 2023Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Adaptive Subgoal Search☆20Apr 3, 2023Updated 3 years ago
- A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees☆20Dec 16, 2020Updated 5 years ago
- Common Lisp bindings for the Tesseract OCR library.☆13Jan 9, 2025Updated last year
- Barebones Raspberry Pi programming in C☆14Apr 6, 2019Updated 7 years ago
- A programming language☆14Jan 24, 2015Updated 11 years ago
- BoSy is a reactive synthesis tool based on constraint-solving☆22Aug 3, 2023Updated 2 years ago
- Next-generation end-to-end low code language based on Petri nets.☆21Updated this week