Skip to content
View loicl-bbc's full-sized avatar

Block or report loicl-bbc

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

Starred repositories

8 stars written in Haskell
Clear filter

A modern proof language

Haskell 3,603 143 Updated Jan 6, 2025

The Eta Programming Language, a dialect of Haskell on the JVM

Haskell 2,613 140 Updated Jul 31, 2022

A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

Haskell 222 13 Updated Jan 22, 2024

🚧 a work in progress effect system for Haskell 🚧

Haskell 124 2 Updated Aug 25, 2023

HVM3

Haskell 119 10 Updated Jan 15, 2025

higher-order algebraic effects done right for Haskell

Haskell 83 3 Updated Dec 27, 2024

A pure Haskell implementation of a decoder-only transformer (GPT)

Haskell 18 Updated Jun 22, 2024

optimal evaluation examples (DUP nodes, SUP nodes)

Haskell 9 Updated Sep 10, 2024