Skip to content
View ilyasergey's full-sized avatar

Highlights

  • Pro

Organizations

@math-comp @DistributedComponents @certichain @TyGuS @icfpcontest2019

Block or report ilyasergey

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
6 stars written in Haskell
Clear filter

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

Haskell 3,111 713 Updated Mar 25, 2025

Examples of Dependently-typed programs in Haskell

Haskell 304 26 Updated Oct 18, 2022

Generic implementation of different CFA families based on monadic decomposition

Haskell 21 Updated Jan 16, 2013

Extension of Glasgow Haskell Compiler to support recursive applicative bindings

Haskell 3 Updated Jun 5, 2012

Tests for ApplicativeFix GHC extension

Haskell 1 Updated Mar 9, 2012

Augmented base library for GHC for ApplicativeFix support

Haskell 1 Updated Jun 4, 2012