Mads Hartmann (mads-hartmann)

mads-hartmann

Geek Repo

Company:@gitpod-com

Location:Denmark

Home Page:https://mads-hartmann.com

Twitter:@mads_hartmann

Github PK Tool:Github PK Tool


Organizations
sbt

Mads Hartmann's repositories

scala.tmbundle

TextMate bundle for the Scala programming language

Language:RubyLicense:MITStargazers:171Issues:7Issues:48

lt-ocaml

LightTable plugin for OCaml

random

Random hacks 🙃 Experiments, examples, and everything in between.

Language:ScalaStargazers:10Issues:2Issues:0

dotfiles

I ❤️ dotfiles

blog.mads-hartmann.com

My personal blog 📝

Language:SCSSStargazers:6Issues:1Issues:0

dotfilesv2

Dotfiles v2

Language:ShellStargazers:2Issues:1Issues:0

mads-hartmann.com

mads-hartmann.com

Language:HCLStargazers:2Issues:3Issues:0

cloud.mads-hartmann.com

How I manage the cloud resources for my own personal sites. As well as a few different experiments to better understand how various bits and pieces work in practice.

Language:HCLStargazers:1Issues:2Issues:0

computer.mads-hartmann.com

Notes about my computer

Language:CSSStargazers:1Issues:2Issues:0

docker-compose-runner

A CLI for managing Docker Compose applications

Language:GoLicense:AGPL-3.0Stargazers:1Issues:2Issues:0

pullies

🤖 Tiny command line tool to help you keep track of your pull request responsibilities.

Language:OCamlLicense:ISCStargazers:1Issues:3Issues:0

vscode-yassnippet

Use your yassnippets in vscode

Language:TypeScriptStargazers:1Issues:2Issues:2

autoscaler

Autoscaling components for Kubernetes

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

extensions

Everything you need to extend Raycast.

Language:TypeScriptLicense:MITStargazers:0Issues:1Issues:0

gitpod-dotfiles

gitpod-dotfiles

Language:ShellStargazers:0Issues:1Issues:0

gitpod-issue-10502

Reproducible example for gitpod-io/gitpod issue 10502

Language:JavaScriptStargazers:0Issues:2Issues:0

Gitpod-Raycast-Extension

Raycast Extension for Gitpod

Language:TypeScriptLicense:MITStargazers:0Issues:1Issues:0

gitpod-usability-test

gitpod-usability-test

Stargazers:0Issues:2Issues:0

learning-go

Examples from working through O'Reilly's Learning Go

Language:GoStargazers:0Issues:2Issues:0

library.mads-hartmann.com

Static site rendering all the books in my library. The data is managed as a table in Airtable and the site is generated using 11ty.

Language:JavaScriptStargazers:0Issues:2Issues:0

links.mads-hartmann.com

links.mads-hartmann.com

Language:TypeScriptStargazers:0Issues:2Issues:0

mirageos-example

Playing around with writing Unikernels using MirageOS

Language:OCamlStargazers:0Issues:2Issues:0

new

This is my starting point for new things; it's my "dotfiles" but "for computers".

Language:NixStargazers:0Issues:2Issues:0

o11y

Trying to achieve observability 🔭

Language:JavaScriptStargazers:0Issues:1Issues:0

template-typescript-node

A Typescript Node.js template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.

Language:SCSSLicense:MITStargazers:0Issues:1Issues:0

terraform-aws-oidc-github

Terraform module to configure GitHub Actions as an IAM OIDC identity provider in AWS.

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

werft

Just Kubernetes Native CI

Language:GoLicense:MITStargazers:0Issues:1Issues:0