A Tool for Multi-Paradigm Modeling
☆25May 8, 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:
- 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…☆11Oct 6, 2020Updated 5 years ago
- A JupyterLab and Jupyter Notebook extension for rendering data with dynamically loaded React components☆12Feb 11, 2017Updated 9 years ago
- Project Repo for GSoC 2019 at CERN☆11Jan 4, 2023Updated 3 years ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆50Aug 22, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Edit (code, prose) with things other than code☆12Aug 27, 2021Updated 4 years ago
- Downloads the ripgrep binary shipped in VS Code☆14Jul 17, 2019Updated 6 years ago
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆25Dec 16, 2022Updated 3 years 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
- A flexible parser generator producing output from object-oriented hierarchical context-free grammar specifications.☆12Nov 16, 2021Updated 4 years ago
- A Robot Framework library for testing Jupyter end-user applications and extensions☆21Sep 3, 2024Updated last year
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated this week
- Interactive Theorem Proving course using HOL4☆13Mar 27, 2026Updated last month
- 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.
- A renderer for sheet diagrams in bimonoidal categories☆13Aug 28, 2021Updated 4 years ago
- generic C++ containers; matrix, triangle matrix, crs sparse matrix, etc.☆12Mar 23, 2018Updated 8 years ago
- 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.☆22Apr 2, 2020Updated 6 years ago
- Slides of Italian C++ Conference 2021☆10Jul 13, 2021Updated 4 years ago
- Template for debugging C++ applications in docker containers.☆13Mar 13, 2019Updated 7 years ago
- Formats cells using the `Black` uncompromising Python code formatter.☆13Apr 30, 2018Updated 8 years ago
- Model Driven Engineering for C++ (MDE4CPP)☆14May 18, 2026Updated last week
- curl based TLS connection measurement tool for testing and comparing TLSv1.2 vs TLSv1.3 connections☆14Sep 17, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Repository for dealing with Malloc mangling functions☆12Jun 11, 2020Updated 5 years ago
- Curated list of media streaming.☆11Mar 1, 2023Updated 3 years ago
- CHIP-8 emulator written in Rust☆10Apr 25, 2021Updated 5 years ago
- Core package for Yellicode - an extensible code generator.☆12Dec 10, 2024Updated last year
- personal diary☆14Apr 28, 2026Updated 3 weeks ago
- Custom, Open-Source firmware for the Brewie B20+ (and maybe B20)☆12Apr 20, 2026Updated last month
- Raspberry Pi software for FPV flight, with a built-in OSD based on FrSky telemetry.☆10Nov 16, 2016Updated 9 years ago
- List of resources about CyberSecurity such as CTF, DFIR, Offsec, etc☆11May 11, 2026Updated 2 weeks ago
- An example application integrating Sprotty views with Theia☆19Jun 30, 2017Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Agile Dashboarding, anywhere☆18Aug 20, 2020Updated 5 years ago
- Robot navigation algorithms implemented in SPARK☆12Sep 19, 2014Updated 11 years ago
- Demo code and Dataset for Spatiotemporal Registration for Event-based Visual Odometry☆11May 2, 2022Updated 4 years ago
- ☆11Aug 28, 2020Updated 5 years ago
- Explore the history of word meanings.☆10Apr 14, 2026Updated last month
- A graph tutorial website☆12Mar 5, 2023Updated 3 years ago
- Arxml Editor, using Eclipse XML Editor☆13Jun 14, 2018Updated 7 years ago