26 projects tagged "Mac OS X"
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.
nomacs is an image viewer that is small, fast, and able to handle the most common image formats including RAW images. It also makes it possible to synchronize multiple viewers on a single computer or via the LAN, which is useful for comparing images and spotting the differences. This is useful for architects who want to see their progress, for example.
The j661 project provides a generic CDS (or ARINC 661 Server) in order to facilitate the understanding of the ARINC 661 standard, prototype ARINC 661 concepts and architectures, and facilitate the reuse of ARINC 661 specifications and artefacts between projects. The CDS architecture is designed to allow defining the Server behavior to be easily modified or extended. This is achieved by a modular plug-in architecture, allowing customization at runtime without changing anything in the Server core itself.
Window Switch is a tool that allows you to move applications between networked computers. The windows appear where you need them, as they were. You no longer need to save and send documents to move them around; simply move the view of the application to the machine where you need it.
FastFlow is a pattern-based programming framework targeting streaming applications. It implements pipeline, farm, divide and conquer, and their composition, as well as generic streaming networks. It is specifically designed to support the development and the seamless porting of existing applications on multi-core. The layered template-based C++ design ensures flexibility and extendibility. Its lock-free/fence-free run-time support minimizes cache invalidation traffic and enforces the development of high-performance (high-throughput, low-latency) scalable applications. It has been proven faster than TBB, OpenMP, and Cilk on several micro-benchmarcks and real-world applications, especially when dealing with fine-grained parallelism and high-throughput applications.
Klest-crossword is a program for creating crossword puzzles. It comes with more than 1000 puzzles and dictionaries of 31000 Russian words and 41000 English words. Incompletely guessed puzzles can be saved, and crosswords can be compiled automatically and semi-automatically. Crosswords can be printed, and exported as RTF, PDF, PostScript, HTML, Across Lite, JPG, JPEG, TIFF, BMP, XPM, PNG, XBM, PPM, and OpenKlest, and imported from Across Lite and OpenKlest.
Shelk-test is a program for creating tests for students. Tests take up just three modules: creation, testing, and reporting. Shelk-test can insert images into all types of questions, making it possible to create a question such as "What is shown in the picture?" All tests are stored centrally in a SQLite database, increasing reliability and allowing you to have a database file without having to install a database server.
Wisecracker is a high performance distributed cryptanalysis framework that leverages GPUs and multiple CPUs. It allows security researchers to write their own cryptanalysis tools that can distribute brute-force cryptanalysis work across multiple systems with multiple multi-core processors and GPUs. Security researchers can also use the sample tools provided out-of-the-box. The differentiating aspect of Wisecracker is that it uses OpenCL and MPI together to distribute the work across multiple systems, each having multiple CPUs and/or GPUs.
Awake SQL is a virtual JDBC Driver and a framework that enables remote JDBC access through HTTP. It allows Android and Java desktop app developers to use regular JDBC calls to access remote SQL databases in the cloud. It implements the main data types including blobs/clobs, and supports transactions. Security has been taken into account from the design stage: server-side configuration lets admins specify strong authentication and security rules in order to protect the databases.