347 projects tagged "Unix"
Seed7 is a general purpose programming language. It is a higher level language compared to Ada, C++, and Java. In Seed7, new statements and operators can be declared easily. Functions with type results and type parameters are more elegant than a template or generics concept. Object orientation is used when it brings advantages and not in places when other solutions are more obvious. Although Seed7 contains several concepts of other programming languages, it is generally not considered as a direct descendant of any other programming language.
Fimex is a the File Interpolation, Manipulation, and EXtraction library for gridded geospatial data. It converts between different, extensible data formats (currently netcdf, NcML, grib1/2, metgm, wdb, and felt). It enables you to change the projection and interpolation of scalar and vector grids. It makes it possible to subset the gridded data and to extract only parts of the files. For simple usage, Fimex also comes with the command line program fimex.
Calc is arbitrary precision arithmetic system that uses a C-like language. It's useful as a calculator, an algorithm prototype, and as a mathematical research tool. More importantly, calc provides a machine-independent means of computation. Calc comes with a rich set of builtin mathematical and programmatic functions.
Racket (formerly PLT Scheme) is a programming language suitable for implementation tasks ranging from scripting to application development, including GUIs, Web services, etc. It includes the DrRacket programming environment, a virtual machine with a just-in-time compiler, tools for creating stand-alone executables, the Racket Web server, extensive libraries, documentation for both beginners and experts, and more. It supports the creation of new programming languages through a rich, expressive syntax system. Example languages include Typed Racket, ACL2, FrTime, and Lazy Racket.
GnuTLS is a secure communications library implementing the SSL, TLS, and DTLS protocols and technologies around them. It provides a simple C language application programming interface (API) to access the secure communications protocols, as well as APIs to parse and write X.509, PKCS #12, OpenPGP, and other required structures. It is intended to be portable and efficient with a focus on security and interoperability.
DOLFIN is the C++ interface of the FEniCS project for the Automation of Computational Mathematical Modeling (ACMM), providing a consistent PSE (Problem Solving Environment) for solving ordinary and partial differential equations. Key features include a simple, consistent and intuitive object-oriented API; automatic and efficient evaluation of variational forms through FFC; automatic and efficient assembly of linear systems; and support for general families of finite elements.
Tntnet is a Web application server for generating Web applications in C++. HTML pages with some additional tags for inclusion of C++ code are compiled into shared libraries and served from tntnet. It resembles PHP, JSP, or Mason, but the programming language used is C++, and the pages are compiled into native code before serving. Tntnet is fully multithreaded and supports HTTP keep-alive for best performance. Its dynamic pages are faster than static pages with other Web servers, while creating Web applications is simple.
Code Librarian is a Web frontend to CVS repositories, conceptually a merge of Bonsai and ViewCVS/cvsweb. It allows browsing recent commits to the repositories monitored by date as well as browsing the repository by path as a tree of files and their revisions. Colored unidiffs are shown in popup layers one click away from any browse view, and the interface tries to be both clean and powerful, without scaring away the novice user.
The EPPTT is a flexible, EPP-XML/Perl-driven TCP/IP client for testing EPP compliant servers. EPP-XML templates can easily be added to support the many different versions of the draft protocol as well as capture any extensions specific to a particular registry server. With the ability to quickly modify the template files, this client can service registry operators and users alike in testing with little to no programming experience. The EPPTT can be used standalone from the command line or from the Web. Interaction with the EPP-server can be logged and flagged as either passing or failing, based on expected responses, all of which are viewable from the Web client for quick and painless repetitive testing.