theia

Automatically Visualizing Program Execution

Stars

4

Forks

1

Language

OCaml

Last Updated

Jul 15, 2020

Similar Repos
Repo Language Stars Description Updated At
C# 20 SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation Aug 26, 2021
Rust 2 Concurrent execution of ab tests and visualizing results using gnuplot Dec 26, 2018
TeX 5 Formal model of program execution, symbolic execution, and taint tracking Dec 18, 2020
C 6 simple ptrace-based program execution tracer Aug 15, 2022
R 4 A R package for visualizing process execution data on BPMN diagrams Apr 11, 2022
TypeScript 95 A TypeScript library for visualizing process execution data on BPMN diagrams Aug 20, 2022
C++ 8 Mesoscale Atomistic Glue Program for Integrated Execution Jul 09, 2022
C++ 7 A program for visualizing interesting relationships between prime numbers. Feb 02, 2021
C 22 Windows tool for measuring command/program execution speed May 04, 2022
Rust 2 A tool to time command line program execution Feb 22, 2024
OCaml 3 Documentation for atdgen Nov 02, 2020
OCaml 3 Investigating incomplete OCaml stack backtraces Nov 02, 2020
OCaml 3 OCaml-stuffed templates Nov 02, 2020
OCaml 3 Epsilon-greedy solution to the multiarmed-bandit problem, with recency bias Nov 02, 2020
OCaml 3 How much stuff fits in a spherical shell of various dimensions? Nov 02, 2020
OCaml 3 Dynamic signal uniformization Apr 07, 2021
OCaml 3 Clone of Thomas Hale's flyspeck project (a formal proof of the Kepler conjecture using HOL … Apr 18, 2020
OCaml 4 An implementation of a Hindley-Milner type system with Algorithm W for inference in OCaml. Jan 25, 2022
OCaml 4 Runtime and runner for a compiler from SQL to JavaScript Mar 22, 2022
OCaml 4 Pure OCaml parser for URIs for Geographic Locations Apr 22, 2022
OCaml 4 An automatic recursive function transformer. May 13, 2022
OCaml 4 API + Telegram bot + SPA for Dota 2 hero voicelines Jun 07, 2021
    summhub-app
OCaml 4 None Apr 01, 2019
OCaml 4 Access the Linear or RBF kernel SVM from OCaml using the R e1071 or svmpath … Mar 09, 2020
OCaml 4 Wrapper on top of libsvm-tools Nov 16, 2021
OCaml 4 Ocaml Learning Dec 29, 2015
OCaml 4 Mathematical proof checker which can be used to create Qeditas theories, signatures and documents Sep 01, 2021
OCaml 4 testing ppx_deriving_crowbar by automatically deriving parsetrees, and why not test them after that Aug 03, 2020
OCaml 4 Tools for making, manipulating, and viewing cross-stitch patterns. Feb 03, 2022
OCaml 4 Spreadsheet demo code from http://semantic-domain.blogspot.com/2015/07/how-to-implement-spreadsheet.html with additional test harness Jun 10, 2019
OCaml 4 Repositório com o conteúdo de Testes Unitários que aprensentei na Disciplina de Qualidade e Teste … Jul 20, 2022
    redex-phenomic
OCaml 4 None Jan 14, 2019
OCaml 4 Modular type checking using open types Feb 12, 2016
OCaml 4 SCGI protocol library for use in ocaml web applications Nov 26, 2020
OCaml 4 This is a modified version of Ott 0.25 Jan 28, 2021
OCaml 4 Intl bindings for Bucklescript Jul 05, 2021
OCaml 4 An implementation of dependently typed lambda calculus Jul 18, 2022
OCaml 4 Parser for chess Portable Game Format Aug 28, 2017
OCaml 4 一个用 OCaml 实现的 http(s) 代理服务器, 极低的资源占用，支持 Linux 和 Mac OSX 在内的 Unix. May 12, 2022
    bs-react-router-dom
OCaml 4 None Nov 26, 2017
OCaml 4 OCaml bindings to libyara May 13, 2022
OCaml 4 An experimental Scheme Nov 02, 2020
OCaml 4 An experiment in running zeit/micro using ocaml + bucklescript Jun 10, 2020
OCaml 4 "Functional Pearls" parsing in OCaml Aug 29, 2021
    try-ocaml
OCaml 4 None Feb 12, 2021
OCaml 4 A JS parser and pretty printer in OCaml May 05, 2020
OCaml 4 bucklescript interface for winstonjs Oct 20, 2020
OCaml 4 A Brainfuck dialect for NekoVM Nov 19, 2020
OCaml 4 JavaScript crypto library accompanying snarky Jul 13, 2021
OCaml 4 Bindings which allow Unix.file_descrs to be sent and received over Unix domain sockets Feb 18, 2022