strake
Carbon-based aqueous organism, amateur mathematician and physicist, professional programmer, melophile, relentless student
Funding Links: https://github.com/sponsors/strake
- Name: M Farkas-Dyck
- Location: Mountain View, California, Earth
- Kind: user
- Followers: 48
- Following: 14
- Total stars: 221
- Repositories count: 317
- Created at: 2022-11-04T08:57:57.410Z
- Updated at: 2024-05-01T10:38:13.464Z
- Last synced at: 2024-05-01T10:37:31.587Z
GitHub Sponsors Profile
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!
- Current Sponsors: 0
- Past Sponsors: 0
- Total Sponsors: 0
- Minimum Sponsorship: $5.00
Featured Works
strake/polynom.hs
Polynomials and Gröbner bases
Language: Haskell - Stars: 2strake/containers.rs
Library of containers for computers with finite memory
Language: Rust - Stars: 5strake/Fin.hs
Language: Haskell - Stars: 2strake/cplx.rs
Complex and hypercomplex numbers
Language: Rust - Stars: 1strake/category.agda
Formulation of category theory in Agda
Language: Agda - Stars:strake/zed
text editor
Language: Rust - Stars: 3Past Sponsorships
View AllSponsorship Breakdown by Kind
- User: 1