apskii/olympics
Public repository.
Developer Profile
apskii
Discovered public repositories for apskii in the GitHub catalog.
apskii/hott-ex-agda
HoTT exercises in Agda
apskii/ember.ts
Typescript definitions for Ember
apskii/idle-me-not
Ember-powered time organizer
apskii/DefinitelyTyped
The repository for high quality TypeScript type definitions.
apskii/lisa
Public repository.
apskii/memspacer-ui
Gtk/sqlite-based user-interface for memspacer
apskii/j8t
Lambda-unpackable tuples for Java 8
apskii/hax
HAX (Handy API for XML): Streaming Parser Combinators
apskii/jocorpora
OpenCorpora corpus/dictionary management in Java
apskii/jaat-shell
Shell for Jaat. Supports javafx and terminal modes
apskii/jaat-core
Services, extensibility signatures, and templates for Jaat bundles
apskii/jaat-rss
RSS/Atom aggregation bundle for Jaat
apskii/memspacer
Spatial N-Back
apskii/angular.js
Public repository.
apskii/flextml
Utility to transform cute HTML into a valid HTML 5.
apskii/w3c-html-vocab-scraper
Utility to scrape tags and corresponding attributes from W3C HTML vocabulary (http://www.w3.org/html/wg/drafts/html/master/index.html).
apskii/ng-button-autocomplete
Bootstrap-button-toggled jquery-autocomplete.
apskii/pmcppbsci
Postmodern C++ BASIC Interpreter
apskii/ariadne
Toolset for AST movement/transformation via Generic Zippers
apskii/rune-cache-extractor
Utility for Rune (Halls of Valhalla) to extract cached packages.
apskii/ungadtagger
UnGADTagger encapsulates abstraction-from-GADT-tag workflow by utilizing existentials, rank2-types and kind polymorphism.
apskii/gentlemark
GentleMark is a gentle markup language which is designed to fit forum-like systems.
apskii/haskell-mode
Emacs mode for Haskell
apskii/hlisp
Little toy lisp, written in haskell.
apskii/sandbox
Toy code, which I decided to start saving for nostalgic reading in future ^.^
apskii/.emacs-old
Public repository.
apskii/env-manager
Simple utility to manage environment variables on Windows easily.