Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / exercism/idris issues and pull requests

#188 - 🤖 Sync org-wide files to upstream repo

Pull Request - State: closed - Opened by exercism-bot 2 months ago

#187 - ci(dependabot): change to monthly interval

Pull Request - State: closed - Opened by ErikSchierboom 2 months ago
Labels: x:size/tiny

#186 - Fix flatten-array compile error

Pull Request - State: open - Opened by keiravillekode 3 months ago - 1 comment

#185 - Add isbn-verifier

Pull Request - State: open - Opened by keiravillekode 3 months ago

#184 - Ukranian => Ukrainian

Pull Request - State: open - Opened by keiravillekode 3 months ago - 1 comment

#183 - Use locally cached problem spec data

Pull Request - State: closed - Opened by keiravillekode 3 months ago

#182 - Add flatten-array

Pull Request - State: closed - Opened by keiravillekode 3 months ago - 1 comment

#181 - Add luhn

Pull Request - State: closed - Opened by keiravillekode 3 months ago

#180 - Add resistor-color-trio

Pull Request - State: closed - Opened by keiravillekode 3 months ago

#179 - Add knapsack

Pull Request - State: closed - Opened by keiravillekode 3 months ago

#178 - Robot simulator

Pull Request - State: closed - Opened by keiravillekode 3 months ago

#177 - exercises/practice/grains/src/Grains.idr

Issue - State: open - Opened by isberg 3 months ago

#176 - Add secret-handshake

Pull Request - State: closed - Opened by keiravillekode 3 months ago

#175 - Add pascals-triangle exercise

Issue - State: open - Opened by keiravillekode 3 months ago

#174 - Add list-ops exercise

Issue - State: open - Opened by keiravillekode 3 months ago

#173 - Add kindergarten-garden exercise

Issue - State: open - Opened by keiravillekode 3 months ago

#172 - Add nucleotide-count exercise

Issue - State: open - Opened by keiravillekode 3 months ago

#171 - Add all-your-base

Pull Request - State: closed - Opened by keiravillekode 3 months ago

#170 - Sync and re-implement hamming

Pull Request - State: closed - Opened by keiravillekode 3 months ago - 1 comment

#169 - Sync and re-implement rna-transcription

Pull Request - State: closed - Opened by keiravillekode 3 months ago

#168 - Sync and re-implement accumulate

Pull Request - State: closed - Opened by keiravillekode 3 months ago

#167 - Armstrong numbers

Pull Request - State: closed - Opened by keiravillekode 3 months ago

#166 - Add resistor-color-duo

Pull Request - State: closed - Opened by keiravillekode 3 months ago

#165 - Add grains

Pull Request - State: closed - Opened by keiravillekode 3 months ago

#164 - Add resistor-color

Pull Request - State: closed - Opened by keiravillekode 3 months ago - 2 comments

#163 - Add zebra-puzzle

Pull Request - State: closed - Opened by keiravillekode 3 months ago

#162 - Add raindrops

Pull Request - State: closed - Opened by keiravillekode 3 months ago

#161 - Add space-age

Pull Request - State: closed - Opened by keiravillekode 3 months ago

#160 - Add pythagorean-triplet

Pull Request - State: closed - Opened by keiravillekode 3 months ago

#159 - Add matching-brackets

Pull Request - State: closed - Opened by keiravillekode 4 months ago - 2 comments

#158 - Add isogram

Pull Request - State: closed - Opened by keiravillekode 4 months ago

#157 - Add pangram

Pull Request - State: closed - Opened by keiravillekode 4 months ago

#156 - Add prime-factors

Pull Request - State: closed - Opened by keiravillekode 4 months ago

#155 - Add darts

Pull Request - State: closed - Opened by keiravillekode 4 months ago

#154 - Add rotational-cipher

Pull Request - State: closed - Opened by keiravillekode 4 months ago

#153 - Add scrabble-score

Pull Request - State: closed - Opened by keiravillekode 4 months ago

#152 - Add difference-of-squares

Pull Request - State: closed - Opened by keiravillekode 4 months ago

#151 - Add collatz-conjecture

Pull Request - State: closed - Opened by keiravillekode 4 months ago

#150 - Add two-fer

Pull Request - State: closed - Opened by keiravillekode 4 months ago

#149 - Add square-root

Pull Request - State: closed - Opened by keiravillekode 4 months ago

#148 - Sync hello-world

Pull Request - State: closed - Opened by keiravillekode 4 months ago - 1 comment

#147 - Regenerate tests

Pull Request - State: closed - Opened by keiravillekode 4 months ago - 1 comment

#146 - Simple test generator

Pull Request - State: closed - Opened by keiravillekode 4 months ago - 2 comments

#145 - refactor bin/create-exercise.sh

Pull Request - State: closed - Opened by keiravillekode 4 months ago

#144 - Enable test runner

Pull Request - State: closed - Opened by isberg 4 months ago

#143 - Add bob

Pull Request - State: closed - Opened by keiravillekode 4 months ago - 3 comments

#142 - Add micro-blog

Pull Request - State: closed - Opened by keiravillekode 4 months ago

#141 - Add reverse-string

Pull Request - State: closed - Opened by keiravillekode 4 months ago

#140 - Add eliuds-eggs

Pull Request - State: closed - Opened by keiravillekode 4 months ago

#139 - bin/create-exercise.sh

Pull Request - State: closed - Opened by keiravillekode 4 months ago - 3 comments

#138 - Align rna-transcription with canonical-data

Pull Request - State: closed - Opened by isberg 4 months ago

#137 - Align rna transcription with canonical data

Pull Request - State: closed - Opened by isberg 4 months ago - 2 comments

#136 - Align leap tests with canonical-data

Pull Request - State: closed - Opened by isberg 4 months ago - 1 comment

#135 - 🤖 Sync org-wide files to upstream repo

Pull Request - State: closed - Opened by exercism-bot 4 months ago

#134 - Migrate to idris2

Pull Request - State: closed - Opened by isberg 4 months ago - 2 comments

#133 - Migrate existing exercises to idris2

Pull Request - State: closed - Opened by isberg 4 months ago - 4 comments

#132 - Add resource: Type-Driven Development with Idris

Pull Request - State: closed - Opened by keiravillekode 4 months ago

#131 - Add tags

Pull Request - State: closed - Opened by keiravillekode 4 months ago - 1 comment

#130 - 🤖 Sync org-wide files to upstream repo

Pull Request - State: closed - Opened by exercism-bot 6 months ago

#129 - 🤖 Sync org-wide files to upstream repo

Pull Request - State: closed - Opened by exercism-bot 6 months ago - 1 comment

#128 - 🤖 Sync org-wide files to upstream repo

Pull Request - State: closed - Opened by exercism-bot 7 months ago - 1 comment

#127 - 🤖 Sync org-wide files to upstream repo

Pull Request - State: closed - Opened by exercism-bot 8 months ago

#126 - Move from Travis to GitHub Actions

Issue - State: open - Opened by ErikSchierboom 9 months ago - 3 comments
Labels: initial

#125 - Launch tracking

Issue - State: open - Opened by ErikSchierboom 9 months ago
Labels: initial

#124 - 🤖 Sync org-wide files to upstream repo

Pull Request - State: closed - Opened by exercism-bot 9 months ago

#123 - 🤖 Sync org-wide files to upstream repo

Pull Request - State: closed - Opened by exercism-bot 9 months ago - 1 comment

#122 - 🤖 Sync org-wide files to upstream repo

Pull Request - State: closed - Opened by exercism-bot 9 months ago - 1 comment

#121 - leap: sync

Pull Request - State: closed - Opened by ErikSchierboom 10 months ago
Labels: x:size/tiny

#120 - Sync rna-transcription docs with problem-specifications

Pull Request - State: closed - Opened by kytrinyx over 1 year ago

#119 - Add custom token to community contributions workflow

Pull Request - State: closed - Opened by kytrinyx almost 2 years ago

#118 - Reformat exercise config files

Pull Request - State: closed - Opened by kytrinyx almost 2 years ago

#117 - Create autoresponder for pausing community contributions

Pull Request - State: closed - Opened by kytrinyx almost 2 years ago

#116 - 🤖 Sync org-wide files to upstream repo

Pull Request - State: closed - Opened by exercism-bot almost 2 years ago

#115 - Update the README to reflect current status

Pull Request - State: closed - Opened by kytrinyx almost 2 years ago

#114 - Add language blurb

Pull Request - State: closed - Opened by kerolloz about 2 years ago - 1 comment

#113 - 🤖 Sync org-wide files to upstream repo

Pull Request - State: closed - Opened by exercism-bot over 2 years ago

#112 - 🤖 Sync org-wide files to upstream repo

Pull Request - State: closed - Opened by exercism-bot over 2 years ago

#111 - 🤖 Sync org-wide files to upstream repo

Pull Request - State: closed - Opened by exercism-bot over 2 years ago

#110 - 🤖 Sync org-wide files to upstream repo

Pull Request - State: closed - Opened by exercism-bot over 2 years ago

#109 - Bump actions/checkout from 2.4.0 to 3

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago

#108 - Bump actions/checkout from 2.3.5 to 2.4.0

Pull Request - State: closed - Opened by dependabot[bot] about 3 years ago

#107 - 🤖 Remove obsolete `maintainers.json` file

Pull Request - State: closed - Opened by ErikSchierboom about 3 years ago
Labels: x:size/tiny

#106 - Bump actions/checkout from 2.3.4 to 2.3.5

Pull Request - State: closed - Opened by dependabot[bot] about 3 years ago

#105 - 🤖 Sync org-wide files to upstream repo

Pull Request - State: closed - Opened by exercism-bot about 3 years ago

#104 - 🤖 Sync org-wide files to upstream repo

Pull Request - State: closed - Opened by exercism-bot about 3 years ago

#103 - 🤖 Sync org-wide files to upstream repo

Pull Request - State: closed - Opened by exercism-bot about 3 years ago

#102 - Fix CI

Issue - State: closed - Opened by ErikSchierboom about 3 years ago
Labels: x:action/fix, x:knowledge/intermediate, x:type/ci, x:size/medium, paused

#101 - Check docs are up to date

Issue - State: closed - Opened by ErikSchierboom about 3 years ago
Labels: x:action/improve, x:knowledge/none, x:type/content, x:size/small, paused

#100 - Build representer

Issue - State: closed - Opened by ErikSchierboom about 3 years ago
Labels: x:action/create, x:knowledge/advanced, x:module/representer, x:type/coding, x:size/massive, paused

#99 - Extract track-specific test instructions from `config/exercise_readme.go.tmpl`

Issue - State: closed - Opened by ErikSchierboom over 3 years ago
Labels: x:action/improve, x:knowledge/elementary, x:type/docs, x:size/tiny, paused

#98 - Extract track-specific help instructions from `config/exercise_readme.go.tmpl`

Issue - State: closed - Opened by ErikSchierboom over 3 years ago
Labels: x:action/improve, x:knowledge/elementary, x:type/docs, x:size/tiny, paused

#97 - 🤖 Sync org-wide files to upstream repo

Pull Request - State: closed - Opened by exercism-bot over 3 years ago

#96 - 🤖 Simplify `hello-world` stub

Pull Request - State: closed - Opened by ErikSchierboom over 3 years ago
Labels: v3-migration 🤖, x:size/tiny

#95 - 🤖 Sync org-wide files to upstream repo

Pull Request - State: closed - Opened by exercism-bot over 3 years ago

#94 - 🤖 Sync error for commit a955c6

Issue - State: closed - Opened by exercism-bot over 3 years ago

#93 - 🤖 Update labels

Pull Request - State: closed - Opened by ErikSchierboom over 3 years ago
Labels: v3-migration 🤖, x:size/tiny

#92 - 🤖 Sync org-wide files to upstream repo

Pull Request - State: closed - Opened by exercism-bot over 3 years ago

#91 - 🤖 Sync org-wide files to upstream repo

Pull Request - State: closed - Opened by exercism-bot over 3 years ago

#90 - 🤖 Add labels append file

Pull Request - State: closed - Opened by ErikSchierboom over 3 years ago
Labels: v3-migration 🤖, x:size/tiny

#89 - 🤖 Remove `online_editor.ace_editor_language` key

Pull Request - State: closed - Opened by ErikSchierboom over 3 years ago
Labels: v3-migration 🤖, x:size/tiny