Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

avanov/avanov

Open more actions menu

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

6 Commits
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

Packages

Contributors

Morty Proxy This is a proxified and sanitized view of the page, visit original site.