🌱 BMC

luc-tielen/eclair-lang

July 29, 2022 - 2:54pm

← July 24th, 5:47pmAugust 3rd, 8:42am →

⭐️ luc-tielen/eclair-lang A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

LINK: https://github.com/luc-tielen/eclair-lang

July 29, 2022

Notes 🌱 •Blog •Journal •Links •Search •Feeds •Login