cwi-swat/non-layered-tidy-trees external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

cwi-swat/non-layered-tidy-trees

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/cwi-swat/non-layered-tidy-trees)

Close

cwi-swat / non-layered-tidy-treesView on GitHubMore

• External links
• Readme badge

Code accompanying the SP&E paper "Drawing non-layered tidy trees in linear time" by Atze van der Ploeg

☆34Feb 19, 2025Updated last year

Alternatives and similar repositories for non-layered-tidy-trees

Users that are interested in non-layered-tidy-trees are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• paurkedal / batyr

  View on GitHub
  A jabber logger and web interface
  ☆12Apr 17, 2026Updated 6 months ago
• typesanitizer / b2piet

  View on GitHub
  ☆11Nov 1, 2017Updated 8 years ago
• Ducasse / SOUL

  View on GitHub
  Rescuing the SOUL great logic meta programming language
  ☆12Oct 7, 2018Updated 8 years ago
• jacquev6 / Collide

  View on GitHub
  Event-based simulation of elastic collisions between balls
  ☆14May 27, 2020Updated 6 years ago
• ml-in-barcelona / jsoo-css

  View on GitHub
  CSS Typed functional interface in jsoo, bindings to inline styles and emotion
  ☆12Oct 9, 2023Updated 3 years ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• choeger / ppx_deriving_morphism

  View on GitHub
  Deriving morphisms for OCaml data structures
  ☆11Aug 28, 2019Updated 7 years ago
• well-typed-lightbulbs / mirage-esp32-samples

  View on GitHub
  Some sample unikernels that run on ESP32 devices.
  ☆12Jun 21, 2018Updated 8 years ago
• vouillon / animals

  View on GitHub
  A phylogenetic tree of animals
  ☆13Sep 25, 2016Updated 10 years ago
• msimon / chip8js

  View on GitHub
  Js implementation of Chip8. (Compile with Js_of_ocaml)
  ☆12Feb 20, 2014Updated 12 years ago
• samoht / mirage-tc

  View on GitHub
  Type-classes for mirage applications
  ☆12Oct 3, 2016Updated 10 years ago
• arlencox / SETr

  View on GitHub
  Abstract domain library for sets
  ☆10Feb 23, 2023Updated 3 years ago
• janestreet-deprecated / ppx_driver

  View on GitHub
  Deprecated, use ocaml-ppx/ppxlib instead
  ☆14Mar 29, 2018Updated 8 years ago
• Chris00 / mesh

  View on GitHub
  Triangular mesh generation and manipulation
  ☆13Jul 3, 2021Updated 5 years ago
• vasilisp / inez

  View on GitHub
  A Constraint Solver
  ☆11Dec 4, 2015Updated 10 years ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• daypack-dev / daypack-lib

  View on GitHub
  (WIP) OCaml library for schedule, time, and time slots handling
  ☆15Nov 10, 2020Updated 5 years ago
• ciaran16 / shell

  View on GitHub
  Lets you create interactive shells in OCaml.
  ☆11Sep 13, 2016Updated 10 years ago
• ocsigen / ocaml-eliom

  View on GitHub
  A modified OCaml compiler for eliom programs
  ☆10Jan 16, 2017Updated 9 years ago
• hennequin-lab / gp

  View on GitHub
  Simple OCaml interface for Gnuplot
  ☆11Oct 6, 2021Updated 5 years ago
• c-cube / ocaml-minisat

  View on GitHub
  OCaml bindings to Minisat
  ☆13May 6, 2024Updated 2 years ago
• ocaml / oloop

  View on GitHub
  Evaluate code through the OCaml toploop for inclusion in educational material.
  ☆13Jul 4, 2015Updated 11 years ago
• graninas / Haskell-Algorithms

  View on GitHub
  Learning Haskell: algorithms, data structures, mini-programs, materials, excercises
  ☆17Aug 19, 2019Updated 7 years ago
• emdonahue / SmallKanren

  View on GitHub
  miniKanren in Pharo
  ☆12Jun 10, 2024Updated 2 years ago
• lcdunstan / reqtrace

  View on GitHub
  Requirement traceability tool for OCaml
  ☆13Jun 21, 2015Updated 11 years ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• modular-implicits / imp

  View on GitHub
  Experimental library using modular implicits
  ☆17Sep 25, 2023Updated 3 years ago
• madvagabond / ocaml-balancers

  View on GitHub
  A client side load balancing library for ocaml
  ☆18Aug 11, 2018Updated 8 years ago
• gdeest / ocaml-isl

  View on GitHub
  OCaml bindings for the Integer Set Library.
  ☆13Jun 12, 2014Updated 12 years ago
• stedolan / linkage

  View on GitHub
  easy-to-use wrapper for OCaml's Dynlink
  ☆17Jan 9, 2017Updated 9 years ago
• rleonid / bau

  View on GitHub
  BigArray Utilities
  ☆13Feb 19, 2018Updated 8 years ago
• janestreet / toplevel_expect_test

  View on GitHub
  Toplevel expectation test
  ☆18Jul 10, 2026Updated 3 months ago
• hpi-swa-teaching / Koans

  View on GitHub
  Next-level Koans
  ☆16Updated this week
• iz4vve / HOMarkov

  View on GitHub
  High Order Markov Chains
  ☆16Jan 24, 2023Updated 3 years ago
• ocaml-opam / ocaml-mccs

  View on GitHub
  Stripped-down version of mccs with OCaml bindings
  ☆24Jan 9, 2025Updated last year
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• Archimagus / ludumdare36-cardsmith

  View on GitHub
  ☆10Jan 10, 2017Updated 9 years ago
• fxfactorial / lambda-invaders

  View on GitHub
  OCaml based version of space-invaders
  ☆14Aug 27, 2015Updated 11 years ago
• torus / lua-call-cc

  View on GitHub
  implementing call/cc on Lua script language.
  ☆12Jun 9, 2010Updated 16 years ago
• avsm / opam-boot

  View on GitHub
  Bootstrap scripts to build standalone OPAM projects
  ☆15Nov 9, 2017Updated 8 years ago
• nojb / tortuga

  View on GitHub
  An implementation of the Logo programming language in OCaml
  ☆15Mar 13, 2018Updated 8 years ago
• jeffa5 / mirage-xmpp

  View on GitHub
  Implementation of XMPP for MirageOS
  ☆16Apr 8, 2019Updated 7 years ago
• knowm / waveforms4j

  View on GitHub
  Digilent Waveforms AD2 SDK Java Implementation
  ☆19Jul 21, 2021Updated 5 years ago