Skip to content

Instantly share code, notes, and snippets.

dasuxullebt

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
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>
@dasuxullebt
dasuxullebt / listinigs.py
Created Jan 9, 2016
listings with labels instead of raw line numbers for latex (hack)
View listinigs.py
#!/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
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,
View ToBrl.java
/*
* Copyright 2016 (C) Christoph-Simon Senjak
*
* Mail: System.out.println(new StringBuilder("ed" + "." + "luxu" + "@" + "ssc").reverse().toString());
*/
import java.io.IOException;
import javax.imageio.ImageIO;
import java.io.File;
import java.awt.image.BufferedImage;
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 := Vector.map.
Notation fin_rect2 := Fin.rect2.
@dasuxullebt
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:
You can’t perform that action at this time.