Thales Macedo Garitezi (@thalesmg)
github

thalesmg

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    23
  • Global Rank 587,022 (Top 21 %)
  • Followers 34
  • Following 183
  • Registered almost 9 years ago
  • Most used languages
    Elixir
         44.4 %
    Nix
         22.2 %
    Haskell
         11.1 %
    PureScript     11.1 %
    Agda     11.1 %

Top repositories

1

hallux

An implementation of Finger Trees for Elixir
Elixir
7
star
2

reflex-skeleton

A skeleton Reflex project with Hpack, Nix and Emacs/HIE/LSP integration
Nix
7
star
3

purescript-reactnative-expo-example

A skeleton app to create ReactNative apps for Expor in Purescript.
PureScript
2
star
4

rpw

Cache your sudo / become password in your shell
Haskell
1
star
5

campinas

Experimental delimited continuations library for Elixir using shift / reset
Elixir
1
star
6

plfa-book

Programming Languague Foundations in Agda exercises - https://plfa.github.io/
Agda
1
star
7

dist-sys-maelstrom

Fly.io's Gossip Glomers exercises in distributed systems using Maelstrom
Elixir
1
star
8

soldo

Nix
1
star
9

ats-elixir-ffi-example

An extremely minimal example of creating an Erlang/Elixir NIF/FFI in ATS
Elixir
1
star