TLC is an explicit state model checker for specifications in TLA+
Audio Tag Editor
A lexical analyzer generator that makes the class source code.
Digital Library Software
A fast cross-platform FTP client
Open source finite element software for multiphysical problems
The classic RPL programming language reimplemented and reimagined.
Drawing, graphics conversion, software development, administration.
Cross-platform DICOM implementation
Qwen2.5-Coder is the code version of Qwen2.5, the large language model
REXX interpreter
This repository consists of the code samples, assignments, and notes
Transmission Electron Microscope Image Simulation
The Open On-Chip Debugger
Retro Computer Image Library
Multiplatform USB DFU host utility
3D pointcloud data storage and interchange format