Search Results for "note-taking"

Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt

NOTE: This is a sf.net/subversion clone from https://github.com/wipu/iwant A java-based declarative, multi-threaded and incremental build system that provides a fluent java API for writing build programs. Can use ant tasks and ant and shell scripts as backend.

**NOTE**: As of 2017-Sep-14, this project was **moved to [github](https://github.com/15knots/cmakeed)**. Please file any issues there. ----- Eclipse plug-in for editing CMake files such as CMakeLists.txt. Provides syntax coloring, CMake command content assist, and the CMake command reference incorporated into the Eclipse help system.

gdeptrace sorts an input dependancy list or table and prints it, and can do other actions. It's default operation is to act like tsort (1) except that it sorts by pure pkg / make dependancy (tsort sorts by grapical topology: see notes about differences). EXAMPLE: $ echo -e "b e\ne\nc b" | sort -k1,1 | gdeptrace [opts] e b c (b depends on e, c depends on b, e has no depends) (also: e has more items depending on it and is below anything it depends on; in this case...

Pexpect is a Python module for spawning child applications; controlling them; and responding to expected patterns in their output. Pexpect can be used for automating interactive applications such as ssh, ftp, passwd, telnet, etc. Pexpect is pure Python. Note that Pexpect development has moved to Github: https://github.com/pexpect/pexpect

...It has binary data handling, read/write capability, basic math and date conversions. It is intended to aid in bash programming, but can be used from any command line tool or application. NOTE: This was accidentally uploaded as a beta, instead of alpha, but its status IS ALPHA. The next upload will standardize the language to the point where any scripts that work in it will work in all future versions -- however, scripts written for this version may not work in subsequent ones, the (mostly output) commands have changed: , ; . =* etc. ...

(Note: this page is basically abandoned, but the compiler and library are still in development, see http://www.vr32.de/ for details.) gccVB is a GCC-based tool-chain targeting the custom NEC v810 variant used in Nintendo©'s Virtual Boy™ game syst

...It currently provides classes to instanciate an abstract class for testing the implemented methods, an invocation stack tracing the calls on an interface and a LogClassLoader. NOTE: DEVELOPMENT ST

This small platform independent application (written in Java) is designed to encode your e-mail addresses, thus the spam robots can not retrieve it from your page. Note that minimal HTML knowledge is needed to put the generated script into a html page.