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

action-suggester icon action-suggester

:dog: Suggests any code changes based on diff through GitHub Multi-line code suggestions by using reviewdog

agg icon agg

asciinema gif generator

asciinema-scenario icon asciinema-scenario

Create asciinema videos from a text file. Write a scenario for your - asciinema - video and generate it.

autotag-action icon autotag-action

A lightning fast autotagger for semver tagging in github actions

awesome-cabal icon awesome-cabal

πŸ’« A curated list of awesome resources for the Haskell Cabal build tool.

bors icon bors

Rust implementation of bors used for various Rust components (e.g. the compiler).

build icon build

Build Systems Γ  la Carte

cabal icon cabal

Official upstream development repository for Cabal and cabal-install

cargo-cabal icon cargo-cabal

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

cargo-sync-readme icon cargo-sync-readme

Generate a Markdown section in your README based on your Rust documentation

cli-guidelines icon cli-guidelines

A guide to help you write better command-line programs, taking traditional UNIX principles and updating them for the modern day.

code_bucket icon code_bucket

Collection of some presentations, work studies to show and project to share.

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.