Skip to content
View Catminusminus's full-sized avatar
:octocat:
constexpr
:octocat:
constexpr
7 followers · 0 following

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report Catminusminus

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

8 stars written in Haskell
Clear filter

hasktorch / hasktorch

Tensors and neural networks in Haskell

Haskell 1,085 109 Updated Dec 24, 2024

thma / LtuPatternFactory

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

Haskell 996 38 Updated Jan 17, 2024

vekatze / neut

A functional programming language with static memory management

Haskell 840 11 Updated Dec 8, 2024

forest-lang / forest-compiler

A multi-syntax functional programming language that compiles to WebAssembly.

Haskell 622 13 Updated Aug 4, 2021

ilya-klyuchnikov / lambdapi

Dependently Typed Lambda Calculus in Haskell

Haskell 112 21 Updated Mar 8, 2021

anton-k / mig

Lightweight and composable servers for Haskell

Haskell 69 4 Updated Nov 29, 2023

tdyku / typed-lua-core

GSOC 2016 Typed Lua Core Typechecker

Haskell 7 Updated Aug 13, 2016

Nymphium / lambdaeff

λeff, λ calculus + algebraic effects

Haskell 4 Updated Sep 3, 2022