https://github.com/avanov/avanov
https://github.com/avanov/avanov
Last synced: 3 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/avanov/avanov
- Owner: avanov
- Created: 2021-01-26T21:47:20.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2023-12-06T00:10:43.000Z (over 2 years ago)
- Last Synced: 2024-10-06T06:02:58.871Z (over 1 year ago)
- Size: 5.86 KB
- Stars: 1
- Watchers: 3
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
### 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:
* [Nix](https://nixos.org)
* [ATS](http://www.ats-lang.org)
* [Liquid Haskell](https://ucsd-progsys.github.io/liquidhaskell-blog/)
* [GHCJS](https://github.com/ghcjs/ghcjs) and [Miso](https://github.com/dmjio/miso)