kmyk-jikka Jikka issues

kmyk-jikka / Jikka

an automated solver for problems of competitive programming

https://kmyk-jikka.github.io/Jikka/playground

Apache License 2.0

152 stars 11 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

docs: Update docs/how-it-works.pdf

#242 kmyk closed 2 years ago
0
Derive rerooting from a naive tree DP

#241 kmyk opened 2 years ago
0
chore: v5.6.0.0

#240 kmyk closed 2 years ago
0
Use the same name in generated code when scopes of variables are distinct

#239 kmyk opened 2 years ago
0
feat(cxx): Use `i` for variable names for for-loops of range(n)

#238 kmyk closed 2 years ago
0
Fix bugs of Jikka.RestrictedPython.Convert.ToCore

#237 zer0-star closed 2 years ago
0
ci: Reduce time limits for executions of naive soluitons

#236 kmyk closed 2 years ago
0
chore: Update about linters for Haskell

#235 kmyk closed 2 years ago
0
ci: Use clang++ in CI on macOS

#234 kmyk closed 2 years ago
0
refactor(rpython): Put name hints to names of restricted Python

#233 kmyk closed 2 years ago
0
refactor: Use (string, int) for names instead of just a string

#232 kmyk closed 2 years ago
0
refactor: Add a module for eta-conversions

#231 kmyk closed 2 years ago
0
docs: Translate docs/DESIGN.ja.md to English

#230 kmyk closed 2 years ago
0
I don't speak Japanese :'(

#229 huynhtrankhanh opened 2 years ago
4
Print suggestions about failed but near-successful rewrite rules

#228 kmyk opened 2 years ago
0
Print logs of conversions

#227 kmyk opened 2 years ago
0
Language Server Protocol

#226 kmyk opened 2 years ago
0
Allow Python as output

#225 kmyk closed 2 years ago
0
docs: Fix README.md

#224 kmyk closed 2 years ago
0
docs: Add docs/internal.md

#223 kmyk closed 2 years ago
0
Internal Error on `sum(sorted(map(lambda x: x + 1, xs)))`

#222 kmyk closed 2 years ago
3
test: Delete examples/sum.py in favor of sum-ax-plus-b of Jikka Judge

#221 kmyk closed 2 years ago
0
Use std::set instead of std::vector when it improves time complexity

#220 kmyk opened 2 years ago
0
Support SQL

#219 kmyk opened 2 years ago
0
Reduce about `product` fucntion

#218 kmyk opened 2 years ago
4
test: Add examples/sum_sum_mult.py

#217 kmyk closed 2 years ago
0
docs: Fix CHANGELOG.md

#216 kmyk closed 2 years ago
0
docs: Add a checkbox "Embed Original Code" to the playground

#215 kmyk closed 2 years ago
0
chore: v5.5.0.0

#214 kmyk closed 2 years ago
0
\sum_{i<n} \sum_{j>i} |a_i-a_j| を解けるようにする

#213 kmyk opened 2 years ago
1
builtin 関数をもっと簡単に足せるようにする

#212 kmyk opened 2 years ago
0
refactor: Refactor around alpha conversion

#211 kmyk closed 2 years ago
0
feat(core): Reduce `\sum \sum |a_i - a_j|`

#210 kmyk closed 2 years ago
0
docs: Add links to GitHub repository from the Playground and Gallery

#209 kmyk closed 2 years ago
0
modint 型を使う

#208 kmyk opened 2 years ago
0
test: Use sum-sum-square for testing

#207 kmyk closed 2 years ago
0
docs: Add "Bundle Runtime" checkbox to Jikka Playground

#206 kmyk closed 2 years ago
0
fix(cxx): Always add int64 suffix to int64 literals

#205 riantkb closed 2 years ago
2
test: Use test cases of Library Checker

#204 kmyk closed 2 years ago
0
docs: Use examples/wip/tle/ directory for TLE solutions

#203 kmyk closed 2 years ago
0
∑∑(aᵢ−aⱼ) で WA が出る

#202 kmyk closed 2 years ago
3
docs: Add "Choose Example" button to Playground

#201 kmyk closed 2 years ago
0
docs: Update words in README.md

#200 kmyk closed 2 years ago
0
ci: Speed up .github/workflows/docs.yml with removing Template Haskell

#199 kmyk closed 2 years ago
0
docs: Add a playground

#198 kmyk closed 2 years ago
0
feat(core): Use assertions for optimization

#197 kmyk closed 2 years ago
0
Multipoint Evaluation

#196 kmyk opened 2 years ago
0
Bostan-Mori

#195 kmyk opened 2 years ago
0
Support counting strings using regex

#194 kmyk opened 2 years ago
0
chore: v5.4.0.0

#193 kmyk closed 2 years ago
0