Search Results for "gmail source code" - Page 13

A function is computable if it can be computed by a Turing machine. A Turing machine is a very simple machine, but, logically speaking, has all the power of any digital computer. The Turing Optimizer utilizes this to superoptimize code.

ManTa is an equational specification language and tools to support it: theorem prover, code generators (C and Ocaml), frontends.

Distributed Genetic Programming SRVM (Simple Risc Virtual Machine) Distributed function approximator of nonlinear functions with automatic induction of machine code.

A series of Linux-resident emulators for various legacy RTOS (Real-Time Operating System) kernels. These emulators are designed to ease the task of porting legacy RTOS code to an embedded Linux environment.

Packaging code for SnapPea, a program for creating and studying hyperbolic 3-manifolds. This is for packaging ONLY. SnapPea itself (and its successor SnapPy) can be found at: http://www.math.uic.edu/t3m/SnapPy/

Code Interface Node ( cin ) is c code which is linked into LabView cin icons. These icon and hence cin can then extend the functionality of LabView for linux. Lets place our changes and newly developed CIN in this public toolbox.

Built with R, this code allows the user to simulate the game of basketball. While the main focus is on simulating the NBA, the code provides a framework for simulating other leagues by modifying the default set of rules.

Source code used on Team 2404's FRC robot.

Source code used on Team 980's FRC robot.

Fork of the gigapan firmware project for the gigapan beta units. Adds new features to the original firmware and largely cleans up the code to allow new features to be build.

This Project contains the software for the various AVR-Microcontroller-Boards for a modular, autonomous hexapod (see: www.ni-c.de/hal0). Source-Code is written with Eclipse in C. The used compiler is the open source AVR-GCC for AVR microcontrollers (ATTi

Software and electronics hardware for concentrated solar power. A mix of code, electronics and sensor designs for tracking the sun to harvest solar power and related tasks.

Autonomous vehicle code that does navigation using both dead-reckoning techniques and gps. The development platform is a 1/18th scale r/c truck.

I started this project to build an open source robot. i found a manual to build a wall-e robot, but the code is missing. i build my wall-e with this module Arduino Duemilanove. This is also an open source module.

The High Energy Physics Tool calculates decay rates and cross sections of tree-level processes. It makes use of computational code from the CalcHEP package, and includes a GTK+ GUI.

Fast-Fourier-Transform-based number theory code to test Mersenne numbers for primality using the Lucas-Lehmer test and the Crandall-Fagin irrational-base discrete weighted transform (IBDWT) algorithm (Math. Computation 62 (205), pp.305-324, January 1994)

This project is a Open Source C/C++ native Win32 implementation of a FIRST Driver Station written using Windows Template Library Code is a work in progress. Currently implements up to 4 real joysticks, 2 virtual joysticks, 8 Digital Input Buttons, 4 Analog Inputs. TODO: Voltage Display, 8 Digital Outputs and User LCD Display

Personal Weather Station is a simple educational project used for learning various skills in electronics and programming. The station will collect the data using a couple of sensors connected to a micro-controller. Collected data will be uploaded to an online weather server where visitors can see the collected data. Multiple stations can send data to the weather website and visitors can select which station to see using a simple search or selecting from a map. Sensors: - Precipitation...