Giters
Yvan Sraka (yvan-sraka)

yvan-sraka

Geek Repo

191

followers

273

following

5k

stars

Company:@input-output-hk

Location:Brussels, Belgium

Home Page:https://yvan.sraka.xyz

Twitter:@yvansraka

Github PK Tool:Github PK Tool

Yvan Sraka's repositories

cargo-cabal

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

Language:RustLicense:Apache-2.0Stargazers:85Issues:3Issues:4

hs-bindgen

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

Language:RustLicense:Apache-2.0Stargazers:57Issues:3Issues:7

cabal-explain

Language:NixStargazers:4Issues:2Issues:0

hs-bindgen-traits

Utility traits behind hs-bindgen ergonomics

Language:RustLicense:Apache-2.0Stargazers:3Issues:3Issues:0

BUGS

Language:JavaScriptStargazers:2Issues:3Issues:0

hs-bindgen-attribute

Handy macro to generate C-FFI bindings from Rust to Haskell.

Language:RustLicense:Apache-2.0Stargazers:2Issues:3Issues:2

rustlings

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

Language:RustLicense:MITStargazers:2Issues:2Issues:0

devx

Slightly opinionated shared GitHub Action for Cardano-Haskell projects

Language:NixLicense:Apache-2.0Stargazers:1Issues:1Issues:0

hs-bindgen-types

Language:RustLicense:Apache-2.0Stargazers:1Issues:3Issues:2

X230

❄️ My NixOS configuration.

Language:NixStargazers:1Issues:2Issues:0

agg

asciinema gif generator

Language:RustLicense:Apache-2.0Stargazers:0Issues:2Issues:0

bootstrap-devx

Language:NixStargazers:0Issues:2Issues:0

bors

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

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

cabal

Official upstream development repository for Cabal and cabal-install

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

foliage

🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.

Language:HaskellLicense:MITStargazers:0Issues:1Issues:0

hello-postbuild

Language:HaskellLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0

hello-prebuild

Language:HaskellLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0

jam0004

Language:CStargazers:0Issues:0Issues:0

nix-darwin

nix modules for darwin

Language:NixLicense:MITStargazers:0Issues:2Issues:0

NixConContent

A collection of all the content from NixCon Paris 2022

Stargazers:0Issues:1Issues:0

nixd

Nix language server, based on nix libraries [maintainer=@inclyc]

Language:C++License:LGPL-3.0Stargazers:0Issues:0Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:MITStargazers:0Issues:2Issues:0

nixprof

A Nix build graph profiler

Language:PythonLicense:Apache-2.0Stargazers:0Issues:2Issues:0

play-haskell

Haskell Playground

Language:HaskellStargazers:0Issues:1Issues:0

reflexive

Handy way to evaluate at compile-time any Rust expression

Language:RustLicense:Apache-2.0Stargazers:0Issues:3Issues:1

rust-haskell-ffi

Language:RustStargazers:0Issues:3Issues:0

static-closure

Language:NixStargazers:0Issues:2Issues:0

std

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

Language:NixStargazers:0Issues:1Issues:0

x

Language:HaskellLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

zfoh.ch

Our homepage

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:1Issues:0