Teaching materials for Model-based Automated Software Engineering
☆13Dec 10, 2015Updated 10 years ago
Alternatives and similar repositories for mase
Users that are interested in mase 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 updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆16May 30, 2022Updated 4 years ago
- Complete, typesafe representation of Vega-Lite in OCaml☆10Nov 13, 2017Updated 8 years ago
- Compile-time string processing utilities, with TypeName resolution and built-in file path manipulation☆14Jun 18, 2026Updated 4 months ago
- ☆11Jul 20, 2021Updated 5 years ago
- Neural Signal Analysis☆14Jan 5, 2026Updated 9 months 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.
- Numerical Optimisation Library☆17Jul 9, 2023Updated 3 years ago
- Spectral Graph Attention Network with Fast Eigen-approximation☆11Dec 24, 2021Updated 4 years ago
- Original Joy☆16Dec 17, 2024Updated last year
- Addressing the problem of predicting crime occurrence based on historic records☆11Nov 27, 2019Updated 6 years ago
- Common Lisp package for simple two dimensional computational geometry.☆11May 29, 2016Updated 10 years ago
- A Type System Attempt for Wolfram Language☆13Feb 28, 2021Updated 5 years ago
- IronAivika (formerly known as Aivika for .NET)☆10Apr 25, 2026Updated 6 months ago
- ☆10Oct 11, 2022Updated 4 years ago
- Open Domain Question Answering☆15Mar 7, 2014Updated 12 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.
- F# GLFW 3 Binding☆10Mar 25, 2018Updated 8 years ago
- Unofficial GRAFF tutorial and implementation in PyG☆12May 29, 2023Updated 3 years ago
- Implementation of MEGAN: Mixture of Experts of Generative Adversarial Networks for Multimodal Image Generation☆10Jun 17, 2018Updated 8 years ago
- Official repository for Fourier model that can generate periodic signals☆10Mar 10, 2022Updated 4 years ago
- Official repository of the paper "Pyramidal Reservoir Graph Neural Networks".☆10Mar 15, 2025Updated last year
- Comparison of Julia and Fortran syntax☆13Jun 6, 2021Updated 5 years ago
- Unleashing the Potential of Fractional Calculus in Graph Neural Networks with FROND☆12May 15, 2024Updated 2 years ago
- A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications☆10Jan 16, 2019Updated 7 years ago
- RPG dice roller with both Rust CLI and ClojureScript Web interfaces☆14Nov 30, 2018Updated 7 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Fisher-Bures Adversary Graph Convolutional Networks☆12Aug 20, 2019Updated 7 years ago
- Official repository for the paper: "Trees with Attention for Set Prediction Tasks" (ICML21)☆10Jan 19, 2022Updated 4 years ago
- Codebase for the paper "A Percolation Model of Emergence: Analyzing Transformers Trained on a Formal Language"☆11Oct 11, 2024Updated 2 years ago
- My master thesis project regarding pre-rendering and re-hydrating Web Components☆11Dec 11, 2022Updated 3 years ago
- Using the Catch unit test framework to write BDD-style tests for straight up C.☆10Jan 11, 2016Updated 10 years ago
- A study of ecosystem in Julia, as an alternative to Matlab☆11Jul 2, 2020Updated 6 years ago
- Elm library to detect collision of geometry in coordinate space, AKA: are objects touching or overlapping?☆12Mar 16, 2022Updated 4 years ago
- HTTPD server in Eiffel☆11Oct 16, 2013Updated 13 years ago
- [ICLR 2026] Official Code Implementation of Graph Signal Processing Meets Mamba2: Adaptive Filter Bank via Delta Modulation☆20Mar 1, 2026Updated 8 months 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.
- Mitigating the Filter Bubble while Maintaining Relevance: Targeted Diversification with VAE-based Recommender Systems☆10Mar 15, 2023Updated 3 years ago
- Attendance tracking webapp - ReasonML frontend/Rust backend - work task automation☆12Aug 3, 2023Updated 3 years ago
- A web-based application to assist in geocoding of (mainly historical) datasets.☆10Mar 24, 2025Updated last year
- Github follow + other action bot like unlimited commits.☆10Apr 3, 2022Updated 4 years ago
- Code: Attention Mechanisms Perspective: Exploring LLM Processing of Graph-Structured Data (ICML2025)☆13May 9, 2025Updated last year
- ☆13Aug 19, 2024Updated 2 years ago
- ☆11Nov 30, 2022Updated 3 years ago