Supports writing Ada software for Cortex-M3, M4F boards
Cloud application development framework.
An STL model viewer, editor, and creator for manipulating STL files.
Focused on simplicity of user experience & max productivity possible.
A stream editor in java that can handle text/binary formats
Finance library for C++
A single tool to manage your storage
This is a suite of mathematical software solvers GUI
DMRG code for Quantum-Chemistry Hamiltonians
DMFT and cellular-DMFT code
Tools for Testing IG CIGI Compliance
A formalization of Haskell's standard prelude in Isabelle/HOLCF.
particle simulator in progress