Pure Swift library of Decision Diagrams.
☆10Jul 21, 2021Updated 5 years ago
Alternatives and similar repositories for DDKit
Users that are interested in DDKit are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Anzen programming language.☆19Mar 5, 2020Updated 6 years ago
- A Swift library to write parsers for domain specific languages.☆15Nov 3, 2020Updated 5 years ago
- A Prolog-like language as a Swift Embedded Domain Specific Language.☆64Aug 12, 2021Updated 4 years ago
- Library of Ansible plugins and roles for deploying various services.☆15May 17, 2026Updated 2 months ago
- This repository accompanies the research paper "P. Kreutzer, S. Kraus, M. Philippsen: Language-Agnostic Generation of Compilable Test Pro…☆12Jul 8, 2022Updated 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.
- Crazy Simple Unit Testing in Prolog☆16Apr 7, 2018Updated 8 years ago
- Toolbox for Python scripts.☆43Updated this week
- vyai – A lightweight CLI tool to interact with the Gemini API from the terminal.☆15Jul 22, 2026Updated 2 weeks ago
- A basic worker pool manager for Erlang to showcase gen_pnet.☆25Feb 7, 2025Updated last year
- Optimized and cross platform SMPTE 2022-1 FEC library in C, Python, Java☆39Feb 26, 2014Updated 12 years ago
- Hi, I’m Satyam Umrao, a passionate Frontend Developer and BCA student who loves building clean, modern, and high-performance web applicat…☆15Feb 10, 2026Updated 6 months ago
- Swift package for writing command line tools.☆21Dec 25, 2022Updated 3 years ago
- ☆11Oct 30, 2020Updated 5 years ago
- A JIT compiler implemented with MLIR/LLVM for faster query processing in SQLite☆20Jan 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.
- Hacker News Companion browser extension☆22Jul 5, 2026Updated last month
- This repository hosts the source code of PNML Framework, the companion tool of ISO/IEC 15909-2 (Petri Nets Markup Language - www.pnml.org…☆16Jun 10, 2026Updated 2 months ago
- Post-Specialisation: Retrofitting Vectors of Words Unseen in Lexical Resources☆12Apr 12, 2018Updated 8 years ago
- Noqta is a smart multi-vendor e-commerce platform focused on trust, discovery, and empowering small sellers. Built with clarity, scalabil…☆18Jan 30, 2026Updated 6 months ago
- streamlit_dash_gen☆16Jun 14, 2025Updated last year
- Lua coroutines that allow nesting☆33Mar 26, 2022Updated 4 years ago
- Easy way to work with files, directories and paths in swift on macOS and linux.☆33Oct 4, 2018Updated 7 years ago
- Leda is a SEDA (Staged Event-Driven Architecture) implementation in Lua.☆28Jul 22, 2014Updated 12 years ago
- BubbleTabBar for SwiftUI, iOS + 17☆17Mar 24, 2026Updated 4 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- HabitFlow — Build better habits, one day at a time. A modern and intuitive habit tracker with smart analytics, beautiful visualizations, …☆21Nov 8, 2025Updated 9 months ago
- HandlersKit is a light-weight iOS Framework that allows you to use modern closure syntax instead of the target-action and delegate patter…☆33Mar 17, 2023Updated 3 years ago
- JSON Web Token library☆39May 1, 2019Updated 7 years ago
- Inline password encryption alternative to ansible-vault☆12Jun 5, 2018Updated 8 years ago
- Implementation of the paper "Large Language Models as Simulated Economic Agents: What Can We Learn from Homo Silicus?"☆24May 12, 2024Updated 2 years ago
- Terraform provider to manage components of a linux system.☆12Oct 3, 2023Updated 2 years ago
- Compiler for Swiftlet☆41May 7, 2024Updated 2 years ago
- The official implementation of the DAC 2024 paper GQA-LUT☆25Dec 20, 2024Updated last year
- Patch os.environ with dynamic values when the interpreter starts☆12Jul 23, 2020Updated 6 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.
- An extension to SnapshotTesting which allows you to create HEIC images☆29Dec 4, 2025Updated 8 months ago
- Collection of real-world IoT projects using Arduino and ESP32, focused on embedded systems, automation, and hardware-software integration…☆26Aug 2, 2026Updated last week
- library for modeling Petri nets in Erlang☆66Feb 7, 2025Updated last year
- Custom SwiftUI fonts capabilities and multi-platform font bridging.☆38Jul 25, 2026Updated 2 weeks ago
- Common utilities to ease the development of Python packages☆12Jun 12, 2026Updated last month
- A terraform providing stateful counters which increment based on trigger expressions☆10Dec 13, 2021Updated 4 years ago
- Terraform Openshift provider☆15Mar 30, 2023Updated 3 years ago