Skip to content
View udif's full-sized avatar

Block or report udif

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
11 stars written in Haskell
Clear filter

ShellCheck, a static analysis tool for shell scripts

Haskell 38,686 1,894 Updated Dec 15, 2025

A friendly programming language from the future

Haskell 6,446 292 Updated Dec 21, 2025

💥💻💥 A data-parallel functional programming language

Haskell 2,640 191 Updated Dec 20, 2025

Haskell to VHDL/Verilog/SystemVerilog compiler

Haskell 1,565 164 Updated Dec 19, 2025

Bluespec Compiler (BSC)

Haskell 1,071 165 Updated Dec 21, 2025

SystemVerilog to Verilog conversion

Haskell 686 59 Updated Nov 24, 2025

FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including har…

Haskell 451 34 Updated Jul 19, 2025

Where Lions Roam: RISC-V on the VELDT

Haskell 264 16 Updated Dec 15, 2025

Exercises and code from "Haskell Programming from First Principles"

Haskell 94 25 Updated Aug 22, 2021

A Verilog parser for Haskell.

Haskell 36 9 Updated Jul 6, 2021

Solutions to exercises from the book Haskell Programming From First Principles

Haskell 34 6 Updated Sep 7, 2021