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
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-lang.org
4
0
2
0
Open post
Clash Language @ClashHDL@fosstodon.org
· 8mo 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
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

clash-lang.org
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

clash-lang.discourse.group
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
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 ✨

fosstodon.org
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-lang.discourse.group
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/

fosstodon.org
3
0
0
0
Open post
Clash Language @ClashHDL@fosstodon.org
· 25mo 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.com
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
  • 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: 02:25:03 UTC