Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

Clash Language

@ClashHDL@fosstodon.org
mastodon 4.7.3
  • Open on fosstodon.org

A modern functional hardware description language

58 Followers
7 Following
13 Posts
Joined December 07, 2023
Website:
https://clash-lang.org
Github:
https://github.com/clash-lang/clash-compiler
Open post
Clash Language @ClashHDL@fosstodon.org
· 5mo ago

We're happy to announce the first release of `clash-shockwaves`! Thanks to the flexibility of https://surfer-project.org you can now see your Clash data types directly in your traces - and with colours!! 🌈

https://clash-lang.org/blog/2026-04-21-shockwaves/

#Haskell #FPGA

surfer-project.org

Surfer | Surfer

6
0
3
1
Open post
Clash Language @ClashHDL@fosstodon.org
· 5mo ago

It's been a long time coming, but it's finally time for a new Clash release! In 1.10 you can find new exciting things like `NumConvert`, support for GHC 9.12 and many other quality changes! 🥳

https://clash-lang.org/blog/2026-04-28-clash110/

#Haskell #FPGA

Clash 1.10 released
Clash

Clash 1.10 released

Clash 1.10 is out, with GHC 9.12 support, safer number conversions, the removal of Clash.Prelude.DataFlow, and a few porting notes.

4
0
2
0
Open post
Clash Language @ClashHDL@fosstodon.org
· 9mo ago

What happens when Clash meets Rust? Interesting things that bring us to the edge of what the languages can handle! See how we approached representing Clash’s numeric types in Rust in this new blog post.

https://clash-lang.org/blog/0008-clash-num/
#rustlang #rust #haskell #fpga

clash-lang.org

https://clash-lang.org/blog/2025-12-23-clash-num/

5
0
2
0
Open post
Clash Language @ClashHDL@fosstodon.org
· 4mo ago

Those warnings about uses of `Integer` even if you don't use any in your code? Yeah, we're working on those! 😎

Already in 1.10 and ready to use, `NumConvert` is here to help with that!

https://clash-lang.org/blog/2026-05-19-numconvert/

#Haskell #FPGA

`NumConvert`: Type-safe number conversions in Clash 1.10
Clash

`NumConvert`: Type-safe number conversions in Clash 1.10

Starting from Clash 1.10, converting between number types becomes easier and safer. Typically, developers use fromIntegral to convert between number types. This is perfectly fine in pure Haskell, but Clash may silently truncate the intermediate type, Integer, to 64-bits. With the new infrastructure, you can use numConvert and maybeNumConvert which are guaranteed to be lossless.

1
0
0
0
Open post
Clash Language @ClashHDL@fosstodon.org
· 8mo ago

We are looking for your feedback! 👀
Have you tried to learn Clash in the past? Are you using Clash right now? Anything that didn't quite click or was unwieldy to use? Something you think we should improve? 🥼

Here's the link to the forum post, but you can reach out to us on your platform of choice of course :)

https://clash-lang.discourse.group/t/we-d-love-your-feedback-on-using-clash/103

#FPGA #Clash #Haskell

We’d love your feedback on using Clash
Clash Language Community

We’d love your feedback on using Clash

The Clash compiler team is actively looking to better understand how Clash is used in practice and where it can be improved. We’re especially interested in hearing from the community about anything that gets in the way of using Clash effectively. This includes (but isn’t limited to): Pain points or friction you encounter in day-to-day usea Features or workflows that feel unintuitive, limiting, or incomplete Issues that have slowed you down or stopped you from using Clash altogether

3
0
1
0
Open post
Clash Language @ClashHDL@fosstodon.org
· 14mo ago

The Clash Compiler User Guide has gotten a new look and a new home! 🤩

It's still actively being worked on and being updated, but you can find it here: https://docs.clash-lang.org/compiler-user-guide/

docs.clash-lang.org

Clash reference - The Clash Book

5
2
2
0
Open post
Clash Language @ClashHDL@fosstodon.org
· 34mo ago

Time for my #introduction to the Fediverse! :masto_love:

Clash is an open source functional hardware description language built on #Haskell.
The Clash compiler allows you to use Haskell features like its strong and powerful typesystem as well as use existing Haskell code and libraries in your #FPGA and #ASIC designs! You can test your designs right inside the REPL, simulate it alongside other Haskell code or output #VHDL / #Verilog / #SystemVerilog code for synthesis.

Links in the profile ✨

22
2
14
0
Open post
Clash Language @ClashHDL@fosstodon.org
· 27mo ago

We now have a forum for Clash! Ask and search through questions, share your projects and connect with fellow community members! ✨

https://clash-lang.discourse.group/

See you there! 🫡

Clash Language Community
Clash Language Community

Clash Language Community

A place to share your projects, get technical help and get to know each other

7
0
4
0
Open post
Clash Language @ClashHDL@fosstodon.org
· 20mo ago

Curious how #Clash models signals for #FPGA and #ASIC in #Haskell? This short post/tutorial explains this, with an interactive diagram for visualizing clock domain crossing 🤯

https://clash-lang.org/blog/0007-signals/

clash-lang.org

https://clash-lang.org/blog/2025-02-07-signals/

3
0
0
0
Open post
Clash Language @ClashHDL@fosstodon.org
· 26mo ago

The Clash compiler is built on top of GHC - ever wondered what it takes to update to a new GHC version? Here's a blog post talking about the upgrade process a bit! ✨

https://qbaylogic.com/blog/upgrading-the-clash-compiler-to-a-new-version-of-ghc/

#haskell

QBayLogic

Upgrading the Clash compiler to a new version of GHC - QBayLogic

4
0
0
0
Open post
Clash Language @ClashHDL@fosstodon.org
· 14mo ago
Replying to
@whitequark@mastodon.social Please do! :) This Compiler User Guide is still under development though, we're working on a new tutorial and in general just giving some more love to documentation and onboarding!
1
0
0
0
Open post
Clash Language @ClashHDL@fosstodon.org
· 34mo ago
Replying to
@Di_Libu@mastodon.social Hey hey 😊
1
0
0
0
Open post
Clash Language @ClashHDL@fosstodon.org
· 6mo ago

Ever got caught with a numeric literal that was too big for a Clash (or otherwise Haskell) Type and didn’t get a warning or an error?

Yeah, us too! So we introduce a new package: `checked-literals` Read more about it in the new post:

https://clash-lang.org/blog/0009-checked-literals/

#haskell #fpga

clash-lang.org

https://clash-lang.org/blog/2026-04-07-checked-literals/

0
0
0
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Pricing
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 14:55:35 UTC