Giters
Rehan MALAK (Rehan-MALAK)

Rehan-MALAK

Geek Repo

2

followers

0

following

2

stars

Location:Eindhoven

Home Page:rehan-malak.github.io

Github PK Tool:Github PK Tool

Rehan MALAK's repositories

e1000e-3.6.0

remove nvm checksum in e1000 for my X201

Language:CLicense:GPL-2.0Stargazers:0Issues:0Issues:0

from_allnoconfig_to_debian

6 kconfig configurations from allnoconfig to minimal debian/systemd

Language:ShellLicense:GPL-2.0Stargazers:0Issues:2Issues:0

lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

mbedtls

An open source, portable, easy to use, readable and flexible TLS library, and reference implementation of the PSA Cryptography API.

Language:CLicense:Apache-2.0Stargazers:0Issues:0Issues:0

rehan-malak.github.io

https://Rehan-MALAK.github.io

Language:CSSStargazers:0Issues:1Issues:0

SystemPerformanceAndSafety

https://rehan-malak.github.io/SystemPerformanceAndSafety/

Language:RubyStargazers:0Issues:2Issues:0