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 24.6k 3.4k

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

   1

   ### 背景

   2

   3

   - 個人事業主

   4

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

   5

   - 28 歳

4. deadtrickster/prometheus-cowboy deadtrickster/prometheus-cowboy Public

   Expose Prometheus metrics using cowboy/cowboy2

   Erlang 21 20