Pinned Repositories
campinas
Experimental delimited continuations library for Elixir using shift / reset
giz
Create gists from the command line and track them with git.
hallux
An implementation of Finger Trees for Elixir
purescript-reactnative-expo-example
A skeleton app to create ReactNative apps for Expor in Purescript.
reflex-skeleton
A skeleton Reflex project with Hpack, Nix and Emacs/HIE/LSP integration
rpw
Cache your sudo / become password in your shell
turma
Command and control some machines
thalesmg's Repositories
thalesmg/hallux
An implementation of Finger Trees for Elixir
thalesmg/turma
Command and control some machines
thalesmg/2pc-alloy
Two phase commit in Alloy
thalesmg/alloy-mode
Emacs major mode for Alloy
thalesmg/aoc
thalesmg/chumak
Pure Erlang implementation of ZeroMQ Message Transport Protocol.
thalesmg/distsys-class
Class materials for a distributed systems lecture series
thalesmg/dummy-emqx-http-auth-server
thalesmg/emqtt-bench
Erlang MQTT v5.0 benchmark tool
thalesmg/emqx-dashboard
EMQ X Dashboard
thalesmg/emqx-lua-hook
EMQ X Lua Hook
thalesmg/emqx-management
EMQ X Management API
thalesmg/erlang-jose
JSON Object Signing and Encryption (JOSE) for Erlang and Elixir
thalesmg/esockd
Erlang general non-blocking TCP/SSL socket server
thalesmg/gccemacs-nix-shell
thalesmg/gen_rpc
A scalable RPC library for Erlang-VM based languages
thalesmg/haxixe
thalesmg/heroku-free-alternatives
Free tier of Heroku Dynos, Postgres and Data for Redis will no longer be available after November 28, 2022. Let's find a list of services with a free plan that developers can use as an alternative to Heroku. Feel free to submit PRs and improve the list.
thalesmg/Iosevka
Versatile typeface for code, from code.
thalesmg/j-advent-of-code-2022
Solutions to Advent of Code 2022 in Lots of Languages
thalesmg/JavaErlang
JavaErlang is a library that attempts to facilitate the communication between Java and Erlang nodes, implemented as an additional layer on top of the JInterface Java interface.
thalesmg/Lee
Model-driven configuration for Erlang and Elixir
thalesmg/masmorra
Game dev exercise, will hopefully become a minimal MUD someday...
thalesmg/pingado
thalesmg/practical-fm
A gently curated list of companies using verification formal methods in industry
thalesmg/propcheck
Property based Testing for Elixir (based upon PropEr)
thalesmg/pulsar-stack-docker-compose
docker compose files to create a fully working pulsar stack
thalesmg/thalesmg.github.io
thalesmg/tls-scripts
scripts to help tls etc
thalesmg/toxiproxy
:alarm_clock: :fire: A TCP proxy to simulate network and system conditions for chaos and resiliency testing