Skip to content
View tobiasl-linktree's full-sized avatar
37 followers · 164 following

Block or report tobiasl-linktree

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 (14)

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

Stars

11 stars written in Haskell
Clear filter

koalaman / shellcheck

ShellCheck, a static analysis tool for shell scripts

Haskell 39,175 1,907 Updated Mar 12, 2026

PostgREST / postgrest

REST API for any Postgres database

Haskell 26,699 1,171 Updated Mar 26, 2026

unisonweb / unison

A friendly programming language from the future

Haskell 6,559 302 Updated Mar 26, 2026

sdiehl / write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Haskell 3,516 256 Updated Jan 11, 2021

tweag / asterius

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

Haskell 1,950 56 Updated Nov 14, 2022

nmattia / niv

Easy dependency management for Nix projects

Haskell 1,815 78 Updated Mar 26, 2026

ucsd-progsys / liquidhaskell

Liquid Types For Haskell

Haskell 1,299 153 Updated Mar 24, 2026

rgleichman / glance

A visual Haskell

Haskell 734 16 Updated Mar 20, 2022

caotic123 / PomPom-Language

The cuteness implementation of a dependently typed language.

Haskell 194 6 Updated Dec 13, 2022

liamoc / holbert

A graphical interactive proof assistant designed for education

Haskell 170 7 Updated Nov 21, 2024

monadicsystems / okapi

A data-driven micro web framework for Haskell

Haskell 103 4 Updated Jan 11, 2024