Skip to content
View dark-flames's full-sized avatar
🎯
Focusing
🎯
Focusing
404 followers · 102 following

Achievements

Achievement: StarstruckAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Organizations

@luogu-dev

Block or report dark-flames

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
dark-flames/README.md

Code Time

Profile Views

📊 This Week I Spent My Time On

💬 Programming Languages: Haskell 11 hrs 55 mins █████████████████████████ 99.32 % YAML 3 mins ░░░░░░░░░░░░░░░░░░░░░░░░░ 00.49 % Markdown 1 min ░░░░░░░░░░░░░░░░░░░░░░░░░ 00.17 % Typst 0 secs ░░░░░░░░░░░░░░░░░░░░░░░░░ 00.01 % 🔥 Editors: VS Code 12 hrs █████████████████████████ 100.00 % 🐱‍💻 Projects: otus-proto 12 hrs █████████████████████████ 100.00 % 💻 Operating System: Linux 12 hrs █████████████████████████ 100.00 %

I Mostly Code in Rust

Rust 11 repos ████████░░░░░░░░░░░░░░░░░ 32.35 % Haskell 3 repos ██░░░░░░░░░░░░░░░░░░░░░░░ 08.82 % JavaScript 3 repos ██░░░░░░░░░░░░░░░░░░░░░░░ 08.82 % Agda 1 repo █░░░░░░░░░░░░░░░░░░░░░░░░ 02.94 % C++ 1 repo █░░░░░░░░░░░░░░░░░░░░░░░░ 02.94 %

Last Updated on 27/03/2026 19:19:54 UTC

Pinned Loading

  1. yukino-dev yukino-dev Public

    A type-driven and high-performance ORM framework in Rust

    Rust 31 1

  2. annotation-rs annotation-rs Public

    Compile-time annotation parser for rust

    Rust 11 1

  3. quote-data quote-data Public

    A tokenization library for Rust

    Rust 5

  4. toy-dt-cpp toy-dt-cpp Public

    A toy dependently typed language implementation in C++

    C++ 3

  5. apollo-typst apollo-typst Public template

    Typst blog template based on Zola, typst.ts, and apollo.

    JavaScript 40 3

  6. ty-ops ty-ops Public

    Type level simply typed lambda calculus in rust

    Rust 8