Skip to content

avanov/avanov

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

6 Commits
 
 

Repository files navigation

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:

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors