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,949 1,896 Updated Feb 1, 2026

A friendly programming language from the future

Haskell 6,471 296 Updated Feb 7, 2026

💥💻💥 A data-parallel functional programming language

Haskell 2,664 194 Updated Feb 6, 2026

Haskell to VHDL/Verilog/SystemVerilog compiler

Haskell 1,582 164 Updated Feb 7, 2026

Bluespec Compiler (BSC)

Haskell 1,076 169 Updated Jan 28, 2026

SystemVerilog to Verilog conversion

Haskell 700 60 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 453 34 Updated Jul 19, 2025

Where Lions Roam: RISC-V on the VELDT

Haskell 265 16 Updated Dec 15, 2025

Exercises and code from "Haskell Programming from First Principles"

Haskell 97 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 33 6 Updated Sep 7, 2021