Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / kmyk-jikka/Jikka issues and pull requests
#242 - docs: Update docs/how-it-works.pdf
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#241 - Derive rerooting from a naive tree DP
Issue -
State: open - Opened by kmyk almost 3 years ago
Labels: enhancement
#240 - chore: v5.6.0.0
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#239 - Use the same name in generated code when scopes of variables are distinct
Issue -
State: open - Opened by kmyk almost 3 years ago
Labels: enhancement, good first issue
#238 - feat(cxx): Use `i` for variable names for for-loops of range(n)
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#237 - Fix bugs of Jikka.RestrictedPython.Convert.ToCore
Pull Request -
State: closed - Opened by zer0-star almost 3 years ago
#236 - ci: Reduce time limits for executions of naive soluitons
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#235 - chore: Update about linters for Haskell
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#234 - ci: Use clang++ in CI on macOS
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#233 - refactor(rpython): Put name hints to names of restricted Python
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#232 - refactor: Use (string, int) for names instead of just a string
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#231 - refactor: Add a module for eta-conversions
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#230 - docs: Translate docs/DESIGN.ja.md to English
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#229 - I don't speak Japanese :'(
Issue -
State: open - Opened by huynhtrankhanh almost 3 years ago
- 4 comments
Labels: documentation
#228 - Print suggestions about failed but near-successful rewrite rules
Issue -
State: open - Opened by kmyk almost 3 years ago
Labels: enhancement
#227 - Print logs of conversions
Issue -
State: open - Opened by kmyk almost 3 years ago
Labels: enhancement
#226 - Language Server Protocol
Issue -
State: open - Opened by kmyk almost 3 years ago
Labels: enhancement
#225 - Allow Python as output
Issue -
State: closed - Opened by kmyk almost 3 years ago
Labels: enhancement
#224 - docs: Fix README.md
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#223 - docs: Add docs/internal.md
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#222 - Internal Error on `sum(sorted(map(lambda x: x + 1, xs)))`
Issue -
State: closed - Opened by kmyk almost 3 years ago
- 3 comments
Labels: bug
#221 - test: Delete examples/sum.py in favor of sum-ax-plus-b of Jikka Judge
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#220 - Use std::set instead of std::vector when it improves time complexity
Issue -
State: open - Opened by kmyk almost 3 years ago
Labels: enhancement
#219 - Support SQL
Issue -
State: open - Opened by kmyk almost 3 years ago
Labels: enhancement
#218 - Reduce about `product` fucntion
Issue -
State: open - Opened by kmyk almost 3 years ago
- 4 comments
Labels: good first issue
#217 - test: Add examples/sum_sum_mult.py
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#216 - docs: Fix CHANGELOG.md
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#215 - docs: Add a checkbox "Embed Original Code" to the playground
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#214 - chore: v5.5.0.0
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#213 - \sum_{i<n} \sum_{j>i} |a_i-a_j| を解けるようにする
Issue -
State: open - Opened by kmyk almost 3 years ago
- 1 comment
Labels: good first issue
#212 - builtin 関数をもっと簡単に足せるようにする
Issue -
State: open - Opened by kmyk almost 3 years ago
#211 - refactor: Refactor around alpha conversion
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#210 - feat(core): Reduce `\sum \sum |a_i - a_j|`
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#209 - docs: Add links to GitHub repository from the Playground and Gallery
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#208 - modint 型を使う
Issue -
State: open - Opened by kmyk almost 3 years ago
#207 - test: Use sum-sum-square for testing
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#206 - docs: Add "Bundle Runtime" checkbox to Jikka Playground
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#205 - fix(cxx): Always add int64 suffix to int64 literals
Pull Request -
State: closed - Opened by riantkb almost 3 years ago
- 2 comments
#204 - test: Use test cases of Library Checker
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#203 - docs: Use examples/wip/tle/ directory for TLE solutions
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#202 - ∑∑(aᵢ−aⱼ) で WA が出る
Issue -
State: closed - Opened by kmyk almost 3 years ago
- 3 comments
Labels: bug
#201 - docs: Add "Choose Example" button to Playground
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#200 - docs: Update words in README.md
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#199 - ci: Speed up .github/workflows/docs.yml with removing Template Haskell
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#198 - docs: Add a playground
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#197 - feat(core): Use assertions for optimization
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#196 - Multipoint Evaluation
Issue -
State: open - Opened by kmyk almost 3 years ago
Labels: enhancement
#195 - Bostan-Mori
Issue -
State: open - Opened by kmyk almost 3 years ago
Labels: enhancement
#194 - Support counting strings using regex
Issue -
State: open - Opened by kmyk almost 3 years ago
Labels: enhancement
#193 - chore: v5.4.0.0
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#192 - feat(core): Update about modulo
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#191 - refactor: Use quasi quotes
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#190 - test: Use abc200_b
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#189 - feat(core): Propagate mod over foldl
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#188 - fix(core): Remove traceShow for debugging
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#187 - test: Add unit tests
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#186 - 外側で取った mod がきちんと伝播してくれない
Issue -
State: closed - Opened by kmyk almost 3 years ago
Labels: bug
#185 - fix: Fix version field of Jikka.cabal
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#184 - test: Add yukicoder 1649 to examples/wip/
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#183 - chore: v5.3.0.0
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#182 - Allow str types
Issue -
State: open - Opened by kmyk almost 3 years ago
Labels: enhancement
#181 - test: Add unit tests
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#180 - docs: Update and add documents about core language
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#179 - Fibonacci 数を求めるコードで内側で mod を取ると行列累乗してくれない
Issue -
State: open - Opened by kmyk almost 3 years ago
#178 - mod がうまく伝播しない場合がある
Issue -
State: closed - Opened by kmyk almost 3 years ago
Labels: bug
#177 - Haskell から C++ への変換時のロスをなくす
Issue -
State: closed - Opened by kmyk almost 3 years ago
- 2 comments
#176 - chore: v5.2.0.0
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
- 1 comment
#175 - chore: Merge #163
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#174 - chore: Avoid using `#include <bits/stdc++.h>`
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#173 - forループの最適化の結果、`%` `//` が単に除去されることがある
Issue -
State: closed - Opened by uta8a almost 3 years ago
Labels: bug
#172 - core 言語と Haskell との互換性を上げる
Issue -
State: closed - Opened by kmyk almost 3 years ago
#171 - Fix scripts/pre-commit
Pull Request -
State: closed - Opened by uta8a almost 3 years ago
- 1 comment
#170 - test: move some examples in `examples/wip` to `examples`
Pull Request -
State: closed - Opened by uta8a almost 3 years ago
#169 - chore: Print workflow commands `error::` in scripts/integration_tests.py
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#168 - fix(cxx): Fix a bug of MoveSemantics
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
- 3 comments
#167 - WIP: feat(cxx): Add C++ parser
Pull Request -
State: closed - Opened by kmyk almost 3 years ago
#166 - Fix filename in scripts/add_test_cases.py
Pull Request -
State: closed - Opened by uta8a almost 3 years ago
#165 - fix(cxx): Use temporary variables when unpacking tuples
Pull Request -
State: closed - Opened by riantkb almost 3 years ago
#164 - 連続部分列の比較を高速に行う
Issue -
State: open - Opened by hotman78 almost 3 years ago
Labels: enhancement
#163 - feat(core): add gcd/lcm Semigroup to segment tree
Pull Request -
State: closed - Opened by hotman78 almost 3 years ago
- 2 comments
#162 - Make segment trees used in `point_add_range_sum.py`
Issue -
State: open - Opened by hotman78 almost 3 years ago
- 1 comment
Labels: good first issue
#158 - 既存の古い rewrite rules を新形式で書き直す
Issue -
State: closed - Opened by kmyk almost 3 years ago
Labels: good first issue
#154 - copy を move に直す際にやりすぎてる
Issue -
State: closed - Opened by kmyk almost 3 years ago
- 4 comments
Labels: bug
#153 - 最適化がかからないように書いたフィボナッチが正しくないコードに変換される
Issue -
State: closed - Opened by riantkb almost 3 years ago
- 11 comments
Labels: bug
#152 - セグメント木や累積和に GCD や LCM を載せる
Issue -
State: closed - Opened by kmyk almost 3 years ago
- 3 comments
Labels: enhancement, good first issue
#151 - sparse table / disjoint sparse table
Issue -
State: open - Opened by kmyk almost 3 years ago
Labels: enhancement
#150 - AtCoder ABC 200 - 212 の B 問題を examples/wip/ から examples/ に移す
Issue -
State: closed - Opened by kmyk almost 3 years ago
- 6 comments
Labels: bug, good first issue
#147 - Trailing newlines are not fixed by the formatter
Issue -
State: closed - Opened by kmyk almost 3 years ago
- 2 comments
Labels: good first issue
#144 - 等式や不等式を解くやつをもっとかしこくする
Issue -
State: closed - Opened by kmyk almost 3 years ago
Labels: good first issue
#141 - Collect examples
Issue -
State: open - Opened by kmyk almost 3 years ago
- 1 comment
Labels: good first issue
#139 - quasi quote についてのドキュメントを足す
Issue -
State: closed - Opened by kmyk almost 3 years ago
Labels: documentation
#123 - Allow C++ as an input language
Issue -
State: open - Opened by kmyk almost 3 years ago
Labels: enhancement
#121 - Binary Indexed Tree (Fenwick Tree)
Issue -
State: open - Opened by kmyk almost 3 years ago
#120 - Segment Trees with Lazy Propagation
Issue -
State: open - Opened by kmyk almost 3 years ago
Labels: enhancement
#119 - Dual Segment Tree
Issue -
State: open - Opened by kmyk almost 3 years ago
Labels: enhancement
#87 - Use affine types internally
Issue -
State: open - Opened by kmyk almost 3 years ago
#81 - Slope Trick
Issue -
State: open - Opened by kmyk almost 3 years ago
- 3 comments
Labels: enhancement
#72 - Erase if-exprs in loops
Issue -
State: open - Opened by kmyk almost 3 years ago
- 2 comments
Labels: help wanted
#55 - Convert recursions to loops
Issue -
State: open - Opened by kmyk almost 3 years ago
Labels: enhancement
#53 - Report the time complexity
Issue -
State: open - Opened by kmyk almost 3 years ago
- 1 comment