Pinned Loading

1. InferAgda InferAgda Public

   Agda 9 2

2. elixir-lang/elixir elixir-lang/elixir Public

   Elixir is a dynamic, functional language for building scalable and maintainable applications

   Elixir 26k 3.5k

3. 作業環境2020.md 作業環境2020.md

   1

   ### 背景

   2

   3

   - 個人事業主

   4

      - うち二年ほど在宅ワーク

   5

   - 28 歳

4. prometheus-erl/prometheus-cowboy prometheus-erl/prometheus-cowboy Public

   Expose Prometheus metrics using cowboy/cowboy2

   Erlang 21 22