Free cas software for linux

Yacas is project is a Yet Another Computer Algebra System.
Yacas is a general purpose, easy to use Computer Algebra System (a CAS is a program that can be used to do symbolic manipulation of mathematical expressions).
It is built on top of its own programming language designed for this purpose, in which new algorithms can easily be implemented.
In addition, it comes with extensive documentation on the functionality implemented and methods used to implement them.
Enhancements:
- The code was cleaned up.
- The Web page was overhauled so that Yacas can now be used online the way one would use it off-line.

ACASUserFolder is a User Folder implementing the Yale CAS Single Sign On (SSO) Authentication method.
It aims are interoperability, robustness, security and end user simplicity. This project started at the Bordeaux 1 University as a proof of concept for Plone integration in a CASified esup-portal environment.
This Product was formerly known as CASUserFolder but has been renamed to avoid name conflict with another similar product.
Main features:
- Yale CAS architectures 1.0 & 2.0
- Plone Support
- GroupUserFolder support (patch for versions < 3.3)
- Support for POST and GET methods arguments
- Auto-login without adding login button to your site
- clean implementation : doesnt patch anything in the running zope instance
- management tab for testing CAS login
- default roles for CAS Users
- optional persistent users for assigning local roles
- online help
Compatibility:
- python 2.1 (see note below) / 2.2 / 2.3
- Zope : tested with 2.6.2 / 2.7.1 / 2.7.4 / 2.7.5 / 2.8.0 / 2.8.1
- Plone : tested with 2.0.5 & 2.1
- GoupUserFolder (need patch for versions < 3.3)
- CookieCrumbler
- VirtualHostMonster proof (groarrrr)
Installation:
Uncompress the tarball in your Zope Products directory. Under GNU/Linux This is something like:
/usr/lib/zope/lib/python/Products/
Next restart Zope to take the product into account.
Enhancements:
- FIX: deactivated verbose debug output

EJBCA is a fully functional Certificate Authority in Java using J2EE technology. EJBCA builds on the J2EE platform to create a robust, high performance, platform independent, flexible, and component-based CA to be used standalone or integrated in any J2EE app. EJBCA comes with a flexible and powerful Web-based admin GUI.
Main features:
- Flexible, component based architecture.
- Multiple levels of CAs.
- Multiple CAs and levels of CAs, build a complete infrastructure (or several) within one instance of EJBCA.
- Supports SHA-1 or SHA-256 as hash algorithm and RSA as public key algorithm for digtal signatures.
- Standalone or integrated in any J2EE application.
- Simple installation and configuration.
- Powerful Web based administration GUI using strong authentication.
- Command line administration for scripts etc.
- Modular API for HSMs. Support for nCipher HSM sponsored by Linagora.
- Individual enrollment or batch production of certificates.
- Server and client certificates can be exported as PKCS12, JKS or PEM.
- Browser enrollment with Netscape, Mozilla, IE, etc.
- Enrollment for other applications through open APIs and tools.
- E-mail notification to new users added by RA.
- Random or manual password for initial user authentication.
- Hard token module for integrating with hard token issuing system (smart cards).
- Supports the Simple Certificate Enrollment Protocol (SCEP).
- Multiple levels of administrators with specified privileges and user groups. Configurable certificate profiles for different types and contents of certificates.
- Configurable entity profiles for different types of users.
- Follows X509 and PKIX (RFC3280) standards where applicable.
- Revocation and Certificate Revocation Lists (CRLs).
- Fully supports the Online Certificate Status Protocol (OCSP), including AIA-extension.
- CRL creation and URL-based CRLDistribution Points according to RFC3280. Stores Certificates and CRLs in any SQL database (handled by application server).
- Optional multiple publishers for publishing certificates and CRLs in LDAP.
- Key recovery module to store private keys for recovery for selected users and certificates.
- Component based architecture for publishing certificates and CRLs to different sources.
- Component based architecture for various authorization methods of entities when issuing certificates.
- Easy to integrate into large applications for optimal integration into bussiness process.

uPortal is a free, sharable portal under development by institutions of higher-education. This group sees an institutional portal as an abridged and customized version of the institutional Web presence... a "pocket-sized" version of the campus Web.
Portal technology adds "customization" and "community" to the campus Web presence. Customization allows each user to define a unique and personal view of the campus Web. Community tools, such as chat, forums, survey, and so on, build relationships among campus constituencies.
uPortal is an open-standard effort using Java, XML, JSP and J2EE. JA-SIG uPortal is a collaborative development project with the effort shared among several of the JA-SIG member institutions. You may download uPortal and use it on your site at no cost.
Enhancements:
- Various bugs were fixed.
- "Custom" is now displayed as a channel type in the Channel Manager.
- Version.java was modified to support security releases.
- The CAS uPortal security provider was moved into the source tree.

Sympy is a symbolic manipulation package, written in pure Python. Sympys aim is to become a full featured CAS in Python, while keeping the code as simple as possible in order to be comprehensible and easily extensible.
Currently, Sympy has only around 1600 lines of code (including comments), and its capabilities include basic arithmetics, basic simplification, series expansion, functions (exp, ln, sin, cos, tan, etc.), differentiation, integration (currently it can do only very simple integrals), basic substitution, arbitrary precision integers and rationals, standard (Python) floats, basic complex numbers, and symbolic limits.
Main features:
- basic arithmetics *,/,+,-
- basic simplification (like a*b*b + 2*b*a*b -> 3*a*b^2)
- expansion (like (a+b)^2 -> a^2 + 2*a*b + b^2)
- functions (exp, ln, sin, cos, tan, ...)
- complex numbers (like exp(I*x).evalc() -> cos(x)+I*sin(x))
- differentiation
- taylor series
- basic substitution (like x-> ln(x))
- arbitrary precision integers and rationals
- standard (python) floats
Then there are SymPy modules (1000 lines) for these tasks:
- limits (like limit(x*log(x), x, 0) -> 0)
- integration (currently it can only do very simple integrals)
- symbolic matrices

Atari800 project is an Atari 8-bit computer and 5200 game system emulator for multiple platforms.
It runs on DOS, Windows, Amiga, Atari ST, Mac, and Linux/UNIX.
It includes support for Atari cartridge ROMs, popular Atari disk images files, running Atari binaries directly from the host system, and accessing the host filesystem from within the emulated Atari.
Main features:
- Atari 400, 800, 600 XL, 800XL, 130XE, 5200 Games System.
- 130XE compatible memory expansions: 320K, 576K, 1088K.
- Optional 4K RAM between 0xc000 and 0xcfff in 400/800 mode.
- Cycle-exact 6502 emulation, all unofficial instructions.
- Cycle-exact NMI interrupts, scanline-based POKEY interrupts.
- Cycle-exact ANTIC and GTIA emulation, all display modes.
- Player/Missile Graphics, exact priority control and collision detection.
- Exact POKEY registers (sound and random number generator).
- 8 disk drives, emulated at computer-to-drive communication and fast patched SIO levels.
- ATR, XFD, DCM, ATR.GZ and XFD.GZ disk images.
- Direct loading of Atari executable files and Atari BASIC programs.
- 42 cartridge types, raw and CART .
- Cassette recorder, raw and CAS images.
- Printer support.
- Files can be stored directly on your host computer via the H: device.
- Current emulation state can be saved in a state file.
- Sound support on Unix using "/dev/dsp".
- Stereo (two POKEYs) emulation.
- Joystick controller using numeric keypad.
- Real joystick support.
- Paddles, Atari touch tablet, Koala pad, light pen, light gun, ST/Amiga mouse, Atari trak-ball, joystick and Atari 5200 analog controller emulated using mouse.
- R-Time 8 emulation using host computer clock.
- Atari palette read from a file or calculated basing on user-defined parameters.
- Screen snapshots (normal and interlaced) to PCX and PNG files.
- Sound output may be written to WAV files.
- User interface on all versions supporting bitmapped graphics.
- R: device (the Atari850 serial ports) mapped to net or real serial port.

strongSwan is an OpenSource IPsec implementation for the Linux operating system. strongSwan is an OpenSource IPsec implementation for the Linux operating system.
In order to have a stable IPsec platform to base our future extensions of the X.509 capability on, we decided to lauch the strongSwan project.
Main features:
- runs both on Linux 2.4 (KLIPS) and Linux 2.6 (native IPsec) kernels
- strong 3DES, AES, Serpent, Twofish, or Blowfish encryption
- Authentication based on X.509 certificates or preshared keys
- Powerful IPsec policies based on wildcards or intermediate CAs
- Retrieval and local caching of Certificate Revocation Lists via HTTP or LDAP
- Full support of the Online Certificate Status Protocol (OCSP, RCF 2560).
- Optional storage of RSA private keys on smartcards or USB crypto tokens
- Smartcard access via standardized PKCS #11 interface
- PKCS #11 proxy function offering RSA decryption services via whack
- NAT-Traversal (RFC 3947) and support of Virtual IPs and IKE Mode Config
- CA management (OCSP and CRL URIs, default LDAP server)
- Dead Peer Detection (DPD, RFC 3706)
- Group policies based on X.509 attribute certificates ( RFC 3281)
- Generation of default self-signed certificates during strongSwan setup
Enhancements:
- Source routes installed by the keying daemons are now in a separate routing table with ID 100 in order to avoid conflicts with the main table.
- Route lookup for IKEv2 traffic is done in userspace to ignore routes installed for IPsec, as IKE traffic shouldnt get encapsulated.
- The ipsec starter has become more tolerant to dynamic DNS lookup failures by keeping the last valid IP address.

i815 linux tweak project is i815-family chipset tweaker and optimizer for improve performance. Remember that some settings can crash your system.

USE AT YOUR OWN RISK

Installation:

From root user tpye "./install.sh".
If success, module will compile and plased into modules directory.

Usage:

modprobe i815tweak

Without any parameters nothing changes. In /proc/i815info you can see actual chipset settings.

Or see "dmesg" for error info..

For list all module parameters check "modinfo i815tweak".

cas=[2,3]
CAS# Latency (CL)

ras2cas=[2,3]
SDRAM RAS# to CAS# Delay (SRCD)

ras=[2,3]
SDRAM RAS# Precharge (SRP)

refX=[0-7]
SDRAM Mode Select (SMS). These bits select the operational mode of the MCH DRAM interface. The special modes are intended for initialization at power up.

0 = DRAM in Self-Refresh Mode, Refresh Disabled
1 = Normal Operation, 100 MHz System memory – Refresh interval 15.6 uSec
133 MHz System memory – Refresh interval 11.7 uSec
2 = Normal Operation, 100 MHz System memory – Refresh interval 7.8
133 MHz System memory – Refresh interval 5.85 uSec
3 = Normal Operation, 100 MHz System memory – Refresh interval 1.28 uSec
133 MHz System memory – Refresh interval 0.96 uSec
4 = NOP Command Enable. In this mode all processor cycles to SDRAM result in a NOP Command on the SDRAM interface.
5 = All Banks Precharge Enable. In this mode all processor cycles to SDRAM result in an All Banks Precharge Command on the SDRAM interface.
6 = Mode Register Set Enable. In this mode all processor cycles to SDRAM result in a mode register set command on the SDRAM interface.
7 = CBR Enable. In this mode all processor cycles to SDRAM result in a CBR cycle on the SDRAM interface.

dct57=[0, 1]
DRAM Cycle Time (DCT). This bit controls the number of SCLKs for an access cycle.
0 = Tras = 7 SCLKs and Trc = 9 SCLKs.
1 = Tras = 5 SCLKs and Trc = 7 SCLKs (Default)

bnr=[0,1]
Block New Request Lookahead

agp=[0,1]
AGP4X Override

sba=[0,1]
Sideband Address Enable (SBA)
1 = Enable. The sideband addressing mechanism is enabled.
0 = Disable

fw=[0,1]
Fast Writes Enable (FW). This bit must always be programmed to 0. The chipset will behave
unpredictably if this bit is programmed with 1.

cpc=[0,1]
Command per cycle

sm=[0,1]
SM Always Bypass

hacqs=[0,1]
Host Aperture Cycle Queue Slot
0 = Default value. No dedicated queue
1 = A dedicated queue slot is reserved

clt=[0,1]
CPU Latency Timer
0 = Deferrable processor cycle will be Deferred immediately after receiving another ADS#
1 = Deferrable processor cycle will only be Deferred after in has been held in a “Snoop Stall” for 31
clocks and another ADS# has arrived (default).

dpcp=[0,1]
DRAM Page Closing Policy (DPCP)
0 = Precharge All during the service of any “Page Miss” access.
1 = Precharge All during the service of any “Page Miss” access.

magwe=[0,1]
Memory Arbiter Grant Window Enable (MAGWE).
0 = Disabled. Enforce fixed priority.
1 = 24 clocks limiting host, 24 clocks guaranteed to low priority graphics stream.

EXAMPLE:

modprobe i815tweak cas=2 ras2cas=2 ras=2 bnr=1 dct57=1

For more info about i815 chipset settings see Intel Document Reference Number 290688-001, 290693-001 and 290693-002