Search Results for "program"

...Its reliance on hardware tracing ensures minimal overhead compared to traditional profiling methods. Overall, magic-trace provides a powerful and precise way to understand program execution at a granular level.

...No sluggish CI builds stale caches, wrong type hints, or memory-hungry language servers that slow you down. Every ReScript app is fully typed and provides reliable type information for any given value in your program. We prioritize simpler types over complex types for the sake of clarity and easy debugability. No `any`, no magic types, no surprise `undefined`. Use any library from JavaScript, export ReScript libraries to JavaScript, and automatically generate TypeScript types. It's like you've never left the good parts of JavaScript at all.

The program calculates the degree deg(f,B,0) where B is a product of n nontrivial intervals in R^n and f is a continuous function from B to R^n. The algorithm is described in the following paper: http://www.ams.org/journals/mcom/2015-84-293/S0025-5718-2014-02877-9/

...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.

CIL (C Intermediate Language) compiles C programs into a simplified subset of C and assists with program analysis and transformation.

Mini Gosix is a small program that allows you to play Gosix board game (by Pierre Canuel) against a computer opponent. There are selectable difficulty levels and GUI. Program is written in OCaml using TK widgets.

Creen is a reengineering and static analysis tool for ANSI C code. Program structure analysis, slicing and refactoring.

Flashdot is a program for generating and presenting visual perceptual experiments that require a high temporal precision. It is controlled by a simple experiment building language and allows experiment generation with either a text or a graphical editor.

CompScheme is a program for algorithmic music composition and stochastic sound synthesis written in Objective Caml (OCaml).

CamlGoBot is a computer go program using the GTP protocol and written in OCaml. Its main goal is to be used as a bot on the KGS go server.

CT8K is an experimental quantum chemistry program intended to bring state of the art methods to the desktop PC

A program which aims at compressing and decompressing image files in various formats using the fractal compression method.

banshee-- A toolkit for building constraint-based program analyses

A command-line utility for image processing.