- Rome, Italy
-
12:03
- 1h ahead - giulio.space
- @giuuliorusso
Highlights
- Pro
Starred repositories
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
Skia is a complete 2D graphic library for drawing Text, Geometries, and Images.
Jane Street Capital's standard library overlay
Compiler for Elm, a functional language for reliable webapps.
Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs,…
An Open Source Machine Learning Framework for Everyone
Elixir is a dynamic, functional language for building scalable and maintainable applications
Commonly used sequence and collection algorithms for Swift
ShellCheck, a static analysis tool for shell scripts
An extremely fast Python linter and code formatter, written in Rust.
Source code for Twitter's Recommendation Algorithm
C++ Library Manager for Windows, Linux, and MacOS
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
💥 A Lodash-style Go library based on Go 1.18+ Generics (map, filter, contains, find...)
A Zig language server supporting Zig developers with features like autocomplete and goto definition
A new markup-based typesetting system that is powerful and easy to learn.
Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.