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
- 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.
- Crazy Simple Unit Testing in Prolog☆16Apr 7, 2018Updated 8 years 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 last month
- Toolbox for Python scripts.☆43Jul 8, 2026Updated last week
- vyai – A lightweight CLI tool to interact with the Gemini API from the terminal.☆14May 17, 2026Updated 2 months 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 5 months ago
- Swift package for writing command line tools.☆21Dec 25, 2022Updated 3 years ago
- ☆11Oct 30, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A JIT compiler implemented with MLIR/LLVM for faster query processing in SQLite☆20Jan 3, 2023Updated 3 years ago
- Hacker News Companion browser extension☆21Jul 5, 2026Updated 2 weeks 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…☆17Jan 30, 2026Updated 5 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
- An extension to SnapshotTesting which allows you to create HEIC images☆29Dec 4, 2025Updated 7 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- BubbleTabBar for SwiftUI, iOS + 17☆17Mar 24, 2026Updated 3 months ago
- HabitFlow — Build better habits, one day at a time. A modern and intuitive habit tracker with smart analytics, beautiful visualizations, …☆20Nov 8, 2025Updated 8 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☆40May 1, 2019Updated 7 years ago
- Inline password encryption alternative to ansible-vault☆12Jun 5, 2018Updated 8 years ago
- Terraform provider to manage components of a linux system.☆12Oct 3, 2023Updated 2 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
- Compiler for Swiftlet☆41May 7, 2024Updated 2 years ago
- The official implementation of the DAC 2024 paper GQA-LUT☆24Dec 20, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Patch os.environ with dynamic values when the interpreter starts☆12Jul 23, 2020Updated 5 years ago
- library for modeling Petri nets in Erlang☆66Feb 7, 2025Updated last year
- Custom fonts capabilities for SwiftUI.☆35Jun 5, 2026Updated last month
- Collection of real-world IoT projects using Arduino and ESP32, focused on embedded systems, automation, and hardware-software integration…☆25Updated this week
- A terraform providing stateful counters which increment based on trigger expressions☆10Dec 13, 2021Updated 4 years ago
- Common utilities to ease the development of Python packages☆12Jun 12, 2026Updated last month
- Terraform Openshift provider☆15Mar 30, 2023Updated 3 years ago