input-output-hk / input-output-hk/Lean-blaster

Benchmark existing CEK machine

Open
#257 0 comments 0 reactions 1 assignee Claimed by @mpetruska View on GitHub
Dominant language
Lean
Stars
57
Forks
11
Avg merge
1d 5h
Merged PRs (30d)
10

Description

- Saturate
- Fibonacci
- etc. @mpetruska to fill out

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.