Getting started tutorials and cheat sheets for various technologies used in our projects.
☆79May 21, 2019Updated 7 years ago
Alternatives and similar repositories for cheat-sheets
Users that are interested in cheat-sheets are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An efficient graph solver for generating well-formed models☆25Apr 1, 2022Updated 4 years ago
- Lab materials for the Software and Systems Verification (VIMIMA01) course☆30Oct 25, 2022Updated 4 years ago
- Model-based Demonstrator for Smart and Safe Systems☆16Aug 11, 2019Updated 7 years ago
- MSc Thesis: Graph-Based Source Code Analysis of JavaScript Repositories☆10Dec 8, 2016Updated 9 years ago
- Declarative algorithms for simple operations on relational schemas and functional dependency sets (e.g. minimal cover, highest normal for…☆24Dec 11, 2021Updated 4 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.
- An EMF addon to generate a source structure to separate the model generated code from the overriden code☆15Jul 14, 2025Updated last year
- Kevoree Modeling Framework☆38Apr 5, 2017Updated 9 years ago
- A uml profile and a set of acceleo code generators to model smart contracts in uml and generate solidity code.☆35Aug 27, 2017Updated 9 years ago
- Maven3 plugin that automates the third-party dependency management for Eclipse RCP☆237Oct 21, 2026Updated 2 weeks ago
- The Library Training Material (Incoming Eclipse Papyrus Photon Year 2018-2019)☆11Oct 27, 2018Updated 8 years ago
- An OSGI first software artifact repository – Moved to the Eclipse Foundation☆40Mar 16, 2016Updated 10 years ago
- ☆10Apr 19, 2021Updated 5 years ago
- A package for doing flag algebra computations with the Sage mathematics system. Written in Python and Cython.☆13Mar 16, 2020Updated 6 years ago
- A tutorial for using W3C PROV for working with data provenance☆12Oct 10, 2014Updated 12 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.
- An example of how to create a p2 composite update site during the build☆11Oct 18, 2019Updated 7 years ago
- The original timed regular expression matcher over temporal behaviors☆17Jun 26, 2023Updated 3 years ago
- MCP server for aiding with literature reviews☆14Oct 14, 2026Updated 3 weeks ago
- An Xtext language and example usage of it built with Maven☆65Oct 13, 2026Updated 3 weeks ago
- UI utilities for the Pythonista iOS app☆16Jan 10, 2021Updated 5 years ago
- JavaBean Tester☆18Updated this week
- Maven plugin to generate Eclipse PDE target definitions using POM-first dependencies. Supplements functionality of Eclipse Tycho to use O…☆15Mar 5, 2013Updated 13 years ago
- ☆20Jan 3, 2017Updated 9 years ago
- Prof. S. Boyd's LaTeX Templates☆13Dec 18, 2018Updated 7 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.
- ☆12Dec 14, 2018Updated 7 years ago
- SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation☆18Nov 24, 2015Updated 10 years ago
- Promise cancellation proposal for JavaScript☆23Sep 7, 2016Updated 10 years ago
- This repository hosts all the projects used in the MDSE Book☆14Sep 17, 2019Updated 7 years ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Sep 24, 2022Updated 4 years ago
- Semiring Algebra☆12Dec 9, 2025Updated 10 months ago
- Run AllegroGraph in a Docker container☆22Aug 3, 2026Updated 3 months ago
- an Abstract Semantic Graph (ASG) for ECMAScript programs and a way to generate one from a Shift AST☆19Oct 12, 2020Updated 6 years ago
- 惊喜输入方案，懂程序员和科研工作者心意的Rime输入法方案！｜JoySchema, Rime schemas that understand the intentions of coders and researchers!☆17Jan 15, 2026Updated 9 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Collection of docker files☆15Feb 13, 2020Updated 6 years ago
- SAMD21 programming notes☆25Apr 6, 2024Updated 2 years ago
- Target Platform Definition DSL and Generator☆78Sep 12, 2026Updated last month
- Bridges between Jena and Sesame☆24Dec 16, 2023Updated 2 years ago
- ProgressBar☆47Aug 25, 2025Updated last year
- A sample project explaining Maven Tycho for Eclipse RCP applications.☆10Apr 15, 2021Updated 5 years ago
- A composable framework for fast and scalable data analytics☆12Nov 20, 2022Updated 3 years ago