Handling dimensioned values in Ada
Specifications for TRAK architecture views
A fast compact commercial quality Forth for embedded MCUs
Annotate/link UML and SysML diagrams with TRAK AF elements
HiPS tool features to design and analyze hierarchical Petri nets
WPDistrib: Free WordPress pack, bilingual, fast, secure, and optimized
A cross-platform integrated CASE system
An hack of Jscheme with a lot of enhancements and additional features.
Yet another collection of WindowsXP ServicePack3 x86 binaries.
A Portable Wide-Character Terminal Output Package for C and C++
A real time inference engine for temporal logical specifications
A library and a GUI front-end for fuzzy machine learning
A Database System for Metamodeling and Method Engineering
Development framework including code generator and UML ex/import
Xtu is a framework for implementing Platform specific xUML models
java library for XML, HTML, or SVG generation + bioinformatics classes
Software auto-installation builder
Programs and PowerShell Scripts for MSP/RMM Admins
C# graphics library used for 3D modeling, built with OpenGL/OpenTK
Utility types, complementing TypeScript built-in mapped types
Blazing fast and correct x86/x64 disassembler, assembler, decoder, etc
simulated annealing optimization and importance-sampling
This is QEMU virtual machine with Raspbian OS for students KNUCA