Explore projects
-
Updated
-
Updated
-
This platform gives tools to manipulate Sanskrit data
Updated -
Updated
-
-
Updated
-
Web-based scalable visualization fo large document collections
Updated -
Updated
-
SimGrid is a toolkit that provides core functionalities for the simulation of distributed applications in heterogeneous distributed environments.
Updated -
Primary library for necro, and standard tools (parse, print and compil)
Updated -
Docker environment for perception nodes for bodies: front_fisheye_2d_body_pose_detector, 3d_body_tracker, body_to_face_mapper, group_detector
Updated -
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
Updated
-
Comet is a pipelined RISC-V processor generated with HLS.
Updated -
-
Extensions of GNU Guix for high-performance computing.
Updated -
potential energy and gradients of potential energy of a set of springs
Updated -
dtk-distributed provides all the mechanisms to perform distributed calculations.
Updated