Skip to content
You must be logged in to sponsor strake

Become a sponsor to M Farkas-Dyck

@strake

M Farkas-Dyck

strake
Mountain View, California, Earth

I mostly work on programming languages and compilers. I contribute to open source projects including GHC, Rust, and Agda.

I am also creating a richly-typed systems language (i hope dependently- and linearly-typed, tho integrating those features is a topic of active research). The implementation requires tail calls and dynamically-sized values on the stack, and i know no compiler framework which supports both, so i am writing my own from scratch. I shall publish it as it is ready.

I have various other ongoing projects including a library of Stern-Brocot rationals and a search program for glider patterns in cellular automata. Browse my repos to find out more!

Featured work

  1. strake/polynom.hs

    Polynomials and Gröbner bases

    Haskell 2
  2. strake/containers.rs

    Library of containers for computers with finite memory

    Rust 5
  3. Haskell 2
  4. strake/cplx.rs

    Complex and hypercomplex numbers

    Rust 1
  5. strake/category.agda

    Formulation of category theory in Agda

    Agda
  6. strake/zed

    text editor

    Rust 3

Learn more about sponsoring developers and organizations.

Report abuse

Select a tier

$ a month

Choose a custom amount.

$5 a month

Select

Show your interest in my work.

$16 a month

Select

Show your support!

$50 a month

Select

Show your serious support! Have your name in the "SPONSORS" file of a repo of mine of your choice.

$160 a month

Select

Have your name in the "SPONSORS" file of up to 3 repos of mine of your choice!

$500 a month

Select

Have your name in the "SPONSORS" file of all my repos OR the "README" file of one repo of your choice!

$1,600 a month

Select

Have your name in the "SPONSORS" file of all my repos AND the "README" file of one repo of your choice!

$5,000 a month

Select

Wow, a research grant! Have your name in the "README" file of ALL my repos + tell me what projects to priorize!