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.
Universal manga downloader
Please, download this program from https://github.com/yuru-yuri/manga-dl Thanks!
TFEL/MFront introduces DSLs based on C++ to handle material knowledge
The TFEL library is a collaborative effort of the French Atomic Commission and Électricité de France. TFEL mostly includes the MFront code generator. MFront is based on C++ and provides several domain specific languages which were designed to simplify the implementations of new material properties, mechanical behaviours and simple material models. A particular focus was made on mechanical behaviours which are by essence more complex and may have significant impact on the numerical performances of mechanical simulations. Various performance benchmarks show that the code generated using MFront is in most cases on par or better than other implementations, generally written in Fortran. For mechanical behaviours, MFront introduces interfaces for various finite element or FTT solvers (Cast3M, Code-Aster, ZeBuLoN, Abaqus, Europlexus, AMITEX_FFT, etc..). The authors hope that it will prove usefull for researchers and engineers, in particular in the field of solid mechanics.
Manage your shell environment variables and aliases
The environment modules package provides for an easy dynamic modification of a user's environment via modulefiles. which typically instruct the module command to alter or set shell environment variables such as PATH, MANPATH, etc. as well as define aliases over a variety of shells.
A debugger for xsl/xslt stylesheets which has functionality similar to a Unix/Linux "gdb". This is achieved using libxml2 and libxslt (gnome-xml). A summary of commands types are Help, running, template, breakpoint and node viewing
This is a widget set to quickly develop cross-platform GUI software using the Free Pascal Compiler. It doesn't rely on large third party libraries - which makes fpGUI applications easy to deploy. Also included: help viewer, visual form designer.
Best Object Persistence Framework ever!
The tiOPF is an Object Persistence Framework (OPF) for Delphi and Free Pascal that simplifies the mapping of an object oriented business model into a relational database. Persistence layers are available for Firebird, XML, Oracle, SQLServer and many more
STEP (ISO 10303) development environment which supports the validation of STEP data populations via EXPRESS (ISO 10303-11) schemata and the transformation of STEP data populations from one schema to another via EXPRESS-X (ISO 10303-14) schemata.
Logic Programming and Deductive Database system (Tabled Prolog) for Unix and Windows.
Extended C Library
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 C++ library. The extended C library is intended to make some headway into providing this functionality. To ensure unrestricted usage the libxc project is provided under the very permissive BSD license. If you need a different license then please send me a request (lelanthran at gmail) and I'll do my best to satisfy your request. What's completed? As of writing, the following libraries have been written and tested: 1. Memory accounting/tracking 2. String operations 3. Vectors 4. Trees 5. Dictionary arrays 6. Configuration management See the wiki page for more information
A GUI to ease the process of producing a multipage PDF from a scan. gscan2pdf should work on almost any Linux/BSD machine.
Fortran library to compute positions of celestial bodies
libTheSky is a Fortran library to compute positions of celestial bodies (Moon, planets, stars) and events (conjunctions, eclipses). It forms the core of the software that produces the Dutch popular-astronomy website http://hemel.waarnemen.com
Fast C++ library for linear algebra (matrix maths) and scientific computing. Easy to use functions and syntax, deliberately similar to Matlab. Uses template meta-programming techniques. Also provides efficient wrappers for LAPACK, BLAS, ATLAS, ARPACK and SuperLU libraries, including high-performance versions such as OpenBLAS and Intel MKL. Useful for machine learning, pattern recognition, signal processing, bioinformatics, statistics, finance, etc. For more details, see http://arma.sourceforge.net
Multi-platform inadyn, inadyn-advanced DDNS client fork.
Multiple services fork of original multi-platform inadyn, and inadyn-advanced projects. Supports many update services, easily extendable for others including additional servers config file, custom response codes, custom parameter names, and custom update server type. Highly flexible with many per alias option parameters. Supports IPv4, and IPv6. Console, or installed as a service. Unicode. And other features. dyndns.org (dynamic, static, & custom) freedns.afraid.org zoneedit.com no-ip.com 3322.org easydns.com sitelutions.com dnsomatic.com ipv6tb.he.net tzo.com dynsip.org dhis.org zerigo.com two-dns.de www.dnsdynamic.org dnspark.com regfish.de www.ovh.com joker.com dyndns.strato.com system-ns.com dtdns.com changeip.com dnsexit.com nsupdate.com loopia.com domains.google.com (requires SSL bridge, like stunnel) duckdns.org di.fi ddnss.de dynv6.com selfhost.de
Home of the Open Object Rexx Project. ooRexx is the open source version of IBM's Object REXX Interpreter. It is upwardly compatible with classic REXX and will execute classic REXX programs unchanged. The project is managed by the Rexx Language Assoc.
Dynamically loaded extension libraries for GNU AWK
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 AWK version 4.1.1 or later. We have created a framework for packaging gawk extensions, and we welcome further contributions. Recent additions include haru, redis, and select for I/O multiplexing.
A SUpport MOdule manager for EPICS
sumo, the SUpport MOdule manager, is a set of tools to support software development for the EPICS framework. It manages build dependencies and consistent builds of the EPICS support modules.
QuickFIX is the worlds first Open Source C++ FIX (Financial Information eXchange) engine, helping financial institutions easily integrate with each other. The SVN repository is now locked. Latest code is hosted at github. https://github.com/quickfix/quickfix
FastoNoSQL it is GUI platform for NoSQL databases.
Gui managment admin tool for: Redis Memcached SSDB LevelDB RocksDB UnQLite LMDB UpscaleDB ForestDB
Cross-platform open source Redis DB management tool
FastoRedis (fork of FastoNoSQL) — is a cross-platform open source Redis management tool (i.e. Admin GUI). It put the same engine that powers Redis's redis-cli shell. Everything you can write in redis-cli shell — you can write in FastoRedis! Our program works on the most amount of Linux systems, also on Windows, Mac OS X, FreeBSD and Android platforms, on desktops and embedded devices.
The goal of the project is now to develop a user library called libpfm4 to help setup performance events for use with the perf_events Linux kernel interface. The development of the perfmon kernel subsystem, libpfm and pfmon has now stopped.
Database connection pool with support for lots of languages and databases.
Terminal text colorizing and simplifies script coding.
ScriptEchoColor simplifies Linux terminal text colorizing, formatting and several steps of script coding.
Educational Linux Distribution
Main goals: * Prepare operating system based on Linux kernel and free software for use at home from scratch by building sources. Binary packages/images are also available. * Each package is installed in separate directory, so you can use different versions of applications and libraries by design. * There is only one user 'kanapi' with root permissions, so you don't have to login, remember passwords, etc. * Simple configuration * Automatic compilation.
This is the EPP (Extensible Provisioning Protocol) Registry/Registrar Toolkit. It is used by domain name registrars that wish to communicate with EPP domain name registries (eg. .info, .name, .pro, .biz).