rwnobrega@lemmy.world to Programming@programming.dev · 11 days agoZig: Migrating from GitHub to Codebergplus-squareziglang.orgexternal-linkmessage-square34linkfedilinkarrow-up1226arrow-down11
arrow-up1225arrow-down1external-linkZig: Migrating from GitHub to Codebergplus-squareziglang.orgrwnobrega@lemmy.world to Programming@programming.dev · 11 days agomessage-square34linkfedilink
rwnobrega@lemmy.world to Programming@programming.dev · 5 months agoAgda v2.8.0 releasedplus-squaregithub.comexternal-linkmessage-square0linkfedilinkarrow-up19arrow-down13
arrow-up16arrow-down1external-linkAgda v2.8.0 releasedplus-squaregithub.comrwnobrega@lemmy.world to Programming@programming.dev · 5 months agomessage-square0linkfedilink
rwnobrega@lemmy.world to Programming@programming.dev · 6 months agoHare 0.25.2 releasedplus-squareharelang.orgexternal-linkmessage-square0linkfedilinkarrow-up132arrow-down12
arrow-up130arrow-down1external-linkHare 0.25.2 releasedplus-squareharelang.orgrwnobrega@lemmy.world to Programming@programming.dev · 6 months agomessage-square0linkfedilink
rwnobrega@lemmy.world to Programming@programming.dev · 9 months agofish shell 4.0.0 releasedplus-squaregithub.comexternal-linkmessage-square2linkfedilinkarrow-up1117arrow-down10
arrow-up1117arrow-down1external-linkfish shell 4.0.0 releasedplus-squaregithub.comrwnobrega@lemmy.world to Programming@programming.dev · 9 months agomessage-square2linkfedilink
rwnobrega@lemmy.world to Programming@programming.dev · 10 months agoRoc programming language version 0.0.0-alpha1 releasedplus-squaregithub.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkRoc programming language version 0.0.0-alpha1 releasedplus-squaregithub.comrwnobrega@lemmy.world to Programming@programming.dev · 10 months agomessage-square0linkfedilink
