Skip to content
View kingofthebongo2008's full-sized avatar
🌴
On the computer
🌴
On the computer
25 followers · 18 following
  • Sofia, Bulgaria

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report kingofthebongo2008

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

7 stars written in Haskell
Clear filter

elm / compiler

Compiler for Elm, a functional language for reliable webapps.

Haskell 7,586 663 Updated Jul 17, 2024

HigherOrderCO / Kind

A modern proof language

Haskell 3,602 143 Updated Dec 9, 2024

BartoszMilewski / Publications

Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com

Haskell 1,258 38 Updated Oct 6, 2024

ndmitchell / shake

Shake build system

Haskell 772 119 Updated Dec 30, 2024

lambdacube3d / lambdacube-edsl

Previous version of LambdaCube 3D as Embedded Domain Specific Language in Haskell. Check the latest system:

Haskell 204 12 Updated Jun 23, 2018

AndrasKovacs / flatparse

Fast parsing from bytestrings

Haskell 153 13 Updated Jan 4, 2025

tobbebex / GPipe

A functional graphics API for programmable GPUs

Haskell 49 6 Updated Sep 14, 2015