Ngspice project aims to improve the spice3f5 circuit simulator.
IT++ is a C++ library of mathematical, signal processing and communication classes and functions. Its main use is in simulation of communication systems and for performing research in the area of communications.
Zoomable user interface (ZUI) with file manager, file viewers and more
Eagle Mode is a zoomable user interface (ZUI) with file manager, file viewers, games, and more. This project is about a futuristic style of human-computer interaction, where the user can visit almost everything simply by zooming in. It features a portable C++ toolkit API for developing such ZUIs, and it features the Eagle Mode application, which provides a virtual cosmos with plugin applications. The most important one is the professional file manager with its rich, scriptable command set. It integrates file viewers for most of the common file types, as well as an audio and video player. Furthermore, the virtual cosmos contains a chess game, a netwalk game, a 3D minesweeper game, a world clock, some fractal fun, and a Linux kernel configurator in form of a kernel patch. Eagle Mode runs best on Linux, but there is also a light version for Windows, which lacks some of the plugins.
Multiplatform Ham Radio APRS and Mapping Program
NOTE: Code commits are FROZEN on SourceForge: New code is now at <http://github.com/Xastir/Xastir>. Real-time tracking & messaging of stations via radio/internet APRS data streams, w/125 map formats supported. Linux/FreeBSD/Solaris/MacOSX/Windows in any of 7 languages. Can also be used for mobile mapping w/GPS. MAILING LISTS ARE AT: PROJECT->WEB SITE.
Earth orbits and coverage display in 3D on your laptop.
SaVi - simulate Iridium, Globalstar, O3b, Sirius Radio, GPS, Galileo and other satellite constellations, modify them, or design your own. Uses Tcl/Tk and Unix libraries; 3D viewing option requires Geomview running on X Window.
Logic Programming and Deductive Database system (Tabled Prolog) for Unix and Windows.
C++ BigInt class enables to work with arbitrary precision integers
C++ BigInt class that enables the user to work with arbitrary precision integers. Latest Version: 10.2
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.
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.
Xconq is an engine for turn-based strategy games. Variety of game genres run under Xconq: historical, sci-fi, fantasy, and modern. AIs. Network games. Multiple UIs and platforms. Easy-to-learn game design language. Large games library available
simulated annealing optimization and importance-sampling
Adaptive Simulated Annealing (ASA) is a C-language code that finds the best global fit of a nonlinear cost-function over a D-dimensional space. ASA has over 100 OPTIONS to provide robust tuning over many classes of nonlinear stochastic systems.
Real-time data acquisition and visualization software
Cross-platform data acquisition and visualization software with an embedded HTTP-server, binary protocol parsing library, protocol emulation server, remote secure administration server, embedded Groovy scripting facilities and HMI (SCADA) visualization module.
ArchC is an open-source architecture description language based on SystemC. Its goal is to provide designers with a tool to evaluate new ideas in processor and ISA design, memory hierarchy, etc. and other aspects of computer architecture research.
Schematic circuit editor for VLSI and Mixed mode circuit simulation.
Xschem is a schematic capture program, it allows to create a hierarchical representation of circuits with a top down approach . By focusing on interconnections, hierarchy and properties a complex system (IC) can be described in terms of simpler building blocks. A VHDL, Verilog or Spice netlist can be generated from the drawn schematic, allowing the simulation of the circuit. Key feature of the program is its drawing engine written in C and using directly the Xlib drawing primitives; this gives top speed performance, even on very big circuits. I have succesfully managed to simulate complete VLSI projects with this tool, both digital (Verilog / VHDL) and analog (Spice). The user interface is built with the Tcl-Tk toolkit, tcl is also the extension language used to send commands to the program. Schematics can be printed in SVG, PNG, PDF, formats. XSCHEM runs on Linux or other Unix-likes with Xorg server and on Windows with the Cygwin layer and required tools installed.
PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)
XNBC is a graphic application to simulate biologic neural networks.
XNBC is a full featured application for computer naive neuroscientists. It simulates biological neural networks using graphic tools to edit neurons and networks, to run the simulation and to analyze results. Written in C, it runs on Unix and Windows. Web site : http://ticemed-sa.upmc.fr/xnbc/ All recent versions are on this site.
finds exact gain, directivity and input impedance of Yagi or log-periodic antennas (planar symmetric array of cylindrical dipoles, many driven elements) for a range of specified frequencies, integrates 2D for segments on the same element, moment method
Capsim(r) C Text Mode Kernel(TMK),DSP and communication blocks, topologies, libraries and tools for the development of high performance block diagram digital signal processing and communications systems,built in interpreter for scripting.SystemC support.
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 !
The Crystallizing Substochastic Sequential Machine Extractor, CrySSMEx, is an algorithm for extracting Finite State Machines from Recurrent Neural Networks. Input: sequential data generated from RNNs. Output: (stochastic) FSMs and state space quantizers.
EMBOSS is a dynamic and comprehensive Open Source package for bioinformatics (DNA and protein sequence analysis, protein structure, phylogenetics, etc.). EMBOSS is written in C, also compatible with C++, and has a separate Java interface (Jemboss)
LASS : Library of Assembled Shared Source. Library of C++ code for scientific purposes.
Multicore SWARM (Software and Algorithms for Running on Multicore Processors) is an open source library for developing efficient and portable implementations that make use of multi-core processors. David A. Bader (Georgia Tech) began SWARM in 1994.
Open-GMF is an open Ground Water Modeling Framework for hydrogeologists and reservoir engineers. It is an extensible development environment for finite-difference, finite-element, and finite-volume models tailored to specific problems.
Smart servers that can provide customized snippets of digital orthophotos using just-in-time geoprocessing and interoperable web-based components. These servers are based on the MITOthoServers who was under the GNU Public License (GPL).