Explore projects

LLVM's OpenMP runtime

Read power consumption values from omegawatt's wattmetre devices

MoReFEM core library.

This library also contains some simple Models to illustrate how to use it, and several integration tests.

Tools for computing Gröbner bases

Primary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)

MoReFEM core library.

This library also contains some simple Models to illustrate how to use it, and several integration tests.