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, ...data: string[]) { }
const c = Sigma* *1
const Sigma = "uiae";
const SigmaS = "";
const x =
(
<def>
Ein {Sigma}-{Sigma}-Advice (Hinweis) {A} ist eine Abbildung
{A : Sigma* -> Pot(Gamma*)}
@hediet
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
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
hediet / main.md
Last active Nov 1, 2019
Proof that TypeScript's Type System is Turing Complete
View main.md
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
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
hediet / ListConverter.cs
Last active Aug 29, 2015
ListConverter
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
hediet / data.json
Last active Aug 29, 2015 — forked from phiresky/data.json
Data für blattabgabe.studium.sexy
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": "https://crypto.iti.kit.edu/fileadmin/User/SicherheitSS15/Uebung/Sicherheit_UE{2}.pdf",
"info": "Keine Abgabe. Besprechung in der Übung. <a href='https://crypto.iti.kit.edu/index.php?id=sic-sose15'>Vorlesungsseite</a>"
},
@hediet
hediet / CustomDiscriminatorObjectConverter.cs
Last active Aug 29, 2015
CustomDiscriminatorObjectConverter
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
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
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.