- Emil Persson @Humus
- Matt Pettineo @mynameismjp
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
import ctypes | |
renderdoc_dll = ctypes.CDLL(r'renderdoc.[dll|so]') | |
# Calling convention | |
RENDERDOC_CC = ctypes.CFUNCTYPE | |
# Enums for capture options | |
class RENDERDOC_CaptureOption(ctypes.c_uint32): | |
eRENDERDOC_Option_AllowVSync = 0 |
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
using System; | |
using System.Collections.Generic; | |
using System.IO; | |
using System.Linq; | |
using System.Threading; | |
using System.Windows; | |
using System.Windows.Controls; | |
using Microsoft.PowerToys.Settings.UI.Library; | |
using Wox.Plugin; | |
using Wox.Plugin.Logger; |
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
// A nano dependent type-checker featuring inductive types via self encodings. | |
// All computation rules are justified by interaction combinator semantics, | |
// resulting in major simplifications and improvements over old Kind-Core. | |
// Specifically, computable annotations (ANNs) and their counterpart (ANN | |
// binders) and a new self encoding based on equality (rather than dependent | |
// motives) greatly reduce code size. A more complete file, including | |
// superpositions (for optimal unification) is available on the | |
// Interaction-Type-Theory repository. | |
// Credits also to Franchu and T6 for insights. |
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
async function load_tabs_from_selected_item() | |
{ | |
let opened_items = Zotero_Tabs._tabs.filter(t => !!t['data']).map(t=>t['data']['itemID']) | |
let selectedItems = ZoteroPane.getSelectedItems(); | |
if (!selectedItems.length) { | |
throw new Error("Please select an item first."); | |
} | |
for(let item of selectedItems) | |
{ |
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
// ==UserScript== | |
// @name MathJax for kinopio.club | |
// @namespace | |
// @version 0.1 | |
// @description Enables MathJax on reddit for the TeXtheWorld delimiters [; ... ;]. | |
// @match https://kinopio.club/* | |
// @copyright | |
// @namespace https://greasyfork.org/users/399493 | |
// ==/UserScript== | |
if (window.MathJax === undefined) { |
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
workspace "CPP_Playground" | |
configurations {"Debug", "Release", "DebugDLL", "ReleaseDLL"} | |
platforms {"x64"} | |
-- basedir (path.getabsolute(_PREMAKE_DIR .. "../")) | |
location "../build" | |
targetdir "../build/bin/%{cfg.longname}" | |
debugdir "../build/bin/%{cfg.longname}" | |
configuration {"Debug"} |
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
#include "pch.h" | |
#include "clipaste_api.h" | |
//#define WIN32_LEAN_AND_MEAN // GDI+ don't need this | |
// Windows Header Files | |
#include <windows.h> | |
#include <gdiplus.h> |
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
using System; | |
using System.Collections.Generic; | |
using System.Linq; | |
using System.Text; | |
using System.Threading.Tasks; | |
using System; | |
using System.Collections.Generic; | |
using System.Linq; | |
using System.Text; | |
using System.Net.Sockets; |
NewerOlder