1529 projects tagged "Windows"
(Serial Ports on) Steroids enables users to execute remote C functions in a Python shell over a serial interface. It is useful for embedded system testing and industrial automation. It generates C code for the target and a Python script for the host automatically from a C header file.
2D/3D Area Graph for PHP provides a very easy way to embed dynamically generated area graphs and charts into PHP applications and HTML Web pages. The graphing software is very easy to use, and it's perfectly possible to add professional quality real time graphing to Web pages and applications within minutes.
2D/3D Line Graph for PHP is a script that provides a very easy way to embed dynamically generated line graphs and charts into PHP applications and HTML Web pages. The graphing software is very easy to use, and it's possible to add professional quality real time graphing to Web pages and applications within minutes.
2D/3D Stacked Horizontal Bar Graph for PHP provides a very easy way to embed dynamically generated stacked horizontal bar graphs and charts into PHP applications and HTML Web pages. The graphing software is very easy to use and it's perfectly possible to add professional quality real time graphing to Web pages and applications within minutes.
4tH is a Forth compiler with a little difference. Instead of the standard Forth engine it features a conventional compiler. 4tH is a very small compiler that can create bytecode, C-embeddable bytecode, standalone executables, but also works fine as a scripting language. It supports about 95% of the ANS Forth CORE wordset and features conditional compilation, pipes, files, assertions, forward declarations, enumerations, structures, suspended execution, recursion, include files, etc. It comes with an RPN calculator, line editor, preprocessor, compiler, decompiler, C-source generator, a virtual machine, and a multitasking environment.
::mound:: is a software development management platform. ::mound:: provides simple project management with lots of power, but stays out of the way. ::mound:: is methodology independent and is designed for agile software development. It allows for tracking of bugs, tasks, and projects.
ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.