Skip to content
View stepa1000's full-sized avatar

Block or report stepa1000

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 is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Alternative Haskell Infrastructure for Nixpkgs

Nix 627 265 Updated Jun 14, 2026

A modern syntax for the λ-calculus.

Haskell 418 13 Updated Jun 28, 2016

Automatic versioning of JSON formats for Haskell data types (with backwards compatibility)

Haskell 32 4 Updated May 25, 2026

Учебник теории категорий

372 24 Updated Jan 12, 2018

How to use Haskell + Stack with Unreal Engine 4 on Windows - Blueprint version

C++ 18 3 Updated May 12, 2017
Visual Basic 13 5 Updated Feb 16, 2015

A wayland compositor based on ideas from and inspired by xmonad

Haskell 864 38 Updated Jul 13, 2019

Convert Haskell source code to Coq source code.

Rocq Prover 95 11 Updated Apr 27, 2026
Haskell 2 Updated Aug 19, 2024
TypeScript 141 45 Updated Oct 11, 2023

Haskell XML Toolbox

Haskell 126 35 Updated Jul 17, 2024

Common Lisp DSL for building untyped lambda calculus expressions

Common Lisp 26 1 Updated Dec 3, 2024

Haskell library for simple, concise and fast generic operations.

Haskell 83 9 Updated Nov 5, 2023

🎨 Colorization of text for command-line utilities

Haskell 1 Updated Feb 22, 2020

signed and unsigned 24-bit word types

Haskell 2 10 Updated Dec 30, 2022

Combinators for manipulating locally-nameless generalized de Bruijn terms

Haskell 129 30 Updated Jan 23, 2026

Reifies arbitrary Haskell terms into types that can be reflected back into terms

Haskell 105 24 Updated May 26, 2026

A Haskell implementation of Allen's interval algebra

Haskell 5 2 Updated May 26, 2023

A re-implementation of weeder using HIE files

Haskell 186 35 Updated Dec 23, 2025

Haskell bindings to GLUT

Haskell 61 15 Updated Jul 24, 2025

The Prettiest Printer

Haskell 35 6 Updated Feb 14, 2024

😎 The open-source, Haskell-built video editor for GIF makers.

Haskell 1,436 58 Updated Aug 13, 2021

Cluster single cells and analyze cell clade relationships with colorful visualizations.

Haskell 117 18 Updated Oct 28, 2024

datatypes and functions for easily working with passwords in Haskell

Haskell 61 16 Updated May 3, 2026

A simple implementation of the untyped lambda calculus

Haskell 9 1 Updated Mar 2, 2023

A monadic parser combinator library

Haskell 889 100 Updated Jun 9, 2026

Higher-order optimization library

Haskell 76 30 Updated Jul 12, 2023

Grammatical Framework core: compiler, shell & runtimes

Haskell 160 47 Updated May 9, 2026

Semigroups, specialized containers and a general map/reduce framework

Haskell 46 11 Updated Mar 3, 2025
Next