Computer Assisted Proofs in Dynamics
Implements a reference architecture for creating information systems
Library CONIO GCC C++ for Windows e Linux (POSIX)
This program allows you to view BPG Images in Windows,Linux and macOS.
Opensource crossplatform Fallout 2 game engine writen in C++ and SDL
Multi facets CASE/AGL for easy project developments
A microkernel-based multiserver operating system written from scratch.
open source client management system, software deployment
Lightweight, Portable, Flexible Distributed/Mobile Deep Learning
Polygon and line clipping and offsetting library (C++, C#, Delphi)
Just bring Linux for a better world
Triton is a dynamic binary analysis library
GPU Accelerated t-SNE for CUDA with Python bindings
Library Advanced Financial Mathematics GCC (C++)
Free and open-source interactive source explorer
RCDCap is a remote capture preprocessor
miRPV: An automated pipeline for miRNA Prediction and Validation in si
minimal benchmark code for Counting Set Bits (ones) in an Integer