Skip to content

Instantly share code, notes, and snippets.

View TriHydera's full-sized avatar

TriHydera TriHydera

View GitHub Profile
Isohedral Tiling Wallpaper Group Tile
IH1 p1 Hexagon
IH2 pg Hexagon
IH3 pg Hexagon
IH4 p2 Hexagon
IH5 pgg Hexagon
IH6 pgg Hexagon
IH7 p3 Hexagon
IH8 p2 Hexagon
IH9 pgg Hexagon
<!-- Navbar -->
<div class="w3-top">
<div class="w3-bar w3-red w3-card w3-left-align w3-large">
<a class="w3-bar-item w3-button w3-hide-medium w3-hide-large w3-right w3-padding-large w3-hover-white w3-large w3-red"
href="javascript:void(0);" onclick="toggleNav()" title="Toggle Navigation Menu">
<i
class="fa fa-bars"></i></a> <a href="#"
class="w3-bar-item w3-button w3-padding-large w3-white">Home</a>
<a href="/math-quiz" class="w3-bar-item w3-button w3-hide-small w3-padding-large w3-hover-white">Math
Quiz</a>
<div class="w3-top">
<div class="w3-bar w3-red w3-card w3-left-align w3-large">
<a class="w3-bar-item w3-button w3-hide-medium w3-hide-large w3-right w3-padding-large w3-hover-white w3-large w3-red"
href="javascript:void(0);" onclick="toggleNav()" title="Toggle Navigation Menu"><i
class="fa fa-bars"></i></a> <a href="#"
class="w3-bar-item w3-button w3-padding-large w3-white">Home</a>
<a href="/math-quiz" class="w3-bar-item w3-button w3-hide-small w3-padding-large w3-hover-white">Math
Quiz</a>
<a href="/games/dice-slots" class="w3-bar-item w3-button w3-hide-small w3-padding-large w3-hover-white">Dice
Slots</a>
@TriHydera
TriHydera / jsonParser.bat
Created April 9, 2022 18:29 — forked from navono/jsonParser.bat
parse JSON file by windows batch
:: Read file "package.json" into variable string, removing line breaks.
set string=
for /f "delims=" %%x in (package.json) do set "string=!string!%%x"
rem Remove quotes
set string=%string:"=%
rem Remove braces
set "string=%string:~2,-2%"
rem Change colon+space by equal-sign
set "string=%string:: ==%"
@TriHydera
TriHydera / jsonfeed2rss.php
Created June 16, 2022 20:57 — forked from daveajones/jsonfeed2rss.php
Convert JSONFeed to RSS
<?php
//Convert JSONfeed to RSS in a single function as a drop-in to make adding JSONfeed
//support to an aggregator easier
function convert_jsonfeed_to_rss($content = NULL, $max = NULL)
{
//Test if the content is actual JSON
json_decode($content);
if( json_last_error() !== JSON_ERROR_NONE) return FALSE;