issues
search
codewars
/
codewars-runner-cli
Old CodeRunner project. See https://github.com/codewars/runner instead.
GNU Affero General Public License v3.0
402
stars
141
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Is NLL enable for Rust?
#759
weiby3
closed
5 years ago
6
`Load` doesn't work like `Require` in Coq
#756
Voileexperiments
closed
5 years ago
9
Add Swift 5.0
#754
mmar
closed
5 years ago
1
[Coq] Deprecate the post-processor on runner output
#753
DonaldKellett
closed
4 years ago
4
Add mathcomp package for Coq
#751
Bubbler-4
closed
5 years ago
3
Add Nim v1.0
#750
alaviss
closed
5 years ago
1
Python: breakable test framework
#749
larshb
closed
5 years ago
3
Get user code in Coq
#748
Voileexperiments
closed
5 years ago
6
Permit certain axioms in Coq?
#747
Bubbler-4
closed
5 years ago
19
C# 7.3 stdout is printed after failed test assertion
#746
Voileexperiments
closed
5 years ago
1
Add Go 1.12
#744
mightyco
closed
5 years ago
1
Add lenses to purescript
#743
glebec
closed
5 years ago
1
Add TLC package for Coq
#742
DonaldKellett
closed
5 years ago
6
Add Equations package for Coq
#741
Bubbler-4
closed
5 years ago
3
A problem with optimization flags in Haskell katas (GHC 7)
#740
Nesterov-Konstantin
closed
5 years ago
1
Node 8 runner does not await all currently running Promises before exiting
#739
Voileexperiments
closed
4 years ago
2
First character isn't printed in Rust 1.33
#738
error256
closed
5 years ago
2
C picks random value for pointer
#737
Drvanon
closed
5 years ago
3
Parts of failure messages are displayed as Log
#735
error256
closed
5 years ago
1
Multiple consecutive failures formatted incorrectly in Nim
#734
error256
closed
5 years ago
1
Agda: Improve type-checking time
#733
Bubbler-4
closed
5 years ago
5
`assert` should not be made available in Node v6/v8 Codewars
#732
Voileexperiments
closed
4 years ago
2
Agda code runner output sometimes are not formatted properly
#731
Voileexperiments
closed
5 years ago
2
Add Julia 1.0
#730
inkydragon
closed
5 years ago
10
Add Racket testing support
#729
yfzhe
closed
5 years ago
15
Cannot use crypto functions in C/NASM
#728
uniapi
closed
5 years ago
4
Status of Racket support?
#727
yfzhe
closed
5 years ago
4
Forbid some functions in Idris
#725
kazk
closed
5 years ago
3
Agda icon too small
#724
ice1000
closed
5 years ago
8
Node 10 error messages becomes very ugly if error comes from outside of a `it` block
#722
Voileexperiments
closed
5 years ago
1
Something worth notice with Idris test framework
#721
ice1000
closed
5 years ago
3
Add Coq
#720
DonaldKellett
closed
5 years ago
2
Add Agda
#719
MarisaKirisame
closed
5 years ago
38
Forbit holes in Idris submissions
#717
ice1000
closed
5 years ago
5
Add Effects library for Idris
#716
ice1000
closed
5 years ago
4
[Idris; Discussion] Easy escape hatches for subverting the totality checker (cheat)
#718
DonaldKellett
closed
5 years ago
25
Optimization is off by default
#714
Voileexperiments
closed
4 years ago
6
Add Idris
#711
DonaldKellett
closed
5 years ago
14
Priority list for adding new languages
#708
Voileexperiments
closed
5 years ago
3
Haskell: Ideas to improve compilation time
#706
Bubbler-4
closed
5 years ago
4
PureScript: `shouldEqual` failure message does not tell which value is expected/actual
#704
Voileexperiments
closed
5 years ago
1
PureScript: disable warnings for unspecified imports
#703
Voileexperiments
closed
5 years ago
4
Add Elixir 1.9
#700
kazk
closed
5 years ago
1
Compiler flags for Haskell
#699
Bubbler-4
closed
5 years ago
17
@Test.timeout decorator in python doesn't behave correctly anymore
#698
Blind4Basics
closed
5 years ago
10
Groovy 2.5.x
#697
suic86
closed
5 years ago
12
Update README.md
#696
flip111
closed
5 years ago
1
Options to contribute ??
#695
flip111
closed
5 years ago
5
[PureScript] JavaScript module `big-integer` not found
#694
DonaldKellett
closed
5 years ago
1
Add purescript-leibniz for PureScript
#693
DonaldKellett
closed
5 years ago
5
Previous
Next