Search Results for "binary"

...The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with binary downloads from https://github.com/OpenJML/OpenJML/releases/latest

...The matrix can be populated with random values in a given range (useful for generating tasks). The result is an optimal route, its price, step-by-step matrices of solving and solving graph. The task can be saved in internal binary format and opened later. The result can be printed or saved as PDF, HTML, or ODF. TSPSG may be useful for teachers to generate test tasks or just for regular users to solve TSPs. Also, it may be used as an example of using Branch and Bound method to solve a particular task.

VisualIntFactor will be an interactive educational and scientific tool demonstrating multiply, factor, conversion between unary counting and binary integers, all in the same grid of hexagons. This grid is based on pascals triangle, which is a 1d cellular automata that calculates (X choose Y) factorials by each cell being the sum of the 2 cells upleft and upright. Draw a binary integer from a cell going upright, then explore the allowed transforms which may lead you to a factored state in 2 dimensions, from the lowest digit of the 2 odd integers both upright and upleft, its factors, and in the 2d space they are rectangle edges of, those pixels/digitbits must be on when there is an on bit somewhere downleft and downright after crossing empty cells, but if it finds either whole diagonal row empty then it must also be empty/zerodigit. ...

A light-weight Regular Expression (regex) C library, using double-recursion. (command prompt tester included)

The Dependency Discovery Tool searches through binary office files (.doc, .xls and .ppt) and tries to find any documents or files that are linked to the document. It is written in java, using the Apache POI libraries ( http://poi.apache.org ) This project was part of a summer scholarship from the School of Engineering and Computer Science at Victoria University, Wellington (http://ecs.vuw.ac.nz) in conjunction with Archives New Zealand ( http://archives.govt.nz ).

Graphical visualizer of the various types of binary search trees

[2014-10-31] This project is obsolete, for latest version (6.1.3) see GitHub https://github.com/digital-preservation/droid (source) and http://www.nationalarchives.gov.uk/information-management/manage-information/preserving-digital-records/droid/ (binary) DROID (Digital Record Object Identification) is an automatic file format identification tool. It is the first in a planned series of tools developed by The National Archives under the umbrella of its PRONOM technical registry service. [2013-01-24] The binary download of the latest version of DROID has now been moved to The National Archives website: http://www.nationalarchives.gov.uk/information-management/projects-and-work/droid.htm The source code for the latest version of DROID remains available via Github: http://digital-preservation.github.com/droid/ [2012-09-07] DROID 6.1 has been released. ...

fb2bin: A program to list binary attachment in FB2 files, extract them to files and replace these attachments by files.

Jasmin is a Java Assembler. It takes ASCII descriptions for Java classes, written in a simple assembler-like syntax. It converts them into binary Java .class class files suitable for loading into a Java Virtual Machine implementation.

.Net Generic Data Structures Provides parametric polymorphic data structores (the first is an AVL Binary tree, always balanced), for the .Net framework.

This is a conversion-to-binary training game prototype. Random bits appear, and you must shoot them where they fit onto various bytes (given in octal, hex or even bit ops, decimal or Ascii). Shoot wrongly and you lose that byte, or get it right and win.

myBeasties is a highly flexible evolutionary programming module. It is designed to be extendable and customisable for maximum use by the discerning Perl hacker. Phenotypes can be anything: simple binary strings, or whole classes of objects and methods.