Vladislav Zavialov (int-index)

int-index

Geek Repo

Company:@serokell

Github PK Tool:Github PK Tool


Organizations
ruHaskell
serokell
unisonweb

Vladislav Zavialov's repositories

union

Extensible type-safe unions for Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:32Issues:5Issues:6

caps

Monadic capabilities with late binding

Language:HaskellLicense:BSD-3-ClauseStargazers:27Issues:4Issues:3

slay

Source Layouting Engine

sdam

Source Data Model

Language:HaskellLicense:BSD-3-ClauseStargazers:4Issues:3Issues:0
Language:HaskellStargazers:3Issues:3Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:MITStargazers:2Issues:2Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:1Issues:0
Language:HaskellStargazers:1Issues:2Issues:0

Awesome-list-of-Haskell-mentors

An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.

License:MITStargazers:0Issues:2Issues:0

cabal

Official upstream development repository for Cabal and cabal-install

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

containers

Assorted concrete container types

Language:HaskellStargazers:0Issues:2Issues:0

cranelift-jit-demo

JIT compiler and runtime for a toy language, using Cranelift

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

exceptions

mtl friendly exceptions

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0
Language:DockerfileStargazers:0Issues:2Issues:3
Language:HaskellStargazers:0Issues:2Issues:0

ghc-paths

Knowledge of GHC's installation directories

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

Language:PythonStargazers:0Issues:3Issues:0

ghc.nix

Nix expression for working on GHC

Language:NixLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

haddock

Haskell Documentation Tool

Language:HTMLLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

happy

The Happy parser generator for Haskell

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0

haskell-challenges

Code challenges to solve with Haskell

Language:HaskellLicense:MITStargazers:0Issues:3Issues:0

Haskell-Morte-Library

A bare-bones calculus-of-constructions

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:3Issues:0
Language:HTMLStargazers:0Issues:2Issues:0
Stargazers:0Issues:2Issues:0
Language:CStargazers:0Issues:2Issues:0

smalltt

Demo for high-performance type theory elaboration

Language:LeanLicense:MITStargazers:0Issues:2Issues:0

static-haskell-nix

easily build most Haskell programs into fully static Linux executables

Language:NixStargazers:0Issues:2Issues:0

text

Haskell library for space- and time-efficient operations over Unicode text.

Language:HaskellLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0
Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

Vinyl

Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode.

Language:HaskellLicense:MITStargazers:0Issues:2Issues:0