Skip to content
View gabrielsr's full-sized avatar

Highlights

  • Pro

Organizations

@ecsb

Block or report gabrielsr

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.

Content in all repositories owned by your account will be closed.
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

Starred repositories

Showing results

Ministack: Free, open-source local AWS emulator - 60+ services, Terraform compatible, real databases. Free forever. MIT licensed.

Python 4,937 496 Updated Oct 11, 2026

A curated list of Claude Skills.

10,239 1,704 Updated Sep 21, 2026

Open-source AI job search agent and job finder: scan job boards, score each job 1-5 against your CV before you apply, tailor an ATS-friendly resume and cover letter, get interview prep and a job ap…

JavaScript 74,131 13,904 Updated Oct 12, 2026

a language for building system dynamic models

Go 171 6 Updated Oct 12, 2026

Sim is the collaborative workspace to build, deploy, and monitor AI agents and workflows. Used by 100,000+ builders.

TypeScript 29,809 3,851 Updated Oct 12, 2026

Ray is an AI compute engine. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.

Python 44,008 8,129 Updated Oct 12, 2026

🌀 Pykka makes it easier to build concurrent Python applications.

Python 1,337 113 Updated Oct 10, 2026

Python Actor concurrency library

Python 194 25 Updated Mar 12, 2025
Python 29 2 Updated Jan 18, 2023

A Zsh theme

Shell 55,236 2,448 Updated Sep 14, 2026

general purpose extensions to golang's database/sql

Go 17,744 1,120 Updated Aug 15, 2024

PostgreSQL driver and toolkit for Go

Go 14,321 1,136 Updated Oct 11, 2026

Go/Echo+Templ+Htmx: Full stack application using Golang's Echo framework & Templ templating language with user session management + CRUD to a SQLite database (To Do List) and HTMX in the frontend

Go 298 34 Updated Jun 19, 2024

Example CRUD app written in Go + HTMX + Tailwind CSS

CSS 322 43 Updated Sep 20, 2024

Macro-oriented asynchronous web-framework written in Nim with ♥

Nim 666 22 Updated Jun 3, 2026

A collection of TLA⁺ specifications of varying complexities.

TLA 1,584 226 Updated Oct 3, 2026

Multi-dimensional arrays (tensors) and numerical definitions for Elixir

Elixir 2,910 234 Updated Oct 12, 2026

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

TypeScript 1,826 150 Updated Oct 10, 2026

APALACHE: symbolic model checker for TLA+ and Quint

Scala 607 55 Updated Oct 12, 2026

2-D shape collision detection library in Elixir

Elixir 9 Updated Sep 14, 2016

maxGraph is a fully client side JavaScript diagramming library

TypeScript 1,148 203 Updated Oct 12, 2026
HTML 1 1 Updated Jun 26, 2023

A sandbox for Elixir

Elixir 38 1 Updated Dec 6, 2020

ReactiveX for Elixir

Elixir 4 Updated Dec 16, 2018

Reactive programming for ROS

C++ 49 6 Updated Sep 22, 2020

Functional Programming extensions to C++ for ROS projects.

C++ 5 7 Updated Jul 11, 2022
Python 1 1 Updated May 30, 2023

A 3D and 2D game engine for Python

Python 2,593 356 Updated Sep 27, 2026

Tagged unions for Elixir. Just that.

Elixir 43 1 Updated Apr 18, 2024

Common combinators for Elixir

Elixir 322 15 Updated Jun 22, 2022
Next