Skip to content
View nuudlman's full-sized avatar
💭
I may be slow to respond.
💭
I may be slow to respond.
20 followers · 70 following
  • The University of Texas at Austin
  • Austin, TX
  • 06:29 (UTC -05:00)

Achievements

Achievement: Pull Sharkx2Achievement: YOLO

Achievements

Achievement: Pull Sharkx2Achievement: YOLO

Highlights

  • Pro

Organizations

@LonghornGaming

Block or report nuudlman

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Stars

5 stars written in Haskell
Clear filter

simplex-chat / simplex-chat

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

Haskell 6,759 311 Updated Oct 5, 2024

HigherOrderCO / Kind

A modern proof language

Haskell 3,549 141 Updated Oct 4, 2024

B-Lang-org / bsc

Bluespec Compiler (BSC)

Haskell 939 143 Updated Sep 6, 2024

tommythorn / Reduceron

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 421 29 Updated Dec 8, 2020

unison-code / unison

Unison's source code

Haskell 101 17 Updated Mar 5, 2024