Starred repositories
Dafny is a verification-aware programming language
Microsoft BASIC for 6502 Microprocessor - Version 1.1
Pulumi - Infrastructure as Code in any programming language 🚀
Open-source infrastructure for Computer-Use Agents. Sandboxes, SDKs, and benchmarks to train and evaluate AI agents that can control full desktops (macOS, Linux, Windows).
CoseSignTool is a platform-agnostic command line application to COSE sign files and validate COSE signatures. CoseHandler is a library of functions for COSE signing and validation for use by .NET a…
A list of remote-friendly or full-remote companies that targets Italian talents.
The source code for the Cfx.re modification frameworks, such as FiveM, RedM and LibertyM, as well as FXServer.
A C++ interpreter for the OPA policy language Rego
Supply Chain Integrity Transparency and Trust ledger application using Confidential Consortium Framework (CCF)
Docker + Node = Dockerode (Node.js module for Docker's Remote API)
Italian tech communities (telegram groups, podcasts, Yt channels, other)
Source code for the X Recommendation Algorithm
DID Method for the Confidential Consortium Framework (CCF)
The source for REST API specifications for Microsoft Azure.
The Service Bus Explorer allows users to connect to a Service Bus namespace and administer messaging entities in an easy manner. The tool provides advanced features like import/export functionality…
🏡 Open source home automation that puts local control and privacy first.
Microsoft PowerToys is a collection of utilities that help you customize Windows and streamline everyday tasks
The new Windows Terminal and the original Windows console host, all in the same place!
A Terminal Emulator based on UWP and web technologies.
This reference architecture walks you through the decision-making process involved in designing, developing, and delivering a serverless application using a microservices architecture through hands…