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
Sorting:
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆16May 30, 2022Updated 3 years ago
- Compile-time string processing utilities, with TypeName resolution and built-in file path manipulation☆14Feb 23, 2026Updated last week
- Neural Signal Analysis☆14Jan 5, 2026Updated last month
- An Automatic Tool to Search for Full Impossible-Differential, Zero-Correlation and Integral Attacks☆12Nov 12, 2024Updated last year
- Middleware that provides libraries, GUI, and code generator to design multi-node (clustered) applications that are highly available, redu…☆26Feb 13, 2026Updated 2 weeks ago
- Archive of the categories mailling list☆12Sep 8, 2020Updated 5 years ago
- Generate letters (plain text or PDF) from templates.☆14Jan 8, 2023Updated 3 years ago
- High-level spiking model definition and workflow framework☆19Nov 24, 2025Updated 3 months ago
- Webpipes is a work-in-progress proposal for linking together web services. Essentially, you can think of webpipes as tiny web services mo…☆21Sep 4, 2013Updated 12 years ago
- Dynatrace FM-Index library☆15Nov 11, 2025Updated 3 months ago
- Aivika for .NET, simplified version☆10Nov 11, 2017Updated 8 years ago
- The PBDB Data Service, API and table/system maintenance scripts☆12Dec 16, 2025Updated 2 months ago
- Play with dynamic voronoi cells.☆11Mar 1, 2020Updated 6 years ago
- PDF Screenshot OCR Analysis with Google Gemini Pro☆13Jan 27, 2026Updated last month
- Functional composable pipelines allowing clean separation of the business logic and its implementation☆11Sep 6, 2025Updated 5 months ago
- Materials for Structural geology 2 course☆11Nov 11, 2019Updated 6 years ago
- Lets you create and layout printable paged documents with HTML and CSS☆51Jun 17, 2015Updated 10 years ago
- ☆46Jun 26, 2022Updated 3 years ago
- A test project to illustrate how to use the BNO055 sensor with the FRC control system.☆12Jan 8, 2022Updated 4 years ago
- A Haskell implementation of Andrew Kensler's business card raytracer.☆18Oct 12, 2021Updated 4 years ago
- Numerical Optimisation Library☆17Jul 9, 2023Updated 2 years ago
- Zsh basic functions for home working☆13Nov 20, 2025Updated 3 months ago
- A Python and Jsonnet framework for handling espanso configurations☆11Oct 6, 2025Updated 4 months ago
- An attempt at writing a Lattice Boltzmann CFD simulator in Rust☆10Apr 29, 2019Updated 6 years ago
- A GPU-accelerated two-point seismic raytracer that utilizes the shooting method for determining traveltimes of seismic waves in isotropic…☆11Oct 31, 2016Updated 9 years ago
- Hello world web application with Maven + Java + Servlets + Tomcat☆10Nov 21, 2018Updated 7 years ago
- As-rigid-as-possible face deformation☆12Apr 18, 2014Updated 11 years ago
- Courses Project I have done in Syracuse University☆10Jul 9, 2014Updated 11 years ago
- Parsing Expression Grammar (PEG) bytecode parser/compiler library☆14Jul 3, 2022Updated 3 years ago
- Lecture notes on Quantum Chaos (NJSF031)☆12Feb 23, 2026Updated last week
- Github Pages for DocBook CDN☆18Jan 2, 2026Updated 2 months ago
- negamax AI algorithm for turn-based games☆13Oct 6, 2019Updated 6 years ago
- A project to compute all kinds of descriptors for those software products(e.g. LOC, McCabe, Halstead).☆11Mar 20, 2017Updated 8 years ago
- Python Pattern Recognition☆17May 28, 2014Updated 11 years ago
- The official repository for MaCh3☆12Feb 23, 2026Updated last week
- jGlobus is a collection of Java client libraries for Globus® Toolkit security, GRAM, and GridFTP.☆25Dec 7, 2023Updated 2 years ago
- ☆12Aug 19, 2017Updated 8 years ago
- A Type System Attempt for Wolfram Language☆13Feb 28, 2021Updated 5 years ago
- this repo contains a number of checklists that we find very useful☆12Oct 14, 2018Updated 7 years ago