Seagull is a multi-protocol traffic generator. Especially targeted towards IMS, Seagull supports Diameter (RFC3588 and all applications) over TCP/SCTP and IPv4/IPv6 , TCAP (over SS7 or Sigtran), XCAP over HTTP and Radius.
Probabilistic Risk Assessment Tool
SCRAM is a free and open source probabilistic risk analysis tool. The tool is under development to include fault tree, event tree, common cause, and other standard analyses.
Calendar App To Perform Date-Time Related Functions
Github - https://github.com/shivammathur/C-CPP-Calendar C-CPP Calendar app is a easy to use app to do all the functions that a calendar is used for. The app is very handy and extremely better than using a physical calendar. It is available as both x86 and a x64 versions. The app can display day of any date in the Gregorian calendar (1753 - 9999). It can be used to display calendar of a month of a year. The most awesome feature is that it displays the calendar of a year in a well formatted layout like a paper calendar and also generate a text file for the same. It is very handy when it displays the dates in a month on which a day occurs in that month. C-CPP Calendar provides personalized user account with password protection (MD5 based). C-CPP Calendar is compatible with Windows 2000 up-to Windows 10. Though no official support is there for Linux or mac, it was tested to be work
A system for computer algebra and symbolic mathematics
OpenAxiom is an open source Computer Algebra System. It offers an interactive environment, an expressive programming language, a compiler, a large set of mathematical libraries of interest to researchers and practitioners of computational sciences.
The allRound pocket sized CodeEditor.
Refurbished Scintilla.orgs/SciTE with some additional patches. -- Features -- - Full MinGW and GTK SDKs Autocomplete.(190+) - Do system scripting (bash, applescript, cmd, powershell, perl, j/vbscript, awk) - Examine all sorts of data files (sql, regedit, mib, xml, yaml, json, vcard ...) - Review difference and patch files - Create makefiles (gnu make / cmake) - Edit html, css and config files (with calltips) - Describe circuits in vhdl and spice. ... - And finally; read & write source code: - [ Syntax highlighted ] - go, vala, pike, swift, flash, ch, rust - [ Calltip assisted ] - c/cpp11, js&jQuery, python, php, ruby, lua, c#, java, perl --Others-- - Restructured config files with inline docs - Scriptable via lua Extension. - Provides theming, a customizeable toolbar, a sidebar with a File Browser and a cleaned up options Menu. --- Summary --- Enjoy your vlc for sourceCode lecture ;) (30Langs)
A collection of machine-checkend mathematical proofs
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
Data structures and Algorithms library
Aleph-w is a library of data structures and algorithms implemented in and for C++. It contains the main data structures: single and double lists, special arrays (dynamic and of bits), many types of trees: multitrees, binary search trees, avl, red-black, randomized, treaps, splay and other interesting types. Several types of hash tables are implemented: separated chaining, open adressing with linear probing and double function hash; this last one has a garbage colector mechanism that allows to free deleted entries. Dynamic linear hash tables are implemented too. The main algorithms on graphs are implemented in an easy way and with good performance features. Network Flow (maximum and min cost), cut points, topological sort, spanning trees, min paths. etc. The graphs are generic in the sense that they can contain data independent of the algorithm. Several containers of the C++ STL library are implemented with Aleph-w. Their performance is better than GNU implementation
a Productive Parallel Programming Language
Chapel is an emerging parallel programming language whose design and development are being led by Cray Inc. in collaboration with academia, computing labs, and industry. Chapel's goal is to improve the productivity of parallel programmers, from the largest-scale supercomputers to commodity clusters and multicore desktops and laptops.
Turing and Post Machines' C++ Simulators
The C++-programs simulate : Nondeterministic/Deterministic Multitape Turing & Post Machines, Universal Turing Machine, Turing Machine with faults, failures and recovery.
This project contains two packages. An Orbital Mechanics Study developing the physics equations related with satellite tracking and a libtool C++ library to encapsulate the satellite tracking calculations (gsat).
MBDyn_sim_suite is a collection of free pre&post-processing tools and simulation models for the open-source multi-body analysis software MBDyn forming a general purpose simulation environment for structural dynamics with an emphasis on wind turbines.
WebAPP: Web Automated Perl Portal is easily installed on virtually any UNIX-based server which is provided by all modern hosting plans. WebAPP is the most fully-featured, versatile, free and open-source, flat-file Perl portal script available today! ----
Learning to Code 2 Gether!
Always wanted to learn how to code. Here you are at the right spot! We can proudly call this the Code 2 Gether Project! Well all learn to code together making Games!. Software! And more!!! All together So don't forget to join the project :D
The program evaluates ordinal expressions and relations. displaying the normal form output in plain text and/or TeX format. It supports notations for ordinals through and somewhat beyond those definable by the Veblen function.
Avenzoar is a one-year exploration of renal cell carcinoma morphology and its related single nucleotide polymorphisms (SNPa) as a method of automating diagnosis of cancer by using a computer-aided decision tree controlled by analytical statistics.
ARaC (Almost Random Cipher) is (or will become) a 512bit cipher. The ARaC suite is a C program which can encrypt/decrypt files and streams. The cipher itself cannot be download on SF due to US export laws, check http://arac-suite.sourceforge.net !
Literature management tools typically require that bibliography is typed in by hand for each PDF reprint added. The BibGlimpse retriever presented here can automatically find Medline entries for arbitrary PDFs ( http://bioinf.boku.ac.at/bibglimpse ).
Move to https://github.com/sxyzccr/CCR-Plus
CCR Plus is a simple judging environment for Olympiad in Informatics. It uses Qt and it is platform independence. This project has been moved to https://github.com/sxyzccr/CCR-Plus
Cellocity Linux is Based on Fedora Core 6 Source Code. With only basic core elements needed to operate Compatipal and a completley Graphic Interface as well as Text. Version 2.0 will include more applications 32,64 bit and 80 Core Intel CPU
Compatipal Virtual System Emulator Wizard. Compatipal is a Full System Emulator for any system (Mac, PC, 64 bit,) and you can install other emulators made by others compiled to work on any of the above systems or Cell Processors.Works on Cellocity Linux
The Fake User Shell Interface is a program to help people understand and use UNIX or Linux. Please send an email to jamesthefishy(at)gmail.com If enough people email me I will start developing this project again.
Implementation of algorithm from paper 'Numerical Approximation of Option Premia in Displaced-Lognormal Heston Models' by A Dickinson. For code: click link under 'Develop' & checkout via svn or click link under Browse Code->SVN & download tarball
Freeband is a free, cross-platform, open source alternative to the games Guitar Hero and similar games.
Latin-to-English translation of the Traditional Latin Mass with grammatical information from William Whitaker's WORDS. Scripts included to create HTML, PDF and plain text renditions.
The Math Description Engine Software Development Kit (MDE SDK) lets you auto-caption graph displays on the fly, making computer-rendered graphs accessible to blind and visually-impaired users. More information at prime.jsc.nasa.gov