Advertisement · 728 × 90
#
Hashtag
#cleflang
Advertisement · 728 × 90
Preview
'Free' Proofs from Dimensional Types How Wadler's Free Theorems Provide the Formal Foundation for Design-Time Dimensional Verification

#cleflang clef-lang.com/blog/proofs-...

2 0 0 0
Clef Language - WebView and Native Application Rendering
Clef Language - WebView and Native Application Rendering YouTube video by Houston Haynes

WebView and then Native GPU Control from Clef language - mind you it's loading one framebuffer but it's a start! This is actually a #cleflang and #fsharp story for now, but I'll be moving web generation to the Composer compiler soon. youtu.be/8egiPpVi4pg

3 0 0 0
Preview
GitHub - FidelityFramework/mlir-plugins: Custom transforms for MLIR to support Fidelity Framework Custom transforms for MLIR to support Fidelity Framework - FidelityFramework/mlir-plugins

Just created our first #MLIR plugin for #cleflang and while it's within a narrow focus it has wide implications: MLKit style flat closures that can be lowered to standard LLVM. #fsharp #fstar #ocaml #dotnet github.com/FidelityFram...

4 0 0 0
Post image Post image

Well, it's in the can! 🤖 #FPGA end-to-end compilation with bit width inference confirmed with #cleflang, including AMD/Xilinx bootstrapping the flash process in the back end #fsharp #ocaml #haskell #rust #dotnet

10 1 2 1