Skip to content

Instantly share code, notes, and snippets.

View MaSven's full-sized avatar
💭
I may be slow to respond.

w1ntermute MaSven

💭
I may be slow to respond.
View GitHub Profile
cd lib/orcania && make install
make[1]: Verzeichnis „/home/sven/git/ulfius/lib/orcania“ wird betreten
cp liborcania.so.0.8 /usr/lib
cp orcania.h /usr/include
/sbin/ldconfig -r /usr
/sbin/ldconfig: Warning: ignoring configuration file that cannot be opened: /usr/share/defaults/etc/ld.so.conf: No such file or directory
/sbin/ldconfig: Can't create temporary cache file /etc/ld.so.cache~: No such file or directory
make[1]: *** [Makefile:43: install] Fehler 1
make[1]: Verzeichnis „/home/sven/git/ulfius/lib/orcania“ wird verlassen
make: *** [Makefile:35: install] Fehler 2
@MaSven
MaSven / KryptoException.java
Created January 26, 2017 14:40
KryptoAufgabe1
package fh.krypto.Aufgabe1;
public class KryptoMathException extends Exception{
public KryptoMathException(String string) {
super(string);
}
}
@MaSven
MaSven / gist:475c35a2ef69e0d844e88cb69a4c3805
Created December 13, 2016 13:53 — forked from trodrigues/gist:1023167
Checkout only certain branches with git-svn
If you want to clone an svn repository with git-svn but don't want it to push all the existing branches, here's what you should do.
* Clone with git-svn using the -T parameter to define your trunk path inside the svnrepo, at the same time instructing it to clone only the trunk:
git svn clone -T trunk http://example.com/PROJECT
* If instead of cloning trunk you just want to clone a certain branch, do the same thing but change the path given to -T:
git svn clone -T branches/somefeature http://example.com/PROJECT
import java.util.concurrent.ThreadLocalRandom;
import java.util.List;
class Auto {
/*@ predicate auto(int p,int r)= position |-> p &*& richtung |->
r &*& 0 < p &*& p < 5 &*& 0 < r &*& r < 5;
@*/
public int position;
public int richtung;
public Auto(int position, int richtung)
import java.util.Random;
class Auto {
/*@ predicate auto(int p,int r)= position |-> p &*& richtung |->
r &*& 0 < p &*& p < 5 &*& 0 < r &*& r < 5;
@*/
public int position;
public int richtung;
public Auto(int position, int richtung) {
@MaSven
MaSven / pom.xml
Created November 23, 2016 14:15
Standard pom für jzy3d
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
<modelVersion>4.0.0</modelVersion>
<groupId>isys</groupId>
<artifactId>Datenanalyse</artifactId>
<version>0.0.1-SNAPSHOT</version>
<packaging>jar</packaging>
<repositories>
<repository>
@MaSven
MaSven / cypher.c
Created July 11, 2016 21:46
C-Code für Edurad
#include <stdio.h>
#include <stdlib.h>
#include <math.h>
#include <string.h>
int main (void)
{

Implementierung eines Dynamischen Speicher Getting started

Dieses Projekt ist eine Implementierung eines dynamischen Speichers. Es soll zeigen wie ein dynamischer Speicher in seinen grundzügen funktioniert.

Projekt

Der Code wird als Visual Studio Projekt bereit gestellt. Eine version von Visual Studio 2013 oder höher wird unterstützt. Um es in die Entwicklungsumgebung einzupflegen muss nur die memory.suo Datei in Visual Studio geöffnet werden. Die Datei main.c ist dabei der einstiegspunkt in das Programm. Die eigentliche Logik des Programms befindet sich in core.c. Fertig erstellte .exe zum ausführen finden sich unter dem DEBUG bzw RELEASE Ordner. Getestet auf Windows 10.

  • core.c Eigentlicher ablauf des Programms
@MaSven
MaSven / ListToMap.java
Created July 21, 2015 10:10
Formatiert einen String in eine Map
import java.util.Arrays;
import java.util.HashMap;
import java.util.Map;
import java.util.stream.Collectors;
import java.util.stream.Stream;
/**
*
*/
@MaSven
MaSven / ListToMap
Created July 21, 2015 10:09
Formatiert einen String in eine HashMap
import java.util.Arrays;
import java.util.HashMap;
import java.util.Map;
import java.util.stream.Collectors;
import java.util.stream.Stream;
/**
*
*/