Starred repositories
GitHub notifications on your menu bar. Available on macOS, Windows & Linux.
The highest-scoring AI memory system ever benchmarked. And it's free.
A free multiplayer action game where you control small and nimble humanoids
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.
Developer productivity tools for Claude Code & other AI assistants
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…
Standardization of security reviews for datacenter products
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 and RedM, 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.