qexat
♡
Funding Links: https://github.com/sponsors/qexat
- Name: lexa
- Kind: user
- Followers: 120
- Following: 305
- Total stars: 142
- Repositories count: 81
- Created at: 2023-03-10T17:22:32.453Z
- Updated at: 2025-06-28T09:49:21.432Z
- Last synced at: 2025-06-28T09:49:21.431Z
GitHub Sponsors Profile
hi! i'm lexa, a french student passionate about functional programming and type theory. I'm struggling to meet ends so your help is really appreciated!
- Current Sponsors: 1
- Past Sponsors: 1
- Total Sponsors: 2
- Minimum Sponsorship: $1.00
Featured Works
qexat/ansifmt
A simple, lightweight library for ANSI formatting with powerful features such as a element-based system for pretty-printing code in the terminal.
Language: OCaml - Stars: 22qexat/lexie
a ML-style programming language based on the calculus of constructions type theory
Language: OCaml - Stars: 19qexat/kalmia-theme
Kalmia is a dark rose theme for Visual Studio Code.
Language: CSS - Stars: 7Active Sponsors
Past Sponsors
Sponsor Breakdown
- User: 2