Search Results for "git:/git.code.sf.net/p/docfetcher/code"

...It's flexible enough to create full-stack frameworks, micro-frameworks or advanced CMS systems like Drupal. Every HTTP web interaction begins with a request and ends with a response. Your job as a developer is to create PHP code that reads the request information (e.g. the URL) and creates and returns a response (e.g. an HTML page or JSON string). Typically, some sort of framework or system is built to handle all the repetitive tasks (e.g. routing, security, etc) so that a developer can build each page of the application. Exactly how these systems are built varies greatly. ...

...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.