issues
search
links-lang
/
links-benchmarks
a curated collection of programs used to benchmark various components of Links
Other
1
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Changed to use command line input instead of fixed parameters
#16
Yi-Zhou-01
closed
2 years ago
0
Added binary-trees.links
#15
Yi-Zhou-01
closed
2 years ago
0
Added spectral-norm.links
#14
Yi-Zhou-01
closed
2 years ago
2
Added ack.links
#13
Yi-Zhou-01
closed
2 years ago
1
added coin-sums.links
#12
Yi-Zhou-01
closed
2 years ago
0
PLL example
#11
roger-uw
closed
2 years ago
0
microbenchmark to compute the madhava series for pi
#10
slindley
closed
3 years ago
0
CI typechecker configuration
#9
samo-novak
closed
3 years ago
0
N-body simulation with conceptual layers
#8
samo-novak
closed
3 years ago
2
pidigits
#7
ChefYeum
closed
3 years ago
0
N-body simulation
#6
samo-novak
closed
3 years ago
1
Micro benchmarks
#5
dhil
closed
3 years ago
0
Sieve of Atkin benchmark
#4
dhil
closed
3 years ago
0
Tepol benchmark
#3
dhil
closed
3 years ago
0
Database benchmarks do not typecheck
#2
dhil
opened
3 years ago
1
Transfer database benchmarks from links-lang/links.
#1
dhil
closed
3 years ago
0