simple binary tree visualizer
☆12Jan 19, 2024Updated 2 years ago
Alternatives and similar repositories for prettybt
Users that are interested in prettybt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- online effects☆13Jul 16, 2023Updated 2 years ago
- Server wrapper for ml models☆11Sep 11, 2019Updated 6 years ago
- UrbanSSF is a segmentation framework that employs a combination of CNNs, Transformers and Mamba. The framework is well suited to the segm…☆13Mar 11, 2025Updated last year
- A unique textual notation that can be used as both a data format and a markup language and that has powerful extensibility of both lexica…☆13Dec 7, 2023Updated 2 years ago
- HW: a modern, open-source, typeless, turing-incomplete programming language.☆10Jul 17, 2018Updated 7 years ago
- 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.
- 社区类微信小程序全栈☆10May 28, 2019Updated 6 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Feb 1, 2018Updated 8 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Mar 2, 2020Updated 6 years ago
- Solve 24 puzzles using zero-aware pattern databases☆15Nov 19, 2024Updated last year
- ☆20May 17, 2023Updated 2 years ago
- 人民日报中军装照换脸的一个demo，借用大神的思路改写。☆17Oct 23, 2017Updated 8 years ago
- Binary-Tree-Visualization☆15Jun 15, 2022Updated 3 years ago
- [xposed]An Xposed module that would halt APPs in your Zen time 😪☆17May 28, 2024Updated last year
- A simple YOLOv3 object detection API in Python (using Flask).☆15May 6, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Add and search for nodes in a binary tree with an easy-to-use, web-based visualization☆23Jul 14, 2019Updated 6 years ago
- Binary Search Tree Visualizer☆19Nov 6, 2020Updated 5 years ago
- QAvatar☆15Jun 1, 2025Updated 9 months ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Aug 1, 2014Updated 11 years ago
- An embedding of ZFC into Agda☆13Dec 10, 2021Updated 4 years ago
- [xposed]自动更换QQ头像☆16Jun 1, 2025Updated 9 months ago
- Sorting visualizer made with SFML and C++ 📊☆20Aug 9, 2024Updated last year
- ☆22Updated this week
- LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.☆21Mar 9, 2026Updated 2 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆20Feb 28, 2025Updated last year
- Vue 3 Instagram feed component using a personal access token - 2022 Meta API☆17Apr 13, 2025Updated 11 months ago
- A very short and simple implementation of (bottom-up) Datalog in JS☆31Mar 23, 2013Updated 13 years ago
- Crack segmentation based on deep learning☆21Sep 16, 2024Updated last year
- ☆30Aug 25, 2022Updated 3 years ago
- Access an object from a single Tokio task☆13Feb 17, 2019Updated 7 years ago
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆24Apr 7, 2025Updated 11 months ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- SVG to PNG as Cloudflare Worker☆40Oct 20, 2025Updated 5 months ago
- 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 repository filled with code shared by the community during coding sessions and from-scratch challanges☆34Mar 14, 2022Updated 4 years ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆30Jun 21, 2023Updated 2 years ago
- Experiment for establishing VPN connections over Keybase☆10Apr 19, 2020Updated 5 years ago
- Job Shop Scheduling Problem Solver☆15Apr 26, 2019Updated 6 years ago
- ☆10Mar 20, 2020Updated 6 years ago
- [xposed]自动更换微信头像☆26Sep 14, 2025Updated 6 months ago
- Collection of generative art made by me.☆10Jul 8, 2018Updated 7 years ago