Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Informatik 8
CoPaR
Repository
Branches
Overview
Active
Stale
All
ci
ec802c90
·
ci: Enable caching of stack artifacts
·
Jun 19, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
flexible-functors
22fed3e6
·
Implement new functor parsing
·
Jun 26, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
functors-take2
b77cf5f4
·
Remove even more unused code
·
Jul 06, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
new-parser
eabb81be
·
Remove obsolete Sort module
·
Jul 13, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
benchmarks-ci
5ec83b50
·
Build (don't run) benchmarks in CI
·
Jul 24, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
build-script
ee39e382
·
Use posix sh function definition syntax in build script
·
Jul 29, 2018
!3
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
scratch/performance
071aaed6
·
Random stuff that improves performance
·
Aug 05, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/prism-converter
1f0537d4
·
prism-converter: Allow arbitrary strings as variable values
·
Aug 18, 2018
!4
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
test-split
145dda57
·
Add FIXME
·
Sep 10, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ghc-8.4
b41b2f9e
·
ci: Use GHC 8.4 image
·
Sep 14, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
random-dfa
d3ac9436
·
random-dfa: Optionally output to file instead of stdout
·
Sep 25, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
bench-split
6261d8d8
·
Fix whitespace
·
Sep 25, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
poly-speedup
8a0a8b38
·
tests: Fix tests for Polynomial functor
·
Sep 26, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
megaparsec-7
153d504f
·
Remove unnecessary imports
·
Oct 03, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
bench-partition
4068d42c
·
Don't needlessly update blocks with one state
·
Oct 04, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
eliminate-lists
6454e6a3
·
Convert pred array to new Stack data structure
·
Oct 08, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
h1-initialize
814f7644
·
Speed up MorphismEncoding creation from parser state
·
Oct 08, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
eliminate-lists2
9de49155
·
Explain amortized cost for Stack.push in documentation
·
Oct 17, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
features/complex-numbers
83deb7b6
·
Clean up code in MonoidValuedSpec
·
Oct 20, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
restrictPartition
e4674557
·
Fix whitespace
·
Oct 24, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
Next