rodrigocitadin
Follow
Starred repositories
An actor-based Framework with network transparency for creating event-driven architecture in Golang. Inspired by Erlang. Zero dependencies.
A Go implementation of the 64-bit xxHash algorithm (XXH64)
A workbench for writing toy implementations of distributed systems.
Lambda Calculus parser and interpreter made in TypeScript's type system
Solutions for the Distributed System Challenges from Fly.io and Kyle Kingsbury
Database migrations. CLI and Golang library.
Package gorilla/websocket is a fast, well-tested and widely used WebSocket implementation for Go.
An idiomatic Go (golang) validation package. Supports configurable and extensible validation rules (validators) using normal language constructs instead of error-prone struct tags.
Simple, configurable, terminal-based OCPP Charging Station simulator written in Node.js with Schema validation
Open Charge Point Protocol implementation in Go
A server-side rendering component library for Phoenix
A starting point to setup some lsp related features in neovim.
Portable package manager for Neovim that runs everywhere Neovim runs. Easily install and manage LSP servers, DAP servers, linters, and formatters.
📟 A fast, minimal and restrained Hugo theme…
A model checker for implementing distributed systems.
Powerful, pliable pixel perfection. An advanced Hugo theme.
JavaScript/TypeScript-native, low-boilerplate, object-capability RPC system
Standard Go Project Layout
🛡️ ⚛️ A simple, scalable, and powerful architecture for building production ready React applications.
Flyway by Redgate • Database Migrations Made Easy.
Elixir is a dynamic, functional language for building scalable and maintainable applications
A frontend-independent IDE "smartness" server for Elixir. Implements the "Language Server Protocol" standard and provides debugger support via the "Debug Adapter Protocol"
Official Elixir Language Server Protocol implementation
The user home repository for the Mathematics in Lean tutorial.