This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// Public Domain! | |
import java.util.Map; | |
import java.util.concurrent.ConcurrentHashMap; | |
import java.util.function.IntFunction; | |
import java.util.function.IntPredicate; | |
import org.jparsec.Parser; | |
import org.jparsec.Parsers; | |
import org.jparsec.pattern.CharPredicate; | |
import org.jparsec.pattern.Pattern; | |
import org.jparsec.pattern.Patterns; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/* | |
Copyright (C) 2019 Simon Schmidt | |
Usage of the works is permitted provided that this instrument is retained with | |
the works, so that any entity that uses the works is notified of this instrument. | |
DISCLAIMER: THE WORKS ARE WITHOUT WARRANTY. | |
*/ | |
const EventEmitter = require('events'); |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/* | |
Copyright (C) 2019 Simon Schmidt | |
Usage of the works is permitted provided that this instrument is retained with | |
the works, so that any entity that uses the works is notified of this instrument. | |
DISCLAIMER: THE WORKS ARE WITHOUT WARRANTY. | |
*/ | |
const hyperswarm = require('hyperswarm'); |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// https://stackoverflow.com/questions/21520015/pdfbox-converting-inches-or-centimeters-into-the-coordinate-system | |
private static final int DEFAULT_USER_SPACE_UNIT_DPI = 72; | |
private static final float MM_TO_UNITS = 1/(10*2.54f)*DEFAULT_USER_SPACE_UNIT_DPI; | |
OlderNewer