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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Crazy Simple Unit Testing in Prolog☆16Apr 7, 2018Updated 8 years ago
- Toolbox for Python scripts.☆43Oct 1, 2026Updated last week
- vyai – A lightweight CLI tool to interact with the Gemini API from the terminal.☆15Sep 16, 2026Updated 3 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…☆17Feb 10, 2026Updated 8 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☆22Jul 5, 2026Updated 3 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 4 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…☆20Jan 30, 2026Updated 8 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 8 years ago
- Leda is a SEDA (Staged Event-Driven Architecture) implementation in Lua.☆28Jul 22, 2014Updated 12 years ago
- BubbleTabBar for SwiftUI, iOS + 17☆18Mar 24, 2026Updated 6 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- HabitFlow — Build better habits, one day at a time. A modern and intuitive habit tracker with smart analytics, beautiful visualizations, …☆21Updated this week
- 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 3 years ago
- Compiler for Swiftlet☆43May 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☆11Jul 23, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An extension to SnapshotTesting which allows you to create HEIC images☆29Sep 17, 2026Updated 3 weeks ago
- Collection of real-world IoT projects using Arduino and ESP32, focused on embedded systems, automation, and hardware-software integration…☆29Aug 2, 2026Updated 2 months ago
- library for modeling Petri nets in Erlang☆67Feb 7, 2025Updated last year
- Custom SwiftUI fonts capabilities and multi-platform font bridging.☆38Jul 25, 2026Updated 2 months ago
- 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