GeezerVison is showing github.com — avanov - Overview
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:
Pinned
Loading
-
Plim is a Python port of Ruby's Slim template language built on top of Mako Templates.
Python
173
17
-
Infer Python types from JSON data, use them for auto serialisation and parsing
Python
13
1
-
OpenAPI represented as a Python type. Use it to parse specifications written in JSON and YAML formats.
Python
11
3
-
Generates Python client packages from OpenAPI v3 specifications. The project aims at supporting any generic valid specification.
Python
8
2
-
Compose GraphQL queries by composing Python types!
Python
5
2
-
Makefile to manage local Postgres instances (to avoid Docker)
Makefile
Uh oh!
There was an error while loading. Please reload this page.