javiergarea

computer scientist and problem solver

@nomasystemsGalicia, Spain

Pinned Repositories

asdf
Extendable version manager with support for Ruby, Node.js, Elixir, Erlang & more
Language:Shell0 0 00
asdf-texlive
Texlive plugin for the asdf version manager
Language:Shell00
inquiry
:mag_right: Inquiry is a search engine of electronic preprints.
Language:HTML1 1 00
loki
Like Prometheus, but for logs.
Language:Go1 0 00
practicas_as
FORKED FROM https://bitbucket.org/cabrero/practicas-as
Language:Erlang12
pug
:bar_chart: A metropolis-based LaTeX theme for beamer.
Language:TeX4 2 00
erf
:pencil: A design-first Erlang REST Framework.
Language:Erlang32 3 352
ndto
:white_check_mark: An Erlang library for DTOs validation.
Language:Erlang24 3 291
restcheck
:mag: An automatic REST API fuzzing tool based on property-based testing techniques.
Language:Erlang13 3 192
eclingo
🧠 A solver for epistemic logic programs.
Language:Python9 3 34

javiergarea's Repositories

javiergarea/pug
:bar_chart: A metropolis-based LaTeX theme for beamer.
Language:TeX4 2 00
javiergarea/inquiry
:mag_right: Inquiry is a search engine of electronic preprints.
Language:HTML1 1 00
javiergarea/loki
Like Prometheus, but for logs.
Language:Go1 0 00
javiergarea/practicas_as
FORKED FROM https://bitbucket.org/cabrero/practicas-as
Language:Erlang12
javiergarea/asdf
Extendable version manager with support for Ruby, Node.js, Elixir, Erlang & more
Language:Shell0 0 00
javiergarea/asdf-texlive
Texlive plugin for the asdf version manager
Language:Shell00
javiergarea/docs
The MongoDB Documentation Project Source.
Language:Java0 1 00
javiergarea/eclingo
🧠 A solver for epistemic logic programs.
Language:Python0 1 00
javiergarea/Elixir-Slack
Slack real time messaging and web API client in Elixir
Language:Elixir1 0
javiergarea/ergodox-firmware
firmware for the ergoDOX keyboard
javiergarea/ex_doc
ExDoc produces HTML and EPUB documentation for Elixir projects
Language:Elixir1 0
javiergarea/free-compiler
A Haskell to Coq compiler that represents effectful programs with the free monad
Language:Haskell
javiergarea/Gradualizer
A Gradual type system for Erlang
Language:Erlang1 0
javiergarea/makeup_html
HTML lexer for Makeup
Language:Elixir0 0
javiergarea/opentelemetry-erlang
OpenTelemetry Erlang SDK
javiergarea/opentelemetry-specification
Specifications for OpenTelemetry
javiergarea/rbeacon
LAN discovery and presence in Erlang.
Language:Erlang1 0
javiergarea/schemathesis
Guarantee flawless API functionality with thorough, high-quality test scenarios generated from your API specification.
javiergarea/setup-beam
Set up your BEAM-based GitHub Actions workflow (Erlang, Elixir, Gleam, ...)
Language:JavaScript
javiergarea/USAccidents
:vertical_traffic_light: Traffic accidents analysis using Apache Spark and Google Colab.
Language:Jupyter Notebook2 0

javiergarea

Pinned Repositories

asdf

asdf-texlive

inquiry

loki

practicas_as

pug

erf

ndto

restcheck

eclingo

javiergarea's Repositories

javiergarea/pug

javiergarea/inquiry

javiergarea/loki

javiergarea/practicas_as

javiergarea/asdf

javiergarea/asdf-texlive

javiergarea/docs

javiergarea/eclingo

javiergarea/Elixir-Slack

javiergarea/ergodox-firmware

javiergarea/ex_doc

javiergarea/free-compiler

javiergarea/Gradualizer

javiergarea/makeup_html

javiergarea/opentelemetry-erlang

javiergarea/opentelemetry-specification

javiergarea/rbeacon

javiergarea/schemathesis

javiergarea/setup-beam

javiergarea/USAccidents