Kissaki@programming.dev to Programming Languages@programming.devEnglish · 6 months agoC3 Programming Languageplus-squarec3-lang.orgexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkC3 Programming Languageplus-squarec3-lang.orgKissaki@programming.dev to Programming Languages@programming.devEnglish · 6 months agomessage-square0linkfedilink
Kissaki@programming.dev to Programming Languages@programming.devEnglish · 7 months agoEYG - A programming language for predictable, useful, and confident developmentplus-squareeyg.runexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkEYG - A programming language for predictable, useful, and confident developmentplus-squareeyg.runKissaki@programming.dev to Programming Languages@programming.devEnglish · 7 months agomessage-square0linkfedilink
Kissaki@programming.dev to Programming Languages@programming.devEnglish · 8 months agoUiua — an extremely terse programming langaugeplus-squarewww.uiua.orgexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkUiua — an extremely terse programming langaugeplus-squarewww.uiua.orgKissaki@programming.dev to Programming Languages@programming.devEnglish · 8 months agomessage-square0linkfedilink
Kissaki@programming.dev to Programming Languages@programming.devEnglish · 8 months agoKORE Programming Languageplus-squaregithub.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkKORE Programming Languageplus-squaregithub.comKissaki@programming.dev to Programming Languages@programming.devEnglish · 8 months agomessage-square0linkfedilink
Kissaki@programming.dev to Programming Languages@programming.devEnglish · 1 year agoBeyond Booleans - “bool expressions” in Lean, proposition, proofplus-squareoverreacted.ioexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkBeyond Booleans - “bool expressions” in Lean, proposition, proofplus-squareoverreacted.ioKissaki@programming.dev to Programming Languages@programming.devEnglish · 1 year agomessage-square0linkfedilink
Kissaki@programming.dev to Programming Languages@programming.devEnglish · 1 year agoPike Programming Languageplus-squarepike.lysator.liu.seexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkPike Programming Languageplus-squarepike.lysator.liu.seKissaki@programming.dev to Programming Languages@programming.devEnglish · 1 year agomessage-square0linkfedilink
Kissaki@programming.dev to Programming Languages@programming.devEnglish · 1 year agoGolang blog; Goodbye core types - Hello Go as we know and love it!plus-squarego.devexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkGolang blog; Goodbye core types - Hello Go as we know and love it!plus-squarego.devKissaki@programming.dev to Programming Languages@programming.devEnglish · 1 year agomessage-square0linkfedilink
Kissaki@programming.dev to Programming Languages@programming.devEnglish · 1 year agoSeed7 - A General Purpose Programming Languageplus-squareseed7.netexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkSeed7 - A General Purpose Programming Languageplus-squareseed7.netKissaki@programming.dev to Programming Languages@programming.devEnglish · 1 year agomessage-square0linkfedilink
Kissaki@programming.dev to Programming Languages@programming.devEnglish · 1 year agoLean Programming Language - with formally verified codeplus-squarelean-lang.orgexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkLean Programming Language - with formally verified codeplus-squarelean-lang.orgKissaki@programming.dev to Programming Languages@programming.devEnglish · 1 year agomessage-square0linkfedilink
Kissaki@programming.dev to Programming Languages@programming.devEnglish · 1 year agoThe Hare programming languageplus-squareharelang.orgexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkThe Hare programming languageplus-squareharelang.orgKissaki@programming.dev to Programming Languages@programming.devEnglish · 1 year agomessage-square0linkfedilink
Kissaki@programming.dev to Programming Languages@programming.devEnglish · 1 year agoJPL: The JSON Programming Languageplus-squaregithub.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkJPL: The JSON Programming Languageplus-squaregithub.comKissaki@programming.dev to Programming Languages@programming.devEnglish · 1 year agomessage-square0linkfedilink
Kissaki@programming.dev to Programming Languages@programming.devEnglish · 1 year agoThe Jank programming languageplus-squarejank-lang.orgexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkThe Jank programming languageplus-squarejank-lang.orgKissaki@programming.dev to Programming Languages@programming.devEnglish · 1 year agomessage-square0linkfedilink
