8000 lcastelli (Lorenzo Castelli) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View lcastelli's full-sized avatar
20 followers · 0 following

Achievements

Achievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Pull SharkAchievement: Starstruck

Achievements

Achievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Pull SharkAchievement: Starstruck

Block or report lcastelli

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Stars

< 8000 div data-view-component="true" class="FormControl-horizontalGroup">
Showing results

leanprover-community / mathlib4

The math library of Lean 4

Lean 2,065 497 Updated Jun 15, 2025

leanprover / lean4

Lean 4 programming language and theorem prover

Lean 5,756 594 Updated Jun 15, 2025

capnproto / capnproto

Cap'n Proto serialization/RPC system - core tools and C++ library

C++ 12,231 963 Updated Jun 15, 2025

lcastelli / chdb

A fast read-only memory mapped hash-table for PHP

C 57 9 Updated Apr 7, 2013

toymachine / libredis

A C based general low-level PHP extension and client library for Redis, focusing on performance, generality and efficient parallel communication with multiple Redis servers. As a bonus, a Ketama Co…

C 70 21 Updated Jun 21, 2013

facebook / hhvm

A virtual machine for executing programs written in Hack.

C++ 18,405 3,039 Updated Jun 15, 2025

predis / predis

A flexible and feature-complete Redis/Valkey client for PHP.

PHP 7,688 994 Updated Jun 13, 2025
0