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 is supported. This note will only be visible to 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 39,358 1,913 Updated Apr 4, 2026

A friendly programming language from the future

Haskell 6,599 303 Updated Apr 30, 2026

💥💻💥 A data-parallel functional programming language

Haskell 2,707 200 Updated Apr 30, 2026

Haskell to VHDL/Verilog/SystemVerilog compiler

Haskell 1,591 165 Updated Apr 30, 2026

Bluespec Compiler (BSC)

Haskell 1,102 178 Updated Apr 27, 2026

SystemVerilog to Verilog conversion

Haskell 725 62 Updated Mar 28, 2026

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 456 34 Updated Jul 19, 2025

Where Lions Roam: RISC-V on the VELDT

Haskell 265 18 Updated Dec 15, 2025

Exercises and code from "Haskell Programming from First Principles"

Haskell 99 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