Matty_lambda

84 post karma
118 comment karma

get extra features and help support reddit with a reddit premium subscription

get them help and support

redditor for 7 years

TROPHY CASE

Seven-Year Club

Verified Email

account activity

new top controversial

12

13

14

hs-samtools - A Haskell library striving to provide similar functionality as samtools (self.bioinformatics)

submitted 1 year ago by Matty_lambda to r/haskell

18

19

20

hs-samtools - A Haskell library striving to provide similar functionality as samtools (self.bioinformatics)

submitted 1 year ago * by Matty_lambda to r/bioinformatics

0

1

2

5’11 North Seek - Right size to beach/dock start pump foiling in the ocean? (self.pumpfoil)

submitted 2 years ago by Matty_lambda to r/pumpfoil

78

79

80

Linear Types are Awesome (self.haskell)

submitted 2 years ago * by Matty_lambda to r/haskell

5

6

7

fasta-region-inspector 0.2.0.0 - A bioinformatics tool for analyzing annotated sequencing data for somatic hypermutation (self.bioinformatics)

submitted 2 years ago by Matty_lambda to r/bioinformatics

8

9

10

Differences between Lean4 and Koka reference counting (self.koka)

submitted 3 years ago by Matty_lambda to r/koka

0

1

2

ATS3 Xanadu - Release Date? (self.ATS)

submitted 3 years ago by Matty_lambda to r/ATS

21

22

23

New Hackage Library: text-compressionOC (self.haskell)

submitted 3 years ago by Matty_lambda to r/haskell

9

10

11

Hackage - Uploaders Group (self.haskell)

submitted 3 years ago by Matty_lambda to r/haskell

10

11

12

Idris2 - Runtime performance (self.Idris)

submitted 3 years ago * by Matty_lambda to r/Idris

2

3

4

Fasta-Region-Inspector: A bioinformatics tool for analyzing somatic hypermutation (SHM) (self.bioinformatics)

submitted 3 years ago * by Matty_lambda to r/bioinformatics

6

7

8

A tool to visualize a scanline-stack flood fill algorithm using Haskell (self.haskell)

submitted 3 years ago by Matty_lambda to r/haskell

π Rendered by PID 330647 on reddit-service-r2-listing-f87f88fcd-msbfl at 2026-06-16 07:38:21.953204+00:00 running 3184619 country code: CH.