Skip to content
View avanov's full-sized avatar
45 followers · 11 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx3

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx3

Block or report avanov

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
avanov/README.md

Python, Haskell, Type-safety, and Formal Verification for the win

I specialise and have an interest in the following technical domains:

  • Meta-programming, DSLs, and Framework Design
  • Software Architectures and Domain Driven Design
  • Functional Programming and Memory Safety
  • Building batch and streaming data processors with cooperative / preemptive multitasking
  • Building async/reactive message-passing services with dynamic task scheduling
  • Contributing to and maintaining Open Source projects

My current sources of inspiration (check them out, they're all remarkably cool) are:

Popular repositories Loading

  1. Plim Plim Public

    Plim is a Python port of Ruby's Slim template language built on top of Mako Templates.

    Python 172 17

  2. ansible-galaxy-pyenv ansible-galaxy-pyenv Public

    Ansible Galaxy role for pyenv

    Shell 65 56

  3. Rhetoric Rhetoric Public

    Pyramid-like routes in Django

    Python 19 3

  4. typeit typeit Public

    Infer Python types from JSON data, use them for auto serialisation and parsing

    Python 13 1

  5. openapi-type openapi-type Public

    OpenAPI represented as a Python type. Use it to parse specifications written in JSON and YAML formats.

    Python 11 3

  6. openapi-client-generator openapi-client-generator Public

    Generates Python client packages from OpenAPI v3 specifications. The project aims at supporting any generic valid specification.

    Python 9 2