Skip to content

Instantly share code, notes, and snippets.


Block or report user

Report or block dasuxullebt

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
dasuxullebt / benchmark.hs
Last active Oct 24, 2017
Simple Benchmark Tool
View benchmark.hs
A simple program that calls the `time` command on a given command,
parses the output, the required time and space, and puts it into a
given SQLite database.
Requires persistent, persistent-template, persistent-sqlite
Invoke with:
View array_set.v
Require Import Coq.Vectors.Vector.
Require Import Program.
Notation vec := Vector.t.
Notation Vnth := Vector.nth.
Notation Vnil := (@Vector.nil _).
Notation Vcons := (@Vector.cons _).
Notation Vmap :=
Notation fin_rect2 := Fin.rect2.
* Copyright 2016 (C) Christoph-Simon Senjak
* Mail: System.out.println(new StringBuilder("ed" + "." + "luxu" + "@" + "ssc").reverse().toString());
import javax.imageio.ImageIO;
import java.awt.image.BufferedImage;
View spacepins.c
char m[] = "Copyright (c) 2016, Christoph-Simon Senjak";
printf("%s <%c%c%c%c%s%c>\n", m, m[11], m[24], m[24], '@', "uxul.d", m[37]);
All rights reserved.
Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions are met:
1. Redistributions of source code must retain the above copyright notice,
dasuxullebt /
Created Jan 9, 2016
listings with labels instead of raw line numbers for latex (hack)
#!/usr/bin/env python
# This file defines a simple mechanism to use labels in source code,
# rather than raw line numbers, for the lstinputlisting-command in
# latex. Use the format
# \lstinputlisting[firstline=LABEL1, lastline=LABEL2, ...]{filename}
# especially, firstline and lastline must be the first two
# arguments. In your sourcecode, you simply add a comment containing
dasuxullebt / pcmwav.h
Created Apr 6, 2014
Add WAV-header to PCM data
View pcmwav.h
/* Save 16 bit PCM 44.1kHz stereo data into a WAV-File, so common media
players will recognize it.
#pragma once
#include <unistd.h>
#include <stdint.h>
#include <stdbool.h>
#include <stdio.h>
You can’t perform that action at this time.