Vladimir Kalnitsky Vladimir Kalnitsky

Tracking 643 commits to 52 open source packages


Repositories

klntsky/firefox-rotating-favicons
Userstyle. Replaces firefox tab throbbers (page loading indicators) with rotating favicon images.
CSS - MIT - Last pushed - 0 stars
klntsky/purescript-array-views
Defer multiple 𝚜𝚕𝚒𝚌𝚎 calls on 𝙰𝚛𝚛𝚊𝚢.
PureScript - Last pushed - 13 stars - 2 forks
klntsky/haskell-holes-th
TIP solver for simply typed lambda calculus. Can automatically infer code from type definitions. ...
Haskell - MIT - Last pushed - 7 stars
klntsky/purescript-bower-json
𝚋𝚘𝚠𝚎𝚛.𝚓𝚜𝚘𝚗 decoder for purescript
PureScript - Last pushed - 4 stars
klntsky/g4ip-prover
Theorem prover for intuitionistic propositional logic, fork of github.com/cacay/G4ip
Haskell - MIT - Last pushed - 7 stars
klntsky/SimpleTableGenerator
Pretty text table generator with multiline support!
Haskell - GPL-3.0 - Last pushed - 0 stars
See all Vladimir Kalnitsky's repositories

Repositories Contributed To

lex-js/lex-js
LEXICON viewer JS port
JavaScript - GPL-3.0 - Last pushed - 1 stars - 1 forks
econovika/Crocodiles
DevDays JB ITMO autumn 2019
JavaScript - Last pushed - 0 stars
Nerator/matr2scheme
algorithm for decomposition of arbitrary unitary matrix into product of two-level matrices
Scala - GPL-3.0 - Last pushed - 1 stars
lex-js/php-backend
PHP backend for lex-js/lex-js
PHP - Last pushed - 0 stars
lex-js/php-backend
PHP backend for lex-js/lex-js
PHP - Last pushed - 0 stars
DoctorRyner/gimel
A purescript UI library built upon the react
PureScript - Last pushed - 9 stars - 2 forks
See all Vladimir Kalnitsky's contributions

Published Packages

purescript-bower-json
𝚋𝚘𝚠𝚎𝚛.𝚓𝚜𝚘𝚗 decoder for purescript
Latest release v2.0.0 - Published - 4 stars
bower-json
𝚋𝚘𝚠𝚎𝚛.𝚓𝚜𝚘𝚗 decoder for purescript
Latest release v2.0.0 - Published - 4 stars
purescript-array-views
Defer multiple 𝚜𝚕𝚒𝚌𝚎 calls on 𝙰𝚛𝚛𝚊𝚢.
Latest release v0.0.2 - Published - 13 stars
purescript-difference-containers
Difference lists.
Latest release v1.0.1 - Published
purescript-search-trie
A Map-based Trie implemented using zipper.
Latest release v1.0.0 - Published - 2 stars
array-views
Defer multiple 𝚜𝚕𝚒𝚌𝚎 calls on 𝙰𝚛𝚛𝚊𝚢.
Latest release v0.0.2 - Published - 13 stars
See all Vladimir Kalnitsky's packages

Most Used Packages

purescript-prelude
The PureScript Prelude
Latest release v4.1.1 - Published - 106 stars
purescript-effect
The Effect monad, for handling native side effects
Latest release v2.0.0 - Published - 25 stars
base
This package contains the Prelude and its support libraries, and a large collection of useful lib...
Latest release 4.12.0.0 - Updated
purescript-psci-support
Support module for the PSCI interactive mode
Latest release v4.0.0 - Published - 6 stars
purescript-foldable-traversable
Classes for foldable and traversable data structures
Latest release v4.1.1 - Published - 36 stars
purescript-arrays
Array utility functions
Latest release v5.3.1 - Published - 35 stars
See all Vladimir Kalnitsky's most used packages

Last synced: 2016-04-13 21:54:25 UTC

Login to resync this page