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:
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Updated last month
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- Prototype for a SPIR-V assembler and dissasembler. It provides a composable Java interface for generating SPIR-V code at runtime.☆14Updated last year
- C Language Analysis in Rascal☆26Updated this week
- A Tool for Multi-Paradigm Modeling☆24Updated 10 months ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆15Updated 3 years ago
- Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs☆53Updated 10 years ago
- Modeling and Programming with Gecode☆51Updated 2 years ago
- ☆34Updated 4 years ago
- Configurable Runtime Analysis for Floating-point Tuning☆12Updated 5 years ago
- ☆19Updated 8 years ago
- OpenUH - Open Source UH Compiler☆53Updated last month
- The semantics of Java in K☆19Updated 3 years ago
- SPARK 2014 repository for the Why3 verification platform.☆32Updated 3 weeks ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- The implementation of the Elevate language☆29Updated 3 months ago
- Tutorial for the CHR system☆16Updated 4 years ago
- Execute and document benchmarks reproducibly.☆91Updated last week
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated 2 years ago
- The Melange Language Workbench☆29Updated last year
- Program Round-off Error Certifier via Static Analysis☆51Updated 9 months ago
- SkePU open source distribution☆26Updated 3 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- Language bindings for Maude☆23Updated 6 months ago
- ☆71Updated 5 years ago
- Haskell parser and manipulation functions for Fortran code☆17Updated 9 years ago
- Visualization tool for analyzing call trees and graphs☆34Updated 2 years ago
- This is a clone of an SVN repository at svn://svn.forge.objectweb.org/svnroot/sat4j/maven/trunk. It had been cloned by http://svn2github.…☆9Updated 8 years ago
- This repository contains the Core and Extended source files of the Standard Library of the SaC programming language☆15Updated 3 weeks ago