Skip to content
View glug's full-sized avatar
18 followers · 28 following

Block or report glug

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

Stars

8 stars written in Haskell
Clear filter

idris-lang / Idris-dev

A Dependently Typed Functional Programming Language

Haskell 3,466 631 Updated Feb 17, 2025

sweirich / pi-forall

A demo implementation of a simple dependently-typed language

Haskell 620 98 Updated Nov 18, 2024

dmbarbour / Sirea

Simply Reactive! Declarative orchestration in Haskell using RDP

Haskell 274 8 Updated May 25, 2013

davean / waldo

A small Haskell server for generating visual stories based on some ascertainable data about the requester.

Haskell 57 2 Updated Jun 10, 2012

sanjoy / DietLISP

Toy lisp interpreter / PLT playground

Haskell 39 4 Updated Oct 20, 2012

liamoc / hilbert

An intensely interactive, graphical theorem prover based on natural deduction

Haskell 29 1 Updated Aug 1, 2014

rikusalminen / funfun

A funny toy programming language project

Haskell 28 4 Updated Feb 9, 2013

pigworker / BathTime

being an experiment with universes and time

Haskell 11 Updated Aug 17, 2013