Skip to content
View yvan-sraka's full-sized avatar
190 followers · 274 following

Sponsoring

@cheeaun
@rui314

Achievements

Achievement: Public SponsorAchievement: Starstruckx4Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3
BetaSend feedback

Achievements

Achievement: Public SponsorAchievement: Starstruckx4Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3
BetaSend feedback

Highlights

Block or Report

Block or report yvan-sraka

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
yvan-sraka/README.md

Yvan SRAKA <yvan@sraka.xyz>

I hold a master's degree in math and computer sciences applied to biology from Sorbonne University in Paris. Having discovered C++ programming as a child, I am actively involved in open-source communities. My previous commercial experience includes working in 3D Graphics and Runtime design with Rust, Nix, and Haskell. I have taught Systems Programming, Architecture, and DevOps to master’s students and have designed algorithm competitions and kids/teens coding workshops, where I assist them in building small video games. Currently residing in Belgium, I enjoy biking, hiking, climbing, and vegan cooking.

Current commercial work

I am currently working as a Senior DevX Engineer at IOG, contributing to Rust, Nix, and Haskell upstream tooling. I designed the Rust/Haskell interoperability tools suite cargo-cabal and hs-bindgen, the Nix contracts library, and am maintaining the Cabal, devx and haskell.nix build infrastructures.

Notes on my personal setup

As a Nix(OS) enthusiast, you can explore my cherished Thinkpad X230 (and iMac M1) configuration. My ~ is managed by @rycee home-manager both on NixOS and macOS, relying on nix-darwin by @LnL7 to maintain a declarative setup.

Before transitioning to Wayland using Sway and @emersion tools, I was an xmonad user. Explore this custom macOS port using X11 by @puffnfresh and my xmonad.hs configuration borrowed from @andreivolt. You can also find my old dotfiles from the time I used Xorg with dwm and st from suckless.

My code editor is neovim and I use ZSH with Grml configuration. I daily use @zx2c4 pass on all my devices, having migrated from the Apple keychain data silo using this script.

Popular repositories

  1. cargo-cabal cargo-cabal Public

    A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!

    Rust 87 5

  2. hs-bindgen hs-bindgen Public

    Handy macro to generate C-FFI bindings to Rust for Haskell

    Rust 58 1

  3. contracts contracts Public

    Nix 17 1

  4. YeAST YeAST Public

    Yet Another Shell Trick

    Rust 10

  5. cabal-explain cabal-explain Public

    Nix 4

  6. malloc malloc Public

    C dynamic memory allocation functions without dependencies.

    C 3