A Tool for Multi-Paradigm Modeling
☆25Mar 25, 2026Updated 2 weeks ago
Alternatives and similar repositories for atompm
Users that are interested in atompm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Repository of teaching material for product lines and variability☆12Aug 30, 2023Updated 2 years ago
- Credential store plugin for HTTPie, attaches auth to ongoing request.☆17Jun 20, 2024Updated last year
- Custom Command and Control (C3). A framework for rapid prototyping of custom C2 channels, while still providing integration with existing…☆12Oct 6, 2020Updated 5 years ago
- B-OCL is a tool designed to parse and evaluate the OCL constraints designed on BESSER models. It is a python based implementation that ut…☆24Apr 1, 2026Updated last week
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆48Aug 22, 2024Updated last year
- 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.
- Edit (code, prose) with things other than code☆12Aug 27, 2021Updated 4 years ago
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆24Dec 16, 2022Updated 3 years ago
- A simple utility to generate real File and Active Directory activity in lab environments for the purposes of monitoring changes and detec…☆11Dec 4, 2018Updated 7 years ago
- A companion list of tools for my commonplacing☆19Mar 25, 2026Updated 2 weeks ago
- An efficient graph solver for generating well-formed models☆25Apr 1, 2022Updated 4 years ago
- A Jupyter widget library for dynamically creating spinning activity indicators☆13Mar 12, 2023Updated 3 years ago
- Clockwork: A Modular Arithmetic library for C++☆12Nov 18, 2025Updated 4 months ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Apr 5, 2026Updated last week
- generic C++ containers; matrix, triangle matrix, crs sparse matrix, etc.☆12Mar 23, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A JupyterLab extension that tracks recent files and directories.☆15Jan 5, 2023Updated 3 years ago
- A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.☆20Apr 2, 2020Updated 6 years ago
- Slides of Italian C++ Conference 2021☆10Jul 13, 2021Updated 4 years ago
- ☆17Mar 5, 2023Updated 3 years ago
- Actor-based Runtime Verification Tool☆19Apr 13, 2023Updated 3 years ago
- Template for debugging C++ applications in docker containers.☆13Mar 13, 2019Updated 7 years ago
- A language for data modeling and incremental computing of derived values☆11May 7, 2024Updated last year
- Formats cells using the `Black` uncompromising Python code formatter.☆13Apr 30, 2018Updated 7 years ago
- Syntax highlighting for Ogre Scripts in Atom/ VSCode☆13Dec 10, 2025Updated 4 months ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Add the ability to save favorite folders to JupyterLab for quicker browsing☆14Jan 5, 2023Updated 3 years ago
- Model Driven Engineering for C++ (MDE4CPP)☆14Feb 18, 2026Updated last month
- ARM is Turing-complete without data fetches☆19Mar 22, 2018Updated 8 years ago
- curl based TLS connection measurement tool for testing and comparing TLSv1.2 vs TLSv1.3 connections☆14Sep 17, 2021Updated 4 years ago
- ☆11Sep 6, 2025Updated 7 months ago
- Agda Library to Study the Expressive Power of Languages for Static Variability☆13Updated this week
- Sampler of API technologies using ASP.NET Core and a Postgres Northwind database☆15May 9, 2024Updated last year
- Repository for dealing with Malloc mangling functions☆12Jun 11, 2020Updated 5 years ago
- Curated list of media streaming.☆11Mar 1, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆10Jan 31, 2022Updated 4 years ago
- SCIONLab user interface and administration☆10Mar 22, 2026Updated 3 weeks ago
- CHIP-8 emulator written in Rust☆10Apr 25, 2021Updated 4 years ago
- Core package for Yellicode - an extensible code generator.☆12Dec 10, 2024Updated last year
- personal diary☆14Updated this week
- Custom, Open-Source firmware for the Brewie B20+ (and maybe B20)☆11Nov 24, 2022Updated 3 years ago
- Raspberry Pi software for FPV flight, with a built-in OSD based on FrSky telemetry.☆10Nov 16, 2016Updated 9 years ago