Skip to content
View aluqas's full-sized avatar
πŸŽ“
πŸŽ“
22 followers Β· 141 following

Achievements

Achievement: StarstruckAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report aluqas

Report abuse

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

Report abuse
aluqas/README.md

🌸

πŸŽ¨πŸŽ“πŸ‰πŸ¦€

Pinned Loading

  1. gitlaw-jp gitlaw-jp Public

    Japanese legislation as a Git repo.

    Python 99

  2. sudoku-type-rs sudoku-type-rs Public

    Play Sudoku in Rust's Type System and Rich Error Messages by RustcπŸ¦€

    Rust 15 1

  3. dotfiles dotfiles Public

    Nix 1

  4. faas-matrix faas-matrix Public

    Forked from nkuntz1934/matrix-workers

    TypeScript 2

  5. Japanese Article: https://zenn.dev/s... Japanese Article: https://zenn.dev/saqula/articles/2361ce8de47570, for explaining https://github.com/aluqas/typelude project.
    1 
    //! A self-contained type-level programming example in Rust.
    2 
    //!
    3 
    //! This file demonstrates:
    4 
    //! - type-level booleans and branching
    5 
    //! - Peano naturals and arithmetic