Search Results for "c code"

...The project offers two implementations: Implementation 1 is Algol68G: a recent checkout hybrid compiler/interpreter by Marcel van der Veer, supporting arbitrary arithmetic, partial parametrisation, complex numbers, POSIX threads, GNU plotutils, GNU scientific library, curses, sound, TCP sockets, RegEx and PostgreSQL. Inplementation 2 is algol68toc, a port by Sian Mountbatten of the vintage Algol68RS (UK Defense Research Agency) compiler. The implementation emits C code.

PRLL HAS MOVED TO GITHUB https://github.com/exzombie/prll A utility for parallelizing the execution of shell functions. Focuses on convenience in interactive use, but is just as usable in shell scripts. Put your multicore to good use, or combine prll with ssh to create an instant cluster.

New programming language for SPS devices like Amtel Controller . The basic element of this language will be small Moduls of Code which work parallel (Multitasking). A Module can work indepent or with addiction to other Moduls.

This is an opensource project for the calculation of the mathematical constant Pi. If you are a mathematician or programer please contribute ideas or code for this project. Non professionals are also welcome to contribute.

CheckFence is a SAT-based formal verification tool that analyzes C code implementing concurrent data types on multiprocessors (concurrent queues, sets etc.) with respect to a selected memory model.