Skip to content
View onoraba's full-sized avatar
16 followers · 40 following

Block or report onoraba

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

Lists (1)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Stars

13 results for source starred repositories written in Haskell
Clear filter

unisonweb / unison

A friendly programming language from the future

Haskell 6,471 295 Updated Feb 5, 2026

jameysharp / corrode

C to Rust translator

Haskell 2,180 118 Updated Mar 10, 2019

clash-lang / clash-compiler

Haskell to VHDL/Verilog/SystemVerilog compiler

Haskell 1,580 164 Updated Feb 5, 2026

GaloisInc / cryptol

Cryptol: The Language of Cryptography

Haskell 1,195 129 Updated Feb 4, 2026

agentm / project-m36

Project: M36 Relational Algebra Engine

Haskell 942 50 Updated Feb 5, 2026

def- / time.gif

GIF that always shows the current time in UTC

Haskell 495 27 Updated Sep 22, 2023

steveshogren / 10-minute-vim-exercises

The exercise files from 10 Minute Vim, for convenience of readers

Haskell 490 32 Updated Apr 14, 2023

39aldo39 / klfc

Keyboard Layout Files Creator

Haskell 235 16 Updated Mar 5, 2023

adamwalker / sdr

Software defined radio library in Haskell

Haskell 98 13 Updated May 31, 2023

diagrams / diagrams-core

Core types and utilities

Haskell 95 43 Updated May 16, 2025

ndmitchell / build-shootout

Comparison of build program expressive power

Haskell 87 11 Updated Sep 18, 2019

stschiff / sequenceTools

Haskell 51 12 Updated Jan 28, 2026

pushcx / shenzhen

Solver for Shenzen Solitaire

Haskell 16 Updated Oct 30, 2017