haskell-port

Here are 6 public repositories matching this topic...

ASCII line charts in terminal ╭┈╯ Haskell port of kroitor/asciichart

charts haskell ascii haskell-library haskell-port asciichart

Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Haskell

logic haskell-port

Idris (Idris2) port of the Haskell biocore library.

fasta-sequences biocore haskell-port fasta-format idris2

➰ Genius game

ruby genius ruby-cli haskell-port

Idris (Idris2) port of the Haskell elynx-seq library.

Idris (Idris2) port of the Haskell biofasta library.

fasta-sequences haskell-port fasta-format idris2 biofasta

To associate your repository with the haskell-port topic, visit your repo's landing page and select "manage topics."