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:
- prepl is a REPL implementation, also known as a Lisp listener☆14Jun 11, 2025Updated last year
- In this project I implemented the Unscented Kalman Filter to estimate the state of multiple cars on a highway using noisy lidar and radar…☆12Feb 21, 2020Updated 6 years ago
- Repository containing the PhD Thesis "Formal Verification of Deep Reinforcement Learning Agents"☆11Aug 29, 2022Updated 3 years ago
- zsort is a collection of portable sorting algorithms in Common Lisp.☆29Apr 23, 2012Updated 14 years ago
- Python version of tools to work with AIG formatted files☆12May 20, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A kind of "pure" PicoLisp (not "pure Lisp"!).☆13Aug 22, 2017Updated 8 years ago
- http://cdr.eurolisp.org/document/2/☆17Sep 14, 2025Updated 9 months ago
- 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
- 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
- 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
- experiments in lisp static analysis☆12Oct 12, 2015Updated 10 years ago
- Common Lisp binding for OpenCL API☆10Aug 15, 2018Updated 7 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.
- The spec for "ANSI Escape sequences" in searchable, linkable form☆17Dec 24, 2019Updated 6 years ago
- automated planning toolbox☆15Jun 5, 2017Updated 9 years ago
- (ALPHA) Persistent, memory-mapped Common Lisp object store☆14Oct 26, 2020Updated 5 years ago
- The official repo for GCP-CROWN paper☆13Sep 26, 2022Updated 3 years ago
- Barebones Raspberry Pi programming in C☆14Apr 6, 2019Updated 7 years ago
- A programming language☆14Jan 24, 2015Updated 11 years ago
- Wayland protocol dumper☆25Aug 4, 2022Updated 3 years ago
- Discuss future project ideas☆12May 10, 2017Updated 9 years ago
- ☆20Jul 21, 2025Updated 10 months 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.
- Minimal init system for Linux based on busybox.☆10May 2, 2025Updated last year
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆20Sep 5, 2024Updated last year
- Fast, simple Free Monads using ScalaMeta macro annotations. Port of Freasy-Monad.☆14Oct 16, 2017Updated 8 years ago
- Pure math functions useful for games, 3D, and GL in general.☆17Jan 29, 2016Updated 10 years ago
- Implementation of the skip quadtree and compressed quadtree data structures.☆28Apr 28, 2013Updated 13 years ago
- A low level, expressive language☆14Dec 12, 2024Updated last year
- A blazing fast static site generator☆17Jun 12, 2026Updated last week
- Lockless skip lists for Common Lisp; well, for now sbcl 1.0.42 or higher. Contributions for other Lisps welcome. See the README file fo…☆19Apr 6, 2022Updated 4 years ago
- Online BDD Simulation Tool☆25Jul 29, 2025Updated 10 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.
- Implicit Game-Theoretic MPC☆23Feb 28, 2025Updated last year
- An embeddable LISP in C99☆23Feb 3, 2018Updated 8 years ago
- FOND solver based on SAT☆14Oct 22, 2022Updated 3 years ago
- A wire protocol dumper for Wayland☆21Aug 9, 2014Updated 11 years ago
- Belief-state planning for POMDPs using learned approximations☆24Jan 21, 2025Updated last year
- The Zenon theorem prover☆16Jul 19, 2023Updated 2 years ago
- Gives TreeLog a GUI, the ScalaJS ReactTreeView☆10Jun 23, 2016Updated 9 years ago