Skip to content
View JaredCorduan's full-sized avatar
☕
☕
45 followers · 38 following
Block or Report

Block or report JaredCorduan

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

Type: All
Language: Haskell
Sort by: Most stars
12 stars written in Haskell
Clear filter

koka-lang / koka

Koka language compiler and interpreter

Haskell 3,165 153 Updated Jul 11, 2024

jtdaugherty / brick

A declarative Unix terminal UI library written in Haskell

Haskell 1,584 165 Updated Jul 7, 2024

goldfirere / glambda

The home of the Glamorous Glambda interpreter

Haskell 217 27 Updated Mar 14, 2019

palf / haskell-sdl2-examples

SDL2 tutorial code in Haskell

Haskell 138 16 Updated Mar 16, 2023

sol / markdown-unlit

Literate Haskell support for Markdown

Haskell 130 18 Updated May 31, 2024

tromp / AIT

Algorithmic Information Theory, using Binary Lambda Calculus

Haskell 130 12 Updated Jun 27, 2024

effectfully-ou / sketches

A Haskell blog

Haskell 123 4 Updated Jul 4, 2024

BekaValentine / SimpleFP-v2

A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS

Haskell 109 5 Updated Jun 2, 2017

well-typed / unfolder

Repository with code snippets that accompany episodes of The Haskell Unfolder

Haskell 70 4 Updated Jun 12, 2024

bendyworks / api-server

A JSON API server written in Haskell

Haskell 66 6 Updated Nov 12, 2015

emarzion / SystemT

An interpreter for Gödel's System T

Haskell 11 Updated Apr 17, 2017

jtpio / langton-ant-haskell

Langton's Ant in Haskell

Haskell 1 Updated Dec 4, 2012