Why Is libxc needed? There doesn’t exist a library for ANSI C99 for common data containers, such as vectors, trees, etc. There also also doesn’t exist a library for common functionality, such as error reporting/logging, string functions, configuration management (reading config files), etc… The programmer working in C doesn’t have anything analogous to the Boost […]

Read More


VICE is an emulator collection which emulates the C64, the C64-DTV, the C128, the VIC20, practically all PET models, the PLUS4 and the CBM-II (aka C610). It runs on Unix, MS-DOS, Win32, OS/2, Acorn RISC OS, BeOS, QNX 6.x, Amiga, GP2X or Mac OS X machines. Today’s small-to-medium-sized (SMB) businesses and large enterprises are saving […]

Read More


smartmontools contains utility programs (smartctl, smartd) to control/monitor storage systems using the Self-Monitoring, Analysis and Reporting Technology System (S.M.A.R.T.) built into most modern ATA and SCSI disks. It is derived from smartsuite. Today’s small-to-medium-sized (SMB) businesses and large enterprises are saving on their monthly communications costs by making one simple decision: to switch to a […]

Read More


SDCC is a retargettable, optimizing standard C (ANSI C89, ISO C99, ISO C11) compiler that targets a growing list of processors including the Intel 8051, Maxim 80DS390, Zilog Z80, Z180, Rabbit 2000, gbz80, Motorola 68HC08, S08 and STMicroelectronics STM8 targets. There also is incomplete support for the Microchip PIC16 and PIC18. The SourceForge Speed Test […]

Read More


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. You’re probably paying too much for cell phone service. Wirefly compares hundreds of plans to help you save. Enter […]

Read More


Tux Paint is a free, award-winning drawing program for children ages 3 to 12. It combines an easy-to-use interface, fun sound effects, and an encouraging cartoon mascot who guides children as they use the program. Kids are presented with a blank canvas and a variety of drawing tools to help them be creative. Along with […]

Read More


This tool should support the process of bringing your LP-Collection on CD. This tool takes big audio-files (recorded e.g. with Audacity) and creates one audio-file per track/song/title. If you are like the rest of our user community, your IT team is busy. With pressure to deliver on-time projects, you don’t have a lot of time […]

Read More


Database connection pool with support for lots of languages and databases. You’re probably paying too much for cell phone service. Wirefly compares hundreds of plans to help you save. Enter what you need (minutes, data, texts) into Wirefly’s innovative plan comparison tools and see your savings instantly.

Read More


v3.2.6 a C file (add it to your C or C++ project) with 8 functions: – beep – notify popup – message & question – input & password – save file – open file(s) – select folder – color picker complements OpenGL GLFW GLUT GLUI VTK SFML TGUI SDL Ogre Unity3d ION OpenCV CEGUI MathGL […]

Read More


The gawkextlib project provides several extension libraries for gawk (GNU AWK), as well as libgawkextlib containing some APIs that are useful for building gawk extension libraries. These libraries enable gawk to process XML data, interact with a PostgreSQL database, use the GD graphics library, and perform unlimited precision MPFR calculations. These extensions work with GNU […]

Read More