Skip to content

Instantly share code, notes, and snippets.

View Heiss's full-sized avatar
🦀
Focusing

Peter Heiss Heiss

🦀
Focusing
View GitHub Profile
@Heiss
Heiss / Cargo.toml
Created August 11, 2023 18:28
Dicts-to-csv in Rust and PropertyTesting
[package]
name = "dicts-to-csv"
version = "0.1.0"
edition = "2021"
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
[dependencies]
[dev-dependencies]
@Heiss
Heiss / confluence.html
Created February 20, 2023 10:42
MALIS22 - IT2 Kleines Projekt
<p><br/></p>
<table class="wrapped">
<colgroup>
<col style="width: 130.0px;"/>
<col style="width: 647.0px;"/>
</colgroup>
<tbody>
<tr>
<td>Title:</td>
<td>
@Heiss
Heiss / _c4.md
Last active January 28, 2023 07:32
RFC architecture as code

Idea

Implement a tool, which takes a markdown file and generates the images and place them inside of markdown instead of the comment section. The commtent inside of markdown specifies what the tool should do. The tool should use c4model

c4cli c4.md > c4.computed.md
<!-- -- generate from [example.java,example.rs,example.hs] -->
@Heiss
Heiss / RFC.md
Last active May 29, 2022 12:51
Rust Resource Effects

Contact: peter.heiss@uni-muenster.de

Idea taken from fuzion (programming language) https://flang.dev/talks/gpn20 The talk is in german, but the general idea i want to refer to, can be seen in bottom of the linked webpage. Click on any "effects" button there.

Term: effects

Effects means hear, that there is a resource which will be used (see fuzion). It should not be confused by side effects in other contexts.

@Heiss
Heiss / App.vue
Created April 28, 2021 14:09
RDS-Web
<template>
<div class="uk-flex uk-flex-center uk-flex-middle uk-height-1-1 uk-width-1-1">
<oc-spinner
v-if="loading"
:aria-label="this.$gettext('Loading media')"
class="uk-position-center"
size="xlarge"
/>
<iframe
class="uk-height-1-1 uk-width-1-1"
@Heiss
Heiss / feed.xml
Last active November 2, 2020 00:23
finanzblogroll
<?xml version='1.0' encoding='UTF-8'?>
<rss xmlns:atom="http://www.w3.org/2005/Atom" xmlns:content="http://purl.org/rss/1.0/modules/content/" version="2.0">
<channel>
<title>Feed</title>
<link>https://finanzblogroll.de/rss-feed/
</link>
<description>Feed description</description>
<atom:link href="https://finanzblogroll.de/rss-feed/&#10;" rel="self"/>
<docs>http://www.rssboard.org/rss-specification</docs>
<generator>python-feedgen</generator>