Skip to content

Instantly share code, notes, and snippets.

Henning Dieterichs hediet

Block or report user

Report or block hediet

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
View Latex Alternative.txt
function tex(str: TemplateStringsArray, string[]) { }
const c = Sigma* *1
const Sigma = "uiae";
const SigmaS = "";
const x =
Ein {Sigma}-{Sigma}-Advice (Hinweis) {A} ist eine Abbildung
{A : Sigma* -> Pot(Gamma*)}
hediet / installation.json
Created Jul 9, 2017
Alternative to node_modules
View installation.json
"dependencies": {
"classnames": {
"ref": "classnames@2.2.5_1"
"mobx": {
"ref": "mobx@3.2.0_2"
"mobx-react": {
"ref": "mobx-react@4.2.2_3"
hediet / main.ts
Created Apr 21, 2017
Acceptor / User Pattern for TypeScript
View main.ts
interface Acceptor<T extends string> {
accept(x: UserOf<T>): any;
allow<T1 extends string>(x: T1): Acceptor<T|T1>;
interface UserOf<T extends string> {
_brand: T;
function use<T extends string>(name: T): UserOf<T> { return null!; }
hediet /
Last active Nov 1, 2019
Proof that TypeScript's Type System is Turing Complete
type StringBool = "true"|"false";

interface AnyNumber { prev?: any, isZero: StringBool };
interface PositiveNumber { prev: any, isZero: "false" };

type IsZero<TNumber extends AnyNumber> = TNumber["isZero"];
type Next<TNumber extends AnyNumber> = { prev: TNumber, isZero: "false" };
type Prev<TNumber extends PositiveNumber> = TNumber["prev"];
hediet / WebBrowserIE11Fix.cs
Created Aug 17, 2016
A fix that enables IE11 for the WPF browser control.
View WebBrowserIE11Fix.cs
internal static class WebBrowserIE11Fix
public static void SetIE11KeyforWebBrowserControl(string processPath = null)
if (processPath == null)
processPath = Process.GetCurrentProcess().ProcessName + ".exe";
RegistryKey Regkey = null;
hediet / ListConverter.cs
Last active Aug 29, 2015
View ListConverter.cs
using System;
using System.Collections;
using System.Collections.Generic;
using System.Linq;
using System.Reflection;
namespace Hediet.Common
/// <summary>
/// Casts a list of objects to a strong typed list of any type.
hediet / data.json
Last active Aug 29, 2015 — forked from phiresky/data.json
Data für
View data.json
"help": "{n} is replaced with the sheet number, n represents the padding of the number e.g. ({2} => (01,02,03))",
"name": "KIT Inf SS2015 (4. FSem)",
"uebs": {
"Sicherheit": {
"begin": "2015-04-23 15:45",
"every": 14,
"url": "{2}.pdf",
"info": "Keine Abgabe. Besprechung in der Übung. <a href=''>Vorlesungsseite</a>"
hediet / CustomDiscriminatorObjectConverter.cs
Last active Aug 29, 2015
View CustomDiscriminatorObjectConverter.cs
using System;
using System.Diagnostics.Contracts;
using System.Linq;
using Newtonsoft.Json;
using Newtonsoft.Json.Linq;
namespace Hediet.Json.Converter
public class CustomDiscriminatorObjectConverter : Newtonsoft.Json.JsonConverter
hediet / BijectivMap.cs
Created Mar 9, 2015
A class which maps a fixed size array of integer bijective to a single integer.
View BijectivMap.cs
namespace Hediet.Math
public class BijectivMap
private readonly int[] lowerKeyBounds;
private readonly int[] upperKeyBounds;
public BijectivMap(int[] lowerKeyBounds, int[] upperKeyBounds)
this.lowerKeyBounds = lowerKeyBounds;
hediet / XmlDocumentationProvider.cs
Last active Aug 29, 2015
DocumentationProvider using NuDoc
View XmlDocumentationProvider.cs
namespace Hediet.Reflection
interface IDocumentationProvider
string GetDocumentationText(MemberInfo memberInfo);
string GetDocumentationText(ParameterInfo memberInfo);
class XmlDocumentationProvider : IDocumentationProvider
You can’t perform that action at this time.