Skip to content
View younes-io's full-sized avatar
🎯
Focusing
🎯
Focusing
49 followers · 299 following

Sponsoring

@typst
@JuliaLang

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: Public SponsorAchievement: Pull Sharkx2
BetaSend feedback

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: Public SponsorAchievement: Pull Sharkx2
BetaSend feedback

Highlights

Block or Report

Block or report younes-io

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
younes-io/README.md

🌟 I'm a software developer with a passion for crafting code into something useful. Here's what I enjoy:

  • 🦀 Rust: Building robust and efficient systems.
  • 💻 TypeScript & Node.js: Creating dynamic and scalable web applications.
  • 🐍 Python: Automating the boring stuff and data wrangling.
  • ✅ TLA+: Ensuring everything runs without a hitch.

When I'm not decoding the digital world, I'm piecing together the puzzles of history, or just enjoying another cup of Mint Tea 🍵

🛠️ Technologies & Tools

📊 Most Used Languages

Top Langs

📈 GitHub Stats

My stats

Pinned

  1. juspay/hyperswitch juspay/hyperswitch Public

    An open source payments switch written in Rust to make payments fast, reliable and affordable

    Rust 10.5k 1.2k

  2. Readers–writers problem Readers–writers problem
    1 
    -------------------------- MODULE Readers_Writers --------------------------
    2 
    \*https://en.wikipedia.org/wiki/Readers%E2%80%93writers_problem
    3 
    EXTENDS Sequences, Naturals, FiniteSets
    4 
    CONSTANTS Readers, Writers
    5 
    
              
    
          
    
    
    
  
    

    3. 

      
  3. 
  
    
    
    
      
    
        
    
            
          
              tlaplus/tlaplus
tlaplus/tlaplus          Public
        
    
      
    


      
    
        TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+. 
      
    

      
    
          
  
  Java


          
            
    

            2.2k
          
          
            
    

            183
          
      
    
    
    
  
    

    4. 

      
  4. 
  
    
    
    
      
    
        
    
            
          
mule-flex-rust-policy-redirect
mule-flex-rust-policy-redirect          Public
        
    
      
    


      
    
        A proxy-wasm policy that redirects HTTP requests based on a specific header
      
    

      
    
          
  
  Rust


      
    
    
    
  
    

    5. 

      

  5. 
  
    
    
    
      
    
        
        
          Single Lane Bridge Problem
Single Lane Bridge Problem      
    

          
    
              
    
                1
                
    -------------------------- MODULE SingleLaneBridge --------------------------
    
              
    
              
    
                2
                
    
              
    
              
    
                3
                
    \* 
    
              
    
              
    
                4
                
    \*  This is my solution to the Single Lane Bridge problem in TLA+
    
              
    
              
    
                5
                
    \*  Also available in: https://github.com/tlaplus/Examples/blob/master/specifications/SingleLaneBridge/SingleLaneBridge.tla
    
              
    
          
    
    
    
  
    

    6. 

      
  6. 
  
    
    
    
      
    
        
    
            
          
pontoon-addon
pontoon-addon          Public
        
    
      
    

        
    
          Forked from MikkCZ/pontoon-addon
        
    

      
    
        Tools for Pontoon and its integration into the browser.
      
    

      
    
          
  
  TypeScript


      
    
    
    
  
    

    7.