cea-hpc / NabLabLinks
Full-fledged industrial environment for scientific computing and High Performance Computing
☆18Updated 2 years ago
Alternatives and similar repositories for NabLab
Users that are interested in NabLab are comparing it to the libraries listed below
Sorting:
- A Tool for Multi-Paradigm Modeling☆25Updated last year
- The Melange Language Workbench☆29Updated 2 years ago
- Seven Languages in Seven Weeks (with Xtext)☆72Updated 2 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆85Updated this week
- Main repository of the GreatSPN framework☆53Updated 5 months ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆34Updated 2 years ago
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆24Updated 2 years ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆14Updated 3 months ago
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated 2 years ago
- The Git repository for the mCRL2 toolset.☆103Updated last week
- Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs☆53Updated 10 years ago
- compiler for fortran stencils using verified lifting,☆17Updated 3 years ago
- The implementation of the Elevate language☆30Updated 8 months ago
- A standard for floating point accuracy benchmarks☆55Updated 3 weeks ago
- GUI for running the SPIN model checker☆20Updated 3 years ago
- Pedagogical first-order prover in Python☆77Updated 6 months ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 8 years ago
- Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…☆72Updated 4 years ago
- Sources for the ANSI/ISO C Specification Language manual☆63Updated last month
- Visualization tool for analyzing call trees and graphs☆35Updated 2 years ago
- Kodkod solver for relational logic☆80Updated 2 years ago
- SkePU open source distribution☆26Updated 4 years ago
- Spoofax runtime☆154Updated 7 months ago
- Modeling and Programming with Gecode☆50Updated 3 years ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆26Updated 3 weeks ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆37Updated last year
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated this week
- gemoc-studio☆28Updated 9 months ago
- PCJ library☆22Updated 7 months ago