David Justo
davidmrdavid
Didn't you hear the news? Well typed programs, don't go wrong
Languages
Repos
49
Stars
1
Forks
0
Top Language
C++
Loading contributions...
Top Repositories
A binary static analysis tool that provides security and correctness results for Windows Portable Executable and *nix ELF binary formats
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
MSVC's implementation of the C++ Standard Library.
A Truffle DSL for algebraic rewrites to speed up linear algebra algorithms
Repositories
49A binary static analysis tool that provides security and correctness results for Windows Portable Executable and *nix ELF binary formats
No description provided.
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
MSVC's implementation of the C++ Standard Library.
A Truffle DSL for algebraic rewrites to speed up linear algebra algorithms
A C++ Inversion of Control Framework
Apparently this is my GitHub profile banner
The Java sample code for Microsoft Azure Functions
The source for REST API specifications for Microsoft Azure.
Azure Python SDK documentation, hosted on docs.microsoft.com.
Starter project and instructions for the DF PowerShell bug bash
Default Community Health Files for the Azure organization on GitHub
Azure Functions extension for VS Code
No description provided.
Cloud Native application framework for .NET
The host/runtime that powers Azure Functions
No description provided.
Durable Task Framework extension for Azure Functions
No description provided.
No description provided.
Test repository
An analysis tool for Python that blurs the line between testing and type systems.
A Python 3 implementation built on GraalVM
The Python programming language
Open source documentation of Microsoft Azure
project-team-7 created by GitHub Classroom
GraalVM: Run Programs Faster Anywhere :rocket:
No description provided.
A high-performance implementation of the R programming language, built on GraalVM.
Replication Package for "Studying the Difference Between Natural and Programming Language Corpora"