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.
☆45Oct 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 8 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆11Jun 12, 2018Updated 8 years ago
- prepl is a REPL implementation, also known as a Lisp listener☆14Jun 11, 2025Updated last year
- A simple permissions library in Clojure☆12Apr 10, 2021Updated 5 years ago
- 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
- 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.
- Building Petri Nets in Javascript using Interaction Category semantics☆14Feb 1, 2017Updated 9 years ago
- For TAMP experiments using Drake☆13Jun 4, 2024Updated 2 years ago
- A kind of "pure" PicoLisp (not "pure Lisp"!).☆13Aug 22, 2017Updated 8 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
- Repository containing the PhD Thesis "Formal Verification of Deep Reinforcement Learning Agents"☆11Aug 29, 2022Updated 3 years ago
- Project template of Cumulo☆14Jun 22, 2026Updated last month
- Common Lisp implementation of Trie data structure.☆13Jan 10, 2023Updated 3 years ago
- Code for "Unsupervised Visuomotor Control through Distributional Planning Networks"☆10Jun 27, 2019Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Reimplementation of the clockwork recurrent neural network in Torch7☆14Feb 4, 2016Updated 10 years ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆17Nov 3, 2024Updated last year
- java library to measure the readability of english text☆15May 13, 2026Updated 3 months ago
- automated planning toolbox☆15Jun 5, 2017Updated 9 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
- ☆12Mar 14, 2024Updated 2 years ago
- Stub clojure multi-method bodies☆13Jun 3, 2020Updated 6 years ago
- Common Lisp binding for OpenCL API☆10Aug 15, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- The spec for "ANSI Escape sequences" in searchable, linkable form☆17Dec 24, 2019Updated 6 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
- ☆13Jan 7, 2026Updated 7 months ago
- Implementation of the languages from the EOPL textbook in Haskell and Standard ML.☆15Dec 22, 2019Updated 6 years ago
- (ALPHA) Persistent, memory-mapped Common Lisp object store☆14Oct 26, 2020Updated 5 years ago
- Where "ActiveRecord" encounters "HoneySQL"☆17Mar 27, 2021Updated 5 years ago
- The official repo for GCP-CROWN paper☆13Sep 26, 2022Updated 3 years ago
- Adaptive Subgoal Search☆20Apr 3, 2023Updated 3 years ago
- AI Agents on 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.
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Mar 16, 2024Updated 2 years ago
- Common Lisp bindings for the Tesseract OCR library.☆14Jan 9, 2025Updated last year
- This crate provides a set of functions to generate SQL statements for various PostgreSQL schema objects, such as tables, views, materiali…☆19Nov 19, 2023Updated 2 years ago
- BoSy is a reactive synthesis tool based on constraint-solving☆22Aug 3, 2023Updated 3 years ago
- Next-generation end-to-end low code language based on Petri nets.☆21Jul 30, 2026Updated 2 weeks ago
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated 11 months ago
- Minimal init system for Linux based on busybox.☆10May 2, 2025Updated last year