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:
- OpenAPI ↔ Python. To/fro routes, models, and tests. Convert between docstrings, classes, methods, argparse, SQLalchemy, Pydantic, JSON-sc…☆20Jun 12, 2026Updated 3 weeks ago
- Computational Neuroscience stuff☆13Aug 12, 2019Updated 6 years ago
- 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
- ☆18Oct 3, 2024Updated last year
- 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.
- ☆16Jan 4, 2022Updated 4 years ago
- For TAMP experiments using Drake☆13Jun 4, 2024Updated 2 years ago
- A lisp interpreter☆13Oct 1, 2020Updated 5 years ago
- A brief JAX tutorial with examples from control theory☆12Nov 17, 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
- http://cdr.eurolisp.org/document/2/☆17Sep 14, 2025Updated 9 months ago
- Common Lisp implementation of Trie data structure.☆13Jan 10, 2023Updated 3 years ago
- A python tool for solving reachability/safety, parity, weak parity and generalized parity games☆13Aug 16, 2018Updated 7 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆12Mar 14, 2024Updated 2 years ago
- Interval Analysis and Mixed Monotone Reachability in JAX☆21May 13, 2026Updated last month
- A Linux /dev/input driver for CL☆10Dec 28, 2024Updated last year
- (ALPHA) Persistent, memory-mapped Common Lisp object store☆14Oct 26, 2020Updated 5 years ago
- A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees☆20Dec 16, 2020Updated 5 years ago
- ☆23Sep 19, 2023Updated 2 years ago
- ☆20Jul 21, 2025Updated 11 months ago
- Random Scala thought experiments and miscellany.☆11Aug 24, 2016Updated 9 years ago
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆20Sep 5, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Convert biological neuronal networks to artificial recurrent neuronal networks☆21Jun 22, 2022Updated 4 years ago
- BoSy is a reactive synthesis tool based on constraint-solving☆22Aug 3, 2023Updated 2 years ago
- Array slices for Common Lisp☆18May 14, 2021Updated 5 years ago
- 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
- Implicit Game-Theoretic MPC☆24Feb 28, 2025Updated last year
- Online BDD Simulation Tool☆25Jul 29, 2025Updated 11 months ago
- An embeddable LISP in C99☆23Feb 3, 2018Updated 8 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Gives TreeLog a GUI, the ScalaJS ReactTreeView☆10Jun 23, 2016Updated 10 years ago
- 🤖Github bot for checking code formatting with scalafmt☆16Jun 3, 2018Updated 8 years ago
- ☆10Sep 23, 2019Updated 6 years ago
- Code for "Online Learned Continual Compression with Adaptive Quantization Modules"☆27Nov 11, 2020Updated 5 years ago
- Enable cross-building of sbt plugins☆46Aug 13, 2017Updated 8 years ago
- This project contains simple methods to measure sample relatedness and identify potential swaps and contamination☆10Jan 8, 2016Updated 10 years ago
- Theoretical Machine Learning (APPM 4490) class, Spring 2026☆27May 15, 2026Updated last month