Skip to content
View hexclover's full-sized avatar
27 followers · 64 following

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@NixOS
Block or Report

Block or report hexclover

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

Lists (1)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated
Beta Lists are currently in beta. Share feedback and report bugs.

Stars

Type: Sources
Language: Haskell
Sort by: Most stars
7 results for source starred repositories written in Haskell
Clear filter

koalaman / shellcheck

ShellCheck, a static analysis tool for shell scripts

Haskell 35,659 1,745 Updated Jul 9, 2024

unisonweb / unison

A friendly programming language from the future

Haskell 5,685 265 Updated Jul 24, 2024

GrammaticalFramework / gf-core

Grammatical Framework core: compiler, shell & runtimes

Haskell 128 35 Updated May 17, 2024

min-nguyen / prob-fx

A language for modular probabilistic modelling in Haskell based on effect handlers

Haskell 14 1 Updated Dec 30, 2023

probcomp / haskell-trace-types

Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"

Haskell 10 1 Updated Jan 4, 2020

salty-Frankenstein / mipsGen

A DSL generates MIPS assembly codes.

Haskell 5 Updated Dec 27, 2020

salty-Frankenstein / Homura

A functional programming language with algebraic effects and effect handlers.

Haskell 4 Updated Dec 10, 2023