Geometry Circle Proof

R2cl compiler is a minimal, proof of concept translator from the R or S language into Common Lisp. An increase in speed of over 1000 times can then be achieved using the free CMU Common Lisp native code compiler on the resulting code, making it comparable to FORTRAN, Ada or C. Installation:...

Tk::Gpack module contains abbreviated geometry arguments for pack, grid and place geometry managers. This module exports four functions for each of the different geometry mananers into the Tk namespace. These functions provide a variety of styles for controlling the indevidual geometry of one,...

TDFS stands for "Trivially distributed file system", and is a proof-of-concept implementation of distributed file system as a ("stacked") layer above normal file systems. It uses the FUSE libraries and subsystem to implement this operation in userland. NOTE:This is currently a proof-of-concept...


Platforms: *nix

powerPlant is a geometry generator and editor. powerPlant is specially suitable to generate terrain and plant models. The geometry generation is based on custom implementations of L-Systems, Turtle-Interpretation and the Diamond-and-Square algorithm. powerPlant is composed of a Java application...


Platforms: *nix

Invasores project was first designed as a proof of concept of which language would be faster to develop games..


Platforms: *nix

BRL-CAD project is a powerful Constructive Solid Geometry (CSG) solid modeling system. BRL-CAD includes an interactive geometry editor, ray tracing support for rendering and geometric analysis, network distributed framebuffer support, image-processing and signal-processing tools. The entire...


Platforms: *nix

THC-RWWWShell is proof-of-concept Perl program for the paper "Placing Backdoors through Firewalls". It allows communicating with a shell through firewalls and proxy servers by imitating webtraffic. The master/slave relation is reversed, therefore no listening ports are used on the target...


Platforms: *nix

KBoot project is a proof-of-concept implementation of a Linux boot loader based on kexec. KBoot uses a boot loader like LILO or GRUB to load a regular Linux kernel as its first stage. Then, the full capabilities of the kernel can be used to locate and to access the kernel to be booted. KBoot...


Platforms: *nix

GeoGebra project is a dynamic mathematics software that joins geometry, algebra, and calculus. Two views are characteristic of GeoGebra: an expression in the algebra window corresponds to an object in the geometry window and vice versa. GeoGebra - Dynamic Mathematics for Schools


Platforms: *nix

Bubble maps software does scatter plot and circle charts in Excel, useful for advanced business analysis. Excel provides the ability to draw bubble maps and scatter plots, but they are less refined than a bubble map you can make with the Smart Bubble Charts software. In Excel: (1) Chart...


Platforms: Windows

GEUP 3D is an interactive solid geometry software for math calculation and visualization. It allows to create dynamic and general constructions/applications visually by defining math elements. GEUP 3D allows the modification of the construction visually (directly in screen) and it calculates each...


Platforms: Windows

JavaView is a simple, easy to use application designed to offer you a 3D geometry viewer and a mathematical visualization software. The open API of JavaView enables a smooth integration as 3D viewer and advanced visualization toolkit into commercial software. Note: In order to use this...


Platforms: Windows

Gain a Production Edge!quick3D Geometry is a 3D file format viewing and converting solution, and is an essential tool for anyone working with 3D graphics or 3D files. It supports viewing and geometry translation for an expansive range of 3D file formats. quick3D's real-time 3D viewer displays...


Platforms: Windows

EasyCalculation offers you with a package of square, rectangle, triangle, circle calculators that can come in handy in various situations. This calculator, computes the mathematical expressions as you enter the required data. for WindowsAll


Platforms: Windows

GreatCirc is a tool for calculating Great Circle distances on the earth's surface, and plotting points and great circle paths on a world map. The "great circle path" is the shortest direct route between two points on the earth's surface. Because the earth is a globe, the shortest path between...


Platforms: Windows

JGEX, which is actually short for Java Geometry Expert is an ongoing developing system. JGEX is a useful system that is able to combine an approach for visually dynamic presentation of proofs (VDDP), dynamic geometry software (DGS) and automated geometry theorem prover (GTP) .


Platforms: Windows

xyz2eps is a simple, accessible and handy utility designed in the Python programming language that can print xyz-geometry to the eps file format. This is done through the Command Line Interface. Now you can print the eps files you want in no time at all.


Platforms: Windows

rattleCAD is an easy to use graphical application that will help you design a bicycles geometry and derive drawings from configuration.


Platforms: Windows

SAGGLibEngine was designed based on the Anti-Grain Geometry library and aims to provide a simple interface for developers, such as pen, font, brush, DrawText, Ellipse,etc. The library is developped based on common language extension (CLE). Therefore it can be called from c/c++, java, php,...


Platforms: Windows, Windows Vista, 7, 7x64

Cibet is a handy framework designed to offer developers interfaces and classes to introduce audit - proof archiving and logging and dual control mechanisms like four-eyes principle and six-eyes principle into their applications. The Cibet framework helps to control the execution of important...


Platforms: Windows