Giters
Gabriela Araujo Britto (gabritto)

gabritto

Geek Repo

117

followers

4

following

10

stars

Company:Microsoft

Location:Canada

Github PK Tool:Github PK Tool

Organizations
microsoft

Gabriela Araujo Britto's repositories

string

Implementation of exact and approximate string matching algorithms

Language:C++Stargazers:3Issues:2Issues:0

DefinitelyTyped

The repository for high quality TypeScript type definitions.

Language:TypeScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

pi-forall

A demo implementation of a simple dependently-typed language

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

TAES

Coq definitions and proofs for a tiny subset of CSP (communicating sequential processes)

Language:CoqStargazers:0Issues:1Issues:0

tsdolly

A TypeScript program generator based on Alloy

Language:TypeScriptStargazers:0Issues:2Issues:0

typescript-benchmarking

Infrastructure for TypeScript's benchmarking system

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0

typescript-notes

High-level notes about TypeScript

Stargazers:0Issues:0Issues:0

vscode

Visual Studio Code

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0