Skip to content

Instantly share code, notes, and snippets.

Avatar

Henning Dieterichs hediet

View GitHub Profile
@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
{
@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 / 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 / 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 / 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 / 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 / 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"
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*)}
View Schema.ts
type SchemaType = PrimitiveSchema | ObjectSchema | ParametrizedObjectSchema;
interface PrimitiveSchema<T = any> {
kind: "primitive";
type: T;
}
interface Fields {
[name: string]: SchemaType;
}
View demo.ts
// shared
export const debuggerProxyContract = contract({
server: {
keepAlive: notificationContract({}),
},
client: {
serverStarted: notificationContract({ params: type({ port: number }) }),
clientConnected: notificationContract({}),
},
});
You can’t perform that action at this time.