Translator of LTL formulae to Büchi automata based on LTL2BA
A fast programming language combining old features with new.
A set of tools for simulating semiconductor nanostructures.
Forces foreign software to do all TCP connections through SOCKS tunnel
download and convert ip block list
The incompressible Navier-Stokes equations solver in 2D domains
Fast Websites: Powerful CMS for Apache written in C++
32768-bit symmetric-key encryption, fully-functional development CLI
南京工程学院802.1X客户端
File system benchmark
C library to read DWG files.
GHDL - a VHDL simulator
Boolean Expression Evaluator with AND/XOR minimization
fuser v0.9 for windows / win32
A Porter stemming or stemmer algorithm coded in ooRexx
A simple, elegant way to handle command line arguments in C/C++.
A command line utility for remote controlling Polycom VVX IP phones