Search Results for "elastix-developer-2.0.0-4"

...OCaml’s powerful type system means more bugs are caught at compile-time, and large, complex codebases are easier to maintain. This makes it a good language for running critical code. At the same time, sophisticated inference makes the type system unobtrusive, creating a smooth developer experience. OCaml has two compilers. One is a bytecode compiler that generates small, portable executables and is very fast. The other is a native code compiler that produces more efficient machine code; its performance matches the highest standards of modern compilers. OCaml has great support for the most popular editors. VS Code is recommended for beginners, and for power users there is deep integration with Vim and Emacs. ...

Opam is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow. Opam was created and is maintained by OCamlPro. To get started, checkout the Install and Usage guides. Run ./configure. If you don't have the dependencies installed, this will locally take care of all OCaml dependencies for you (downloading them, unless you used the inclusive archive we provide for each release)....

Flow is a static type checker for JavaScript. It was designed to help improve code quality and developer productivity. It does this through several smart capabilities. First, it identifies problems as you code, so you no longer have to waste time guessing and checking again and again. Second, it understands your code and makes its knowledge available, allowing you to build other smart tools on top of it. Third, it helps you refactor safely so you can focus on the changes you want to make and not on what you might break. ...

MonPoly is a prototype monitoring tool that checks compliance of log files with respect to policies specified by formulas in MFOTL (Metric First-Order Temporal Logic). An overview of the tool, including its usage and history, can be found under the Files tab: https://sourceforge.net/projects/monpoly/files/monpoly.pdf/download. The tool is developed as part of an academic project at ETH Zurich. Please visit the following link for more details on the project:...

A collection of tools that can be used to generate monitors ("watchdogs") from LTL formulae. This is known from the area of runtime verification. For more information, see the associated project homepage.

...The original (serial) C source is automatically annotated to trace the execution profile and data dependencies at run-time. The annotated program is then executed using a significant (but small) data set selected by the developer. The data collected is cross-referenced with the original source and can be interactively analyzed graphically to determine the best parallelization candidates and techniques.

Toss is a program which allows to explore the use of logic and terms in various models. On the static side, you can draw graphs and check their properties, axioms and reductions. Then, on the dynamic side, you can model multi-player games with both discrete and continuous dynamics. You can play the games, generate strategies automatically and analyse possible behaviours with respect to various logic formulas.

Lexy is a Scrabble-playing bot written in OCaml. Because it can be compiled to a machine executable, it is wicked fast.

Modification of the Haxe compiler which adds two compilation targets: 1S Enterprise 8.x and 1S Enterprise 7.7.

To design a complete, wheeled robot, capable of accomplishing simple tasks, manipulate objects and have human interaction capabilities. Includes electronic board design, firmware and AI programming, computer-robot interaction software and mechanics.

*** Moved to http://github.com/esumii/min-caml *** MinCaml: An educational compiler from a tiny ML subset to the SPARC or PowerPC assembly language; Only 2000 lines of Objective Caml, but almost as efficient as---or even more efficient than---OCaml and GCC!

A set of very optimized tools for indexing/querying huge genomes/files. Provided so far: a very fast exact mapper, and an unconstrained split-mapper

Carafe is an implementation of Conditional Random Fields and related algorithms targeted at text processing applications. The latest version, jCarafe, is implemented in Scala and runs on the JVM.

ant is a typesetting system inspired by TeX.

WideStudio is an Integrated Development Environment (IDE) for building window applications in C++, Ruby, Python an Perl for Windows, MacOSX, Linux, FreeBSD, SOLARIS and other unix and BTRON and T-Engine. This is open and free (under MIT/X Consortiun Lice

Backtester for AAII SI PRO Data via RadiScript screens

Camomile is a Unicode library for ocaml. Camomile provides Unicode character type, UTF-8, UTF-16, UTF-32 strings, conversion to/from about 200 encodings, collation and locale-sensitive case mappings, and more.

strid is a tool to generate string diagrams for inclusion in LaTeX documents. It has a syntax which is inspired of Xy-matrix, but dual diagrams are generated.

Renderer for flam3 cosmic recursive fractal flames implemented on GPU. Requires a CUDA-capable graphics card.

OCaml FEM provides a set of libraries to facilitate writing of finite element codes in OCaml (http://caml.inria.fr/). It provides uniform interaction with several meshers, examples of FEM code using Lacaml.

Camlexif is an Exif parsing library entirely written in Objective Caml (OCaml).

The Hybrid Calculus of Wrapped Compartments is a language for the modelling of biological processes; it combines the precision of a stochastic approach with the efficiency of a ODE-based one. HCWC-sim is a OCaml implementation of the HCWC calculus.

Htl translator to XTA (Uppaal).

VSYML is an automated symbolic simulator for VHDL designs.

POESIA= Public Opensource Environment for a Safer Internet Access an opensource Internet content filter (multimodal, mulitlingual) aimed for protection of youth (in schools...); partly funded by the European Commission