Git Product home page Git Product logo

Yvan SRAKA <[email protected]>

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.

Yvan Sraka's Projects

raylib icon raylib

Minimalist raytracing library written in Rust

reflexive icon reflexive

Handy way to evaluate at compile-time any Rust expression

rust-learning icon rust-learning

A bunch of links to blog posts, articles, videos, etc for learning Rust

rustfix icon rustfix

Automatically apply the suggestions made by rustc

rustlings icon rustlings

Small exercises to get you used to reading and writing Rust code!

samos icon samos

Soft Active Matter on Surfaces

sand icon sand

A strictly-typed programming language

std icon std

A DevOps framework for the SDLC with the power of Nix and Flakes. Good for keeping deadlines!

substrate icon substrate

Substrate: The platform for blockchain innovators

tanche icon tanche

Parse expression language into an ast in rust

temporal icon temporal

Temporal Reprojection Anti-Aliasing for Unity 5.0+

tldr icon tldr

πŸ“š Collaborative cheatsheets for console commands

uncomment icon uncomment

Just remove all HTML comments in files, eg. this could be used into webpack process

volumetriclighting icon volumetriclighting

Lighting effects implemented for the Adam demo: volumetric fog, area lights and tube lights

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    πŸ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. πŸ“ŠπŸ“ˆπŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❀️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.