gabrielsr
A software engineer with a passion for all things related to engineering, coding, computer science, and learning about new domains.
@lesunb Brasilia
gabrielsr's Stars
romkatv/powerlevel10k
A Zsh theme
jmoiron/sqlx
general purpose extensions to golang's database/sql
jackc/pgx
PostgreSQL driver and toolkit for Go
elixir-nx/nx
Multi-dimensional arrays (tensors) and numerical definitions for Elixir
miguelgrinberg/Flask-Migrate
SQLAlchemy database migrations for Flask applications using Alembic
pokepetter/ursina
A game engine powered by python and panda3d.
tlaplus/Examples
A collection of TLA⁺ specifications of varying complexities
witchcrafters/witchcraft
Monads and other dark magic for Elixir
maxGraph/maxGraph
maxGraph is a fully client side JavaScript diagramming library
informalsystems/quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
HapticX/happyx
Macro-oriented asynchronous web-framework written in Nim with ♥
informalsystems/apalache
APALACHE: symbolic model checker for TLA+ and Quint
witchcrafters/quark
Common combinators for Elixir
jritsema/go-htmx-tailwind-example
Example CRUD app written in Go + HTMX + Tailwind CSS
emarifer/go-echo-templ-htmx
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
witchcrafters/type_class
(Semi-)principled type classes for Elixir
rclex/rclex
Rclex: ROS 2 Client Library for Elixir
pylon/extensor
Tensorflow bindings for inference in Elixir
rosin-project/rxros
Reactive programming for ROS
alexocode/ex_union
Tagged unions for Elixir. Just that.
bopjesvla/sand
A sandbox for Elixir
lesunb/HMRSsim
Simulator for research in Heterogeneous Multi-Robots Environment. The intention is to provide extensible, lightweight, portable, low fidelity, visualizable simulations for testing task allocation approaches in a heterogeneous, multi-robot environment. The priority is to provide the researcher with the capability to easily implement new maps by importing 2D draws from draw.io.
IdahoEv/collidex
2-D shape collision detection library in Elixir
tylerjw/fp
Functional Programming extensions to C++ for ROS projects.
oseias-romeiro/flask_template
Basic Flask template
scouten-archive/rx
ReactiveX for Elixir
cadevu/attendance
JPOverclock/advanced-elixir-and-otp-examples
Advanced Elixir & OTP Course Examples
oseias-romeiro/ePresence
Projeto de Engenharia de Software: Proposta de solução para uma versão eletrônica e colaborativa/descentralizada da chamada de presença.
zeroCass/chamada-saas