49 projects tagged "Linux"
Updated 17 May 2013
any-dl
| Pop | 121.01 |
|---|---|
| Vit | 7.44 |
any-dl is a generic video downloader tool that uses a domain specific language to describe how to download videos from each video site.
Updated 12 Jun 2012
Opa
| Pop | 87.41 |
|---|---|
| Vit | 4.10 |
Opa is a web development platform. It comprises a programming language, a Web server, a database, and a distributed execution engine. All of these are tightly integrated.
Updated 10 Mar 2013
llpp
| Pop | 133.13 |
|---|---|
| Vit | 9.71 |
llpp is a MuPDF-based PDF pager.
Updated 11 Nov 2010
Binary of Babel
| Pop | 42.28 |
|---|---|
| Vit | 1.00 |
Binary of Babel is the demo that got second place at Alternative Party 2010. It combines over 20 programming languages, including Objective-C, Vala, Scheme, and even COBOL, into one binary. It contains lots of classic demo effects such as a rotozoomer and raster bars.
Updated 13 Sep 2011
Continuation Passing C
| Pop | 54.94 |
|---|---|
| Vit | 1.75 |
CPC (Continuation Passing C) is a programming language designed for writing concurrent systems. The CPC programmer manipulates very lightweight threads, choosing whether they should be cooperatively or preemptively scheduled at any given point; the CPC program is then processed by the CPC translator, which produces highly efficient event-loop code. This approach gives the best both worlds: the relative convenience of programming with threads, and the low memory usage of event-loop code. The semantics of CPC is defined as a source-to-source translation from CPC into plain C using a technique known as conversion into Continuation Passing Style. The current implementation of CPC has been used to write Hekate, a BitTorrent seeder designed to handle millions of simultaneous torrents and tens of thousands of simultaneously connected peers.
Updated 01 Oct 2010
pfff_visual
| Pop | 39.15 |
|---|---|
| Vit | 1.00 |
pfff_visual is a fancy code visualizer using treemaps and source code thumbnails rendered through Cairo. It leverages static analysis of the code to give semantic feedback visually, which can help you understand the architecture of a project. Pfff_visual uses the pfff infrastructure, which is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source-to-source transformations such as refactorings on source code. For now, the effort is focused on PHP but there is preliminary support for JavaScript, C, C++, Java, SQL, and even TeX. There is also preliminary support for OCaml code so that the infrastructure can be used on the code of pfff itself.
Updated 13 Mar 2010
Borderline
| Pop | 29.26 |
|---|---|
| Vit | 2.13 |
Borderline is a firewall generator. It takes a generic rule specification as input and generated an highly optimized firewall. It features IPv6 rule generation, support for multiple interfaces, and integrated support for network zones. It currently only supports firewall generation for Linux 2.6 (netfilter).
Updated 09 Aug 2009
Ocaml Plugin for NetBeans
| Pop | 25.87 |
|---|---|
| Vit | 1.74 |
Ocaml Plugin extends the NetBeans IDE with support for projects written in the Objective Caml language. It provides syntax highlighting, code completion, build-in documentation, support for OCaml projects with multiple source, test, and docs folders, support for multiple build systems, a sample project template, and an empty project wizard.
Updated 04 Oct 2012
Frama-C
| Pop | 117.90 |
|---|---|
| Vit | 7.11 |
Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C. Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach allows static analyzers to build upon the results already computed by other analyzers in the framework. It provides sophisticated tools, such as a slicer and dependency analysis.
Updated 06 Aug 2009
Goanna
| Pop | 48.81 |
|---|---|
| Vit | 1.78 |
Goanna is an Eclipse plugin that does static analysis of C/C++ source code with model checking. It detects many instances of null pointer de-referencing, double free(), buffer overruns, uninitialized variables, and other common programming mistakes.
