179 projects tagged "Linux"
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.
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.
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.
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.
Lisp Blosxom is a port of the Perl Blosxom blogging engine to ANSI Common Lisp. Its goals are extensibility and speed. It's a filesystem-based blogging engine, which means that blog entries are just flat files on disk, although plugins can be written to extend or replace this behavior. The first line in the file is the title, while the remainder is the text of the body. Entry dates are taken directly from the filesystem's modification date for each entry. Furthermore, the structure of the blog is taken directly from the hierarchy of directories and files on disk.
PHP MicroCMS (PHP MCMS) is a simple, but very powerful content management system that everyone can use. It's very easy to install by Web developers, Web masters, graphic designers, etc. PHP MCMS allows users to build web sites in minutes with very little technical knowledge. It requires no knowledge of HTML, though HTML can be used to enhance the pages by adding headings, images, and hyperlinks, or simply to emphasize text.
LastFmLib.net lets you access all Web services provided by Last.fm. This also includes an implementation of the Audioscrobbler 1.2.1 submissions protocol and radio api. Also, LastFmLib.net provides a set of useful classes, e.g for caching requests and pictures and for accessing simple request easily via the LastFmClient class. The library should be fully Mono compatible (the test with MoMa was positive).