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 5 years ago
- Library of Ansible plugins and roles for deploying various services.☆15May 17, 2026Updated 4 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
- 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.
- Crazy Simple Unit Testing in Prolog☆16Apr 7, 2018Updated 8 years ago
- Toolbox for Python scripts.☆43Sep 7, 2026Updated last week
- vyai – A lightweight CLI tool to interact with the Gemini API from the terminal.☆15Updated this week
- 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…☆17Feb 10, 2026Updated 7 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
- 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.
- Hacker News Companion browser extension☆21Jul 5, 2026Updated 2 months ago
- 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 3 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…☆19Jan 30, 2026Updated 7 months ago
- streamlit_dash_gen☆17Jun 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 5 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- HabitFlow — Build better habits, one day at a time. A modern and intuitive habit tracker with smart analytics, beautiful visualizations, …☆21Nov 8, 2025Updated 10 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?"☆25May 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☆26Dec 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☆29Updated this week
- Collection of real-world IoT projects using Arduino and ESP32, focused on embedded systems, automation, and hardware-software integration…☆29Aug 2, 2026Updated last month
- library for modeling Petri nets in Erlang☆67Feb 7, 2025Updated last year
- Custom SwiftUI fonts capabilities and multi-platform font bridging.☆38Jul 25, 2026Updated last month
- Common utilities to ease the development of Python packages☆12Jun 12, 2026Updated 3 months ago
- 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