Skip to content
GitLab
Explore
Sign in
Software
CoPaR
Repository
Branches
Overview
Active
Stale
All
fb-signatures-simple
663ff404
·
Add DEncoding (better encoding for naive algorithm)
·
Dec 31, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
main-refactor
a285d396
·
tests: Remove unused imports
·
Nov 17, 2020
!47
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mini-tests-cleanup
8c07590f
·
examples: Give dfa example an initial state
·
Nov 13, 2020
!46
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
t-beg-example
45fa1597
·
Add T-Beg example markov chain
·
Nov 04, 2020
!43
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
absorbing-poly-minimize
305ac203
·
compute... -> enumerate...
·
Nov 04, 2020
!44
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
noSort
976278e6
·
sad
·
Oct 25, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ghc-8.8
c54429a9
·
enable `generic` for json
·
Oct 19, 2020
!39
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
minimize-timing
7b3d9264
·
need more stats
·
Oct 13, 2020
!38
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
reachability
c22d9289
·
Add additional newline to help output
·
Oct 06, 2020
!37
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
minimize
b213aa49
·
test minimization
·
Sep 25, 2020
!33
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
print-as-debug-command
09b1f842
·
Expose coalgebra printing as debug command
·
Sep 03, 2020
!35
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
poly-print-sort
33d00349
·
polynomial: Sort edge labels before printing
·
Sep 03, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
primitive-version
9c8dcff8
·
upgrade stack in CI
·
Aug 15, 2020
!32
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci-test
cda34f4e
·
Revert "test"
·
Aug 12, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
release-ci
8c406733
·
Test release flag in ci
·
Aug 05, 2020
!30
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
release
f7bf2f0e
·
fix test with RELEASE
·
Aug 05, 2020
!31
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ParseMorphism
a0f70d2d
·
refactor printFactor
·
Jul 28, 2020
!29
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
FunctorDescription
92a63e1b
·
remove Printable
·
Jun 23, 2020
!28
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
rigrag
2ce5245f
·
Use Z in zigzag
·
Jun 02, 2020
!27
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
remove-pretty
27e54c1e
·
remove showSorts, rename sortAsScope
·
May 26, 2020
!25
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
5
6
Next