Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View Annopaolo's full-sized avatar

Block or report Annopaolo

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

The P programming language.

C# 3,458 205 Updated Sep 30, 2025
Elixir 3 3 Updated Mar 6, 2025
Python 2 3 Updated Aug 26, 2025

Push-Button End-to-End Testing of Kubernetes Operators and Controllers

Python 128 48 Updated Aug 26, 2025

⭐️ A friendly language for building type-safe, scalable systems!

Rust 20,558 884 Updated Nov 1, 2025
Elixir 4 1 Updated Feb 6, 2024

A distributed MQTT message broker based on Erlang/OTP. Built for high quality & Industrial use cases. The VerneMQ mission is active & the project maintained. Thank you for your support!

Erlang 3,450 416 Updated Oct 31, 2025

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

C 911 65 Updated Mar 27, 2025

A modern proof language

Haskell 3,702 146 Updated Jan 22, 2025

A massively parallel, optimal functional runtime in Rust

Cuda 11,144 428 Updated Nov 21, 2024

A Proof-oriented Programming Language

F* 2,912 243 Updated Oct 31, 2025

A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.

Erlang 3,928 258 Updated Oct 16, 2025

The Elixir based Kubernetes Development Framework

Elixir 410 30 Updated Oct 27, 2025

Find vulnerabilities, misconfigurations, secrets, SBOM in containers, Kubernetes, code repositories, clouds and more

Go 29,641 2,802 Updated Nov 1, 2025

Astarte Kubernetes Operator

Go 22 11 Updated Oct 1, 2025

Simple repo containing solutions of the 2021 advent of code using the Haskell programming language

Haskell 1 2 Updated Dec 14, 2021

Core Astarte Repository

Elixir 261 57 Updated Oct 31, 2025

Refinement types in Ruby

Ruby 4 Updated Aug 14, 2014

The Jolie programming language

Java 550 53 Updated Oct 23, 2025

AIOCJ development framework

Java 7 2 Updated Apr 28, 2022