CD2H gitForager

Maxim Zimaliev

Login: cryogenian

Company: null

Location: Kazan, Russia

Bio: null

Blog:

Member of

Repositories

agda: Agda is a dependently typed programming language / interactive theorem prover.
Chart.js: Simple HTML5 Charts using the
echarts: A powerful, interactive charting and visualization library for browser
FStar: An ML-like language with a type system for program verification
FunScript: F# to JavaScript compiler with JQuery etc. mappings through a TypeScript type provider
guppi: null
karma-coverage: A Karma plugin. Generate code coverage.
mandragora-bucket: bunch of gulp tasks and npm dependencies for purescript-projects
mandragora-bucket-1: Gulp goodness for PureScript.
node-purescript-bin: PureScript wrapper that makes it seamlessly available via npm
pscid: A lightweight, fast and unintrusive PureScript file-watcher
purescript: A small strongly, statically typed language that compiles to Javascript
purescript-ace: Purescript bindings for the Ace editor
purescript-ace-halogen: A Halogen component for the Ace editor.
purescript-affjax: An asynchronous AJAX library built using Aff.
purescript-aff-reattempt: A library for reattempting asynchronous computations
purescript-argonaut: PureScript implementation of argonaut
purescript-argonaut-codecs: null
purescript-argonaut-core: null
purescript-argonaut-traversals: null
purescript-base: null
purescript-canvas: Canvas bindings for PureScript
purescript-chai: Chai bindings for Purescript
purescript-chalky: PureScript bindings to chalk library
purescript-charting: null
purescript-clipboard: purescript wrapper for clipboard.js
purescript-codec: General purpose bi-directional codecs
purescript-codec-argonaut: Bi-directional JSON codecs for argonaut
purescript-colorpalettepicker-halogen: null
purescript-color-palettes: null
purescript-colorpicker-halogen: null
purescript-colors: Convert, manipulate, analyze, blend, color scales, color schemes
purescript-css: A clean, type-safe library for describing, manipulating and rendering CSS
purescript-debug: Console based debugging functions
purescript-debug-foreign: Direct access to native console log
purescript-dom: Type definitions and standard effect for interacting with the DOM
purescript-dom-classy: null
purescript-dom-indexed: Typed DOM attributes and properties
purescript-easyimage: null
purescript-echarts: Purescript bindings for Baidu's Echarts library
purescript-ejson: Extended JSON data type as used by the Quasar NoSQL analytics engine
purescript-encoding: WHATWG/W3C Encoding Standard
purescript-exitcodes: A purescript library for Bash and BSD compliant exit codes
purescript-fixed-points: Types for the least and greatest fixed points of functors.
purescript-formatters: Replacement for numeral.js, moment.js etc
purescript-free: Free, Trampoline, Yoneda, Coyoneda
purescript-freet: Free monad transformers
purescript-halogen: A declarative, type-safe UI library for PureScript.
purescript-halogen-bootstrap: null
purescript-halogen-css: An adapter between the purescript-halogen and purescript-css libraries.
purescript-halogen-datepicker: null
purescript-halogen-echarts: Halogen integration for Echarts.
purescript-halogen-leaflet: Embedding leaflet geocharts to halogen
purescript-halogen-menu: null
purescript-halogen-selects: null
purescript-halogen-vdom-string-renderer: String rendering for halogen-vdom
purescript-hugenums: A huge number library for Purescript with emphasis on correctness.
purescript-imagediff: Purescript bindings to imagediff node library
purescript-jtable: A Purescript table renderer capable of displaying multidimensional, heterogeneous JSON data
purescript-leaflet: Purescript bindings to leafletjs library
purescript-lens: PureScript implementation of lens
purescript-lists: Linked Lists
purescript-lunapark: null
purescript-machines: null
purescript-mantra: null
purescript-maps: Purely functional maps
purescript-markdown: A Purescript library for parsing SlamData's dialect of Markdown.
purescript-markdown-halogen: A Halogen rendering library for purescript-markdown
purescript-matryoshka: Generalized folds, unfolds, and traversals for fixed point data structures
purescript-media-types: Internet media / content / MIME types
purescript-minimatch: Purescript bindings for minimatch lib
purescript-mocha: Mocha bindings for PureScript
purescript-monad-loops: null
purescript-monoid: Monoid algebraic structure
purescript-moonshine: null
purescript-mote: Just a little spec(k).
purescript-mote-runner: null
purescript-node-fs: Node.js file I/O for purescript
purescript-node-path: Type declarations for Node's Path module
purescript-node-process: Access the global Node.js process object
purescript-number-input-halogen: null
purescript-oidc-crypt-utils: Cryptographic utilities for performing OpenIDConnect as a client.
purescript-optic: null
purescript-optlicative: applicative opt parsing for node
purescript-parsing: A work-in-progress parser combinator library written in PureScript
purescript-pathy: A type-safe abstraction for platform-independent file system paths.
purescript-phantom: Purescript bindings for phantomjs
purescript-platform: PureScript bindings for platform.js
purescript-pray: null
purescript-profunctor-lenses: Pure profunctor lenses
purescript-psc-ide: PureScript client for psc-ide
purescript-quasar: Quasar API library for PureScript
purescript-random: Random number generation
purescript-reactive: Reactive variables
purescript-routing: A clean, type-safe routing library for PureScript.
purescript-run: An extensible-effects implementation
purescript-safelist: A list type that tracks non-emptiness at the type level
purescript-search: A grammar and parser for Google-style searches on unstructured or semi-structured data.
purescript-semirings: Semiring instances and functions
purescript-signal: Elm style FRP library for PureScript
purescript-sqlsquare: purescript Sql^2 ast, pretty printer etc
purescript-stringutils: String Utility Functions
purescript-strongcheck: null
purescript-strongcheck-argonaut: Arbitrary instances for purescript-argonaut, using purescript-strongcheck.
purescript-test-unit: An asynchronous unit test runner for PureScript
purescript-transformers: Monad and comonad transformers
purescript-treemap: Treemap computation algorithms
purescript-uri: A type-safe parser, printer, and ADT for URLs and URIs.
purescript-validation: Applicative-style validation
purescript-variant: Polymorphic variants for PureScript
purescript-webdriver: A PureScript interface to Selenium's Node Webdriver.
purescript-xpath: An XPath AST and pretty printer
purescript-zclipboard: A micro clipboard library for PureScript
selenium: A browser automation framework and ecosystem.
shen-js: Shen on javascript.
slamdata: The web-based front-end for SlamData.
slamdata-nodewebkit: The front-end for SlamEngine.
slamengine: The engine for SlamData
zrender: A lightweight canvas library which providing 2d draw for ECharts

Commits To

Repository	Most Recent Commit	# Commits

This work is supported by the National Institutes of Health's National Center for Advancing Translational Sciences, Grant Number U24TR002306. This work is solely the responsibility of the creators and does not necessarily represent the official views of the National Institutes of Health.