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 5 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
- 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.
- Crazy Simple Unit Testing in Prolog☆16Apr 7, 2018Updated 8 years ago
- A basic worker pool manager for Erlang to showcase gen_pnet.☆25Feb 7, 2025Updated last year
- Toolbox for Python scripts.☆43Oct 23, 2026Updated last week
- Optimized and cross platform SMPTE 2022-1 FEC library in C, Python, Java☆40Feb 26, 2014Updated 12 years ago
- Send Notify Trigger All Conatcts☆13Dec 20, 2025Updated 10 months ago
- Swift package for writing command line tools.☆21Dec 25, 2022Updated 3 years ago
- Small Fiber Go boilerplate for API☆13Jan 10, 2026Updated 9 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
- Hi, I’m Satyam Umrao, a passionate Frontend Developer and BCA student who loves building clean, modern, and high-performance web applicat…☆18Feb 10, 2026Updated 8 months 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.
- ☆13Mar 31, 2023Updated 3 years ago
- Post-Specialisation: Retrofitting Vectors of Words Unseen in Lexical Resources☆12Apr 12, 2018Updated 8 years ago
- ☆11Oct 30, 2020Updated 6 years ago
- Ros2 packages and projects☆13Feb 23, 2025Updated last year
- vyai – A lightweight CLI tool to interact with the Gemini API from the terminal.☆15Sep 16, 2026Updated last month
- A JIT compiler implemented with MLIR/LLVM for faster query processing in SQLite☆20Jan 3, 2023Updated 3 years ago
- BottomSheet with notch☆14Sep 2, 2019Updated 7 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
- 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.
- Hacker News Companion browser extension☆22Jul 5, 2026Updated 3 months ago
- Fullhistory for Django☆14Jan 6, 2015Updated 11 years ago
- streamlit_dash_gen☆17Jun 14, 2025Updated last year
- Lua coroutines that allow nesting☆33Mar 26, 2022Updated 4 years 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
- A django app and jQuery plugin to provide various photo tagging functionalities☆11Oct 16, 2010Updated 16 years ago
- JSON Web Token library☆39May 1, 2019Updated 7 years ago
- My thoughts and solutions for Project Euler☆11Apr 7, 2015Updated 11 years ago
- BubbleTabBar for SwiftUI, iOS + 17☆18Mar 24, 2026Updated 7 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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 3 years ago
- A terraform providing stateful counters which increment based on trigger expressions☆10Dec 13, 2021Updated 4 years ago
- Compiler for Swiftlet☆43May 7, 2024Updated 2 years ago
- library for modeling Petri nets in Erlang☆67Feb 7, 2025Updated last year
- Implementation of the paper "Large Language Models as Simulated Economic Agents: What Can We Learn from Homo Silicus?"☆25May 12, 2024Updated 2 years ago
- Patch os.environ with dynamic values when the interpreter starts☆11Jul 23, 2020Updated 6 years ago