Skip to content
Avatar
🌞
Enjoying the code...
🌞
Enjoying the code...
  • Block or report user

    Block or report Tehnix

    Block user

    Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

    Report abuse

    Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

    Report abuse
64 followers · 46 following · 255

Highlights

Sponsoring

@knurling-rs
Tehnix/README.md

Pinned

  1. spaceneovim

    Spacemacs for Neovim—link to layers 👉

    Vim script 83 3

  2. codetalkio/patterns-serverless-rust-minimal Template

    Minimal setup for starting with serverless Rust on AWS Lambda using AWS CDK for deployment

    Shell 16

  3. codetalkio/codetalk.io

    Hakyll website for the codetalk.io blog

    HTML 3 2

  4. codetalkio/patterns-serverless-scala-minimal Template

    Minimal setup for starting with serverless Scala on AWS Lambda using AWS CDK for deployment

    Shell 20 1

  5. codetalkio/Haskell-Electron-app

    Combining Electron and Haskell

    JavaScript 28 5

  6. master-thesis

    [University] Master thesis "Exploring the use of purely functional programming languages for offloading of mobile computations"

    TeX 3

2,680 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri
Learn how we count contributions.
Less
More
Activity overview
Contributed to codetalkio/codetalk.io, codetalkio/patterns-serverless-rust-minimal, Tehnix/playground-spa-miso and 5 other repositories

Contribution activity

October 2020

Created an issue in localstack/aws-cdk-local that received 3 comments

cdklocal bootstrap fails complaining about StagingBucket

Description When trying to prepare the LocalStack service for CDK, the cdklocal bootstrap seems to fail: $ cdklocal bootstrap ⏳ Bootstrapping envir…

3 comments
168 contributions in private repositories Oct 5 – Oct 26

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.