Beast code in Giters

Angello Astorga's repositories

ContractsSubjects

Language:C#2 20

Precis

Language:Python1 10

Tracer

Language:C#1 20

AllRepair

Language:C++010

binary-heap-pex

Binary heap (priority queue) implementation using TDD and automated tests generation with Pex

Language:C#010

cecil.samples

Samples for Cecil

Language:C#MIT010

Chess

A concurency testing tool

Language:C#NOASSERTION010

CodeCleanupTools

A set of command-line tools to cleanup C# and VB source code.

Language:C#Apache-2.0010

daikon-dot-net-front-end

Celeriac .NET Front-End for Daikon

Language:C#NOASSERTION010

DataFlowAnalysis

APIs for control-flow and data-flow analysis in Roslyn.

Language:C#MIT010

doc

Documentation

Language:HTMLMIT010

EcoCov

Economic Analysis for Problem Resolution in Structural Test Generation

Language:C#010

InGeneer

Input generalization tool

Language:Python010

Misc-Powershell-Scripts

Random Tools

Language:PowerShellMIT010

omnisharp-roslyn

OmniSharp based on roslyn workspaces

Language:C#MIT010

PexFaultLocalization

cs527 project for pex fault localization

Language:C#010

PexMolesAndFakes

Demonstration of Pex and Moles testing frameworks and the migration from Moles to new Fakes framework available in Visual Studio 2012.

Language:C#010

PowerShell_And_Microsoft_Roslyn

Integrating PowerShell and Roslyn,the next generation of language object models for code generation, analysis, and refactoring

010

randoop

Automatic test generation for Java

Language:JavaNOASSERTION010

sat

Boolean satisfiability problem

Language:CBSD-3-Clause010

ssft19-ai

Language:OCaml010

VCVars

Add, Push, or Pop Visual C++ 2017 environment variables to your system PATH

Language:PowerShellMIT010

VSCodeILViewer

A Visual Studio Code C# IL (Intermediate Language) Viewer

Language:C#MIT010

zipkinTraceParser

Language:Python010