https://github.com/matthew-mosior/streaming-benchmarks

Streaming benchmarks focused on Idris2 and Haskell
https://github.com/matthew-mosior/streaming-benchmarks

benchmarking haskell hyperfine idris2 streaming

Last synced: about 1 month ago
JSON representation

Streaming benchmarks focused on Idris2 and Haskell

• Host: GitHub
• URL: https://github.com/matthew-mosior/streaming-benchmarks
• Owner: Matthew-Mosior
• License: bsd-3-clause
• Created: 2025-04-09T21:12:40.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2025-04-21T04:02:01.000Z (about 1 year ago)
• Last Synced: 2025-04-24T00:59:20.506Z (about 1 year ago)
• Topics: benchmarking, haskell, hyperfine, idris2, streaming
• Language: Shell
• Homepage:
• Size: 16.6 KB
• Stars: 0
• Watchers: 1
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# streaming-benchmarks

Benchmarks for streaming libraries in Idris2 (`idris2-streams`) and Haskell (`conduit`, `pipes`).

| Benchmark             | Link                               |

| --------------------- | ---------------------------------- |

| Fahrenheit to celsius | [link](fahrenheit/README.md)       |

| String searching      | [link](string-searching/README.md) |