haskell-port

There are 6 repositories under haskell-port topic.

madnight/asciichart
ASCII line charts in terminal ╭┈╯ Haskell port of kroitor/asciichart
Language:Haskell28 4 12
newca12/haskell-atp
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Haskell
Language:Haskell8 3 02
Matthew-Mosior/idris2-biocore
Idris (Idris2) port of the Haskell biocore library.
Language:Idris2 0
Matthew-Mosior/idris2-biofasta
Idris (Idris2) port of the Haskell biofasta library.
Language:Idris2 0
Matthew-Mosior/idris2-elynx-seq
Idris (Idris2) port of the Haskell elynx-seq library.
Language:Idris2 0
tkovs/genius
:curly_loop: Genius game
Language:Ruby1 0