A strong typed PDEVS simulator
☆19Oct 6, 2023Updated 3 years ago
Alternatives and similar repositories for cadmium
Users that are interested in cadmium are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Repeatable pseudo-random sampling, CDF over most known probability distributions.☆12Feb 20, 2022Updated 4 years ago
- about the programm and parts☆12Nov 9, 2014Updated 11 years ago
- ☆13Nov 25, 2019Updated 6 years ago
- Quartz - A Crystal Modeling & Simulation framework☆16May 22, 2021Updated 5 years ago
- Jupyter kernel for the Crystal language☆12Oct 23, 2023Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Virtual Laboratory Environment☆22Aug 26, 2024Updated 2 years ago
- graphlb is a crystal library which contains all the graph Data-Structures and Algorithms implemented in crystal-lang.☆21Jun 15, 2021Updated 5 years ago
- The code of paper "Nonlinear Hybrid Planning with Deep Net Learned Transition Models and Mixed-Integer Linear Programming." published on …☆10Apr 27, 2018Updated 8 years ago
- A Tool for Multi-Paradigm Modeling☆25May 8, 2026Updated 5 months ago
- ⛓ A Crystal library for building Markov Chains and running Markov Processes.☆20Mar 22, 2021Updated 5 years ago
- A rails-esque model framework for crystal lang☆28Aug 12, 2026Updated 2 months ago
- A high-performance Parsing Expression Grammar (PEG) library for the Crystal language.☆32Dec 10, 2022Updated 3 years ago
- Crystal text table generator☆39Feb 20, 2026Updated 7 months ago
- Self-hosted email subscriptions list using serverless AWS stack☆11Aug 31, 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.
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆12Dec 6, 2016Updated 9 years ago
- ☆34May 26, 2026Updated 4 months ago
- Automated Programming Framework☆16May 11, 2020Updated 6 years ago
- Alabaster theme for Highlight.js☆16Aug 3, 2023Updated 3 years ago
- ☆18Aug 21, 2020Updated 6 years ago
- ☆13Apr 9, 2022Updated 4 years ago
- HTTP and WebSocket built on Asio in C++11☆11Sep 1, 2018Updated 8 years ago
- Work with (E)BNF and bison/YACC Grammar: Parsing, FIRST/FOLLOW set, CNF, Conversions, LR and LL parsing tables☆30Feb 26, 2020Updated 6 years ago
- ☆10Aug 29, 2018Updated 8 years 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.
- Reference Development Kit that will help partners and vendors implement EasyConnect in their devices.☆15Feb 13, 2020Updated 6 years ago
- A simple, unified Python API for accessing multiple data stores like databases or file system directories asynchronously☆11May 21, 2026Updated 4 months ago
- Pure-Crystal implementation of Neo4j's Bolt protocol☆33Sep 21, 2023Updated 3 years ago
- This is just a basic script that steals handshakes and cleans them this can then be used to crack them and steal wifi passwords, if you h…☆13May 21, 2017Updated 9 years ago
- expected: kind of optional?☆17Mar 14, 2016Updated 10 years ago
- Entity Component System Framework writen in crystal☆38Dec 16, 2024Updated last year
- A repository to host C++ Concepts Lite TS examples, to help with GCC bug reporting☆15Mar 18, 2017Updated 9 years ago
- Implementation of the graphplan algorithm and plangraph data structure written in rust☆15Jul 7, 2020Updated 6 years ago
- 👾 Gotta Catch 'Em All!☆16May 6, 2021Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Language Bindings to interact with the BeagleBone PRUs☆10Jan 8, 2022Updated 4 years ago
- FPGA state machine for minimalistic USB HID device hosting☆15Aug 27, 2022Updated 4 years ago
- A Galilean revolution for computing: Unboundedly scalable reliability and efficiency☆17Aug 6, 2023Updated 3 years ago
- Github Actions developed/used by Espressif☆14Jun 21, 2024Updated 2 years ago
- jtopo教程、示例和API文档☆11Mar 20, 2023Updated 3 years ago
- Hunt for the letter "o" in your URL bar.☆20Aug 3, 2023Updated 3 years ago
- Simple tasks of pushing a nearby object by the RR robotic arm. This project was implemented in the ROS and Gazebo.☆11Oct 11, 2017Updated 9 years ago