All decks Close
All decks 10

  • Introduction to Web Development with Elixir and Phoenix

    May 23, 2019 135 0

  • Web Components Frameworks Overview

    A brief overview of Web Components and several frameworks built on top of them.

    Apr 29, 2019 81 0

  • Hybrid Mobile App Development

    Problems and (some) solutions developing hybrid mobile apps with Apache Cordova.

    Mar 03, 2019 94 0

  • CFPQ

    Context-Free Path Queries for Graphs.

    Feb 09, 2019 166 0

  • hledger

    Introduction to hledger tool and it's basic usage.

    Jun 01, 2018 194 0

  • Idris for Pedestrians

    Birdeye's view on Idris.

    Feb 23, 2018 99 0

  • How I Learned to Stop Worrying and Love the Coq

    Sep 20, 2017 84 0

  • SMT with Z3

    Feb 08, 2017 123 0

  • Wolfram Language

    Brief presentation of Wolfram Language

    Dec 10, 2014 136 0

  • NCPLL

    Presentation of Non-Conforming Programming Languages Lab of HS ITIS Kazan State University.

    Apr 02, 2014 103 0