Javier Garea's Projects
Extendable version manager with support for Ruby, Node.js, Elixir, Erlang & more
Texlive plugin for the asdf version manager
The MongoDB Documentation Project Source.
🧠 A solver for epistemic logic programs.
Slack real time messaging and web API client in Elixir
firmware for the ergoDOX keyboard
ExDoc produces HTML and EPUB documentation for Elixir projects
A Haskell to Coq compiler that represents effectful programs with the free monad
A Gradual type system for Erlang
:mag_right: Inquiry is a search engine of electronic preprints.
Like Prometheus, but for logs.
HTML lexer for Makeup
OpenTelemetry Erlang SDK
Specifications for OpenTelemetry
FORKED FROM https://bitbucket.org/cabrero/practicas-as
:bar_chart: A metropolis-based LaTeX theme for beamer.
LAN discovery and presence in Erlang.
Guarantee flawless API functionality with thorough, high-quality test scenarios generated from your API specification.
Set up your BEAM-based GitHub Actions workflow (Erlang, Elixir, Gleam, ...)
:vertical_traffic_light: Traffic accidents analysis using Apache Spark and Google Colab.