Popular repositories Loading

1. InteractiveDataDisplay InteractiveDataDisplay Public

   Forked from predictionmachines/InteractiveDataDisplay

   Interactive Data Display for JavaScript

   JavaScript

2. Angara.Serialization Angara.Serialization Public

   Forked from predictionmachines/Angara.Serialization

   An extendible library for serialization of an arbitrary objects to JSON format extended with type information to facilitate interoperability between .NET and JavaScript platforms.

   F#

3. Angara.Chart Angara.Chart Public

   Forked from microsoft/Angara.Chart

   Allows to define and display a chart as a collection of plots such as line, band, markers, heatmap. Supports visualization of uncertain values represented as quantiles.

   F#

4. Angara.Table Angara.Table Public

   Forked from microsoft/Angara.Table

   A library that contains types for table representation and operations to manipulate with tables, as well as save and load them from text files such as CSV files.

   F#

5. z3test z3test Public

   Forked from Z3Prover/z3test

   Test and benchmark repository for Z3.

   SMT

6. alpheus alpheus Public

   Forked from itislab/alpheus

   Alpheus: A tool for organizing and managing computational experiments

   F#