Skip to content
View carlosahs's full-sized avatar

Block or report carlosahs

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results

A collection of TLA⁺ specifications of varying complexities.

TLA 1,526 217 Updated May 25, 2026
Lean 13 1 Updated Jun 8, 2026

Apache DataFusion SQL Query Engine

Rust 8,894 2,170 Updated Jun 18, 2026

Language Server Protocol implementation for Swift and C-based languages

Swift 3,867 375 Updated Jun 17, 2026

The P programming language.

C# 3,632 219 Updated Jun 18, 2026

Spike, a RISC-V ISA Simulator

C 3,146 1,072 Updated Jun 9, 2026

A graphical processor simulator and assembly editor for the RISC-V ISA

C++ 3,346 364 Updated May 27, 2026

Blazing fast, structured, leveled logging in Go.

Go 24,539 1,522 Updated Apr 28, 2026

Concurrency toolkit for Go

Go 230 10 Updated May 18, 2026

Refactoring and code transformation tool for Go.

Go 1,033 41 Updated Feb 11, 2025

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

Zig 56,684 2,925 Updated Jun 17, 2026

simple terminal UI for git commands

Go 79,428 2,871 Updated Jun 18, 2026

The MongoDB Database

C++ 28,374 5,780 Updated Jun 18, 2026

📓 Lint commit messages

TypeScript 18,611 963 Updated Jun 18, 2026

Open source transactional distributed database. Linear scalability and proven fault-tolerance on commodity hardware or cloud infrastructure without compromising performance.

Java 9,781 3,887 Updated Jun 18, 2026

Secure and fast microVMs for serverless computing.

Rust 35,020 2,447 Updated Jun 18, 2026

remote delta-compression library

C 786 147 Updated Aug 29, 2025

The OpenAPI Specification Repository

Markdown 31,037 9,169 Updated Jun 18, 2026

Kolmogorov Arnold Networks

Jupyter Notebook 16,307 1,567 Updated Jan 19, 2025

Go/gRPC service designed to enable generic rate limit scenarios from different types of applications.

Go 2,663 519 Updated Jun 15, 2026

CoreNet: A library for training deep neural networks

Jupyter Notebook 6,999 541 Updated Oct 9, 2025

DooM in the terminal!

C 859 42 Updated Jul 21, 2025

Learn Rust by writing Entirely Too Many linked lists

Rust 3,576 299 Updated Jul 30, 2024

https://github.com/docker/docker/issues/21142 prototypes

Shell 680 167 Updated Jun 11, 2024

Collection of Docker Compose healthcheck examples. Tested with Docker Compose version 3.8

129 6 Updated Sep 23, 2024

A library for building fast, reliable and evolvable network services.

Rust 26,841 1,667 Updated Jun 4, 2026

Find Inspiration in Design Elements.

JavaScript 306 35 Updated Mar 31, 2025

NeoVim dark colorscheme inspired by the colors of the famous painting by Katsushika Hokusai.

Lua 6,210 230 Updated May 10, 2026

A guide to using Lua in Neovim

5,934 215 Updated Sep 2, 2025

A complete computer science study plan to become a software engineer.

352,927 83,681 Updated Aug 28, 2025
Next