Vladimir Kalnitsky Vladimir Kalnitsky

Tracking 444 commits to 40 open source packages



Repositories

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/firefox-rotating-favicons
Userstyle. Replaces firefox tab throbbers (page loading indicators) with rotating favicon images.
CSS - MIT - Last pushed - 0 stars
klntsky/g4ip-prover
Theorem prover for intuitionistic propositional logic
Haskell - MIT - Last pushed - 6 stars
klntsky/arithmetic-coding
Visualization of arithmetic coding algorithm (purescript-halogen)
PureScript - Last pushed - 1 stars
klntsky/purescript-array-views
Defer multiple 𝚜𝚕𝚒𝚌𝚎 calls on 𝙰𝚛𝚛𝚊𝚢.
PureScript - Last pushed - 13 stars - 1 forks
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
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
xynxynxyn/terminal-discord
Simple terminal client for discord with a minimal look and UI
JavaScript - MIT - Last pushed - 116 stars - 10 forks
seppeljordan/nix-prefetch-github
Prefetch sources from github for nix build tool
Nix - Last pushed - 4 stars
See all Vladimir Kalnitsky's contributions

Published Packages

purescript-difference-containers
Difference lists.
Latest release v1.0.0 - Published
purescript-bower-json
𝚋𝚘𝚠𝚎𝚛.𝚓𝚜𝚘𝚗 decoder for purescript
Latest release v0.1.0 - Published - 4 stars
purescript-array-views
Defer multiple 𝚜𝚕𝚒𝚌𝚎 calls on 𝙰𝚛𝚛𝚊𝚢.
Latest release v0.0.2 - Published - 13 stars
bower-json
𝚋𝚘𝚠𝚎𝚛.𝚓𝚜𝚘𝚗 decoder for purescript
Latest release v0.1.0 - Published - 4 stars
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.0 - Published - 83 stars
debug
small debugging utility
Latest release 4.1.1 - Updated - 7.66K 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-arrays
Array utility functions
Latest release v5.2.1 - Published - 30 stars
purescript-psci-support
Support module for the PSCI interactive mode
Latest release v4.0.0 - Published - 5 stars
bower
The browser package manager
Latest release 1.8.8 - Updated - 15.3K stars
See all Vladimir Kalnitsky's most used packages

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

Login to resync this page