Topic: "haskell-port"
madnight/asciichart
ASCII line charts in terminal ╭┈╯ Haskell port of kroitor/asciichart
Language: Haskell - Size: 117 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 29 - Forks: 2
newca12/haskell-atp
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Haskell
Language: Haskell - Size: 2.08 MB - Last synced at: about 1 month ago - Pushed at: 12 months ago - Stars: 7 - Forks: 2
Matthew-Mosior/idris2-elynx-seq
Idris (Idris2) port of the Haskell elynx-seq library.
Language: Idris - Size: 3.91 KB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
Matthew-Mosior/idris2-biofasta
Idris (Idris2) port of the Haskell biofasta library.
Language: Idris - Size: 13.7 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
Matthew-Mosior/idris2-biocore
Idris (Idris2) port of the Haskell biocore library.
Language: Idris - Size: 9.77 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
tkovs/genius
:curly_loop: Genius game
Language: Ruby - Size: 4.88 KB - Last synced at: about 2 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
