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
from manim import * | |
Title.set_default(tex_template=TexTemplate( | |
tex_compiler='xelatex', | |
output_format='.xdv', | |
preamble= = r''' | |
\usepackage{amsmath} | |
\usepackage{amssymb} | |
\usepackage{zxjatype} | |
\setmainfont{SarasaUiJ-Regular.ttf} |
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
<html> | |
<head> | |
<title>Mermaid.js</title> | |
<script src="https://cdn.jsdelivr.net/npm/mermaid@10.2.3/dist/mermaid.min.js"></script> | |
</head> | |
<body> | |
<div id="container"> | |
<div class="split"> | |
<textarea id="input"></textarea> | |
<button id="save">Save</button> |
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.Collections.Generic; | |
namespace Asn1 | |
{ | |
public enum Class : byte | |
{ | |
Universal = 0x0, | |
Application = 0x1, | |
ContextSpecific = 0x2, | |
Private = 0x3, |
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
#if IS_DEBUG | |
using System; | |
using UnityEngine; | |
using UnityEngine.EventSystems; | |
using UnityEngine.UI; | |
/// <summary> | |
/// uGUIを使ってウィンドウを表示するやつ | |
/// </summary> | |
public class DebugWindow : MonoBehaviour, IDisposable, IBeginDragHandler, IDragHandler |
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
module HomogeneousRow where | |
import Prim.Row (class Cons, class Lacks) | |
import Type.Data.List (Cons', List', Nil') | |
class HomogeneousRow :: forall k. List' -> k -> Row k -> Constraint | |
class HomogeneousRow list k row | list k -> row, row -> list | |
instance homogeneousRow :: HomogeneousRow Nil' typ () | |
else instance homogeneousRowCons :: |
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
defmodule SleepSort do | |
@spec sort(list(non_neg_integer)) :: list(non_neg_integer) | |
def sort(list) do | |
pid = self() | |
Enum.each list, fn x -> | |
spawn fn -> | |
Process.sleep x | |
send pid, x | |
end | |
end |
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
If($args.Length -lt 1){ | |
Add-Type -AssemblyName System.Windows.Forms; | |
$dialog = New-Object System.Windows.Forms.FolderBrowserDialog; | |
$dialog.Description = "Select kv header directory"; | |
$dialog.ShowNewFolderButton = $false; | |
$dialog.SelectedPath = Get-Location; | |
If($dialog.ShowDialog() -ne "OK"){ | |
Exit 1; |
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
PANDOC_EXTENSIONS = ignore_line_breaks tex_math_dollars raw_tex latex_macros | |
PANDOC_FILTERS = pandoc-crossref | |
CHAPTERS = src/intro.tex src/example.tex | |
EMPTY := | |
SPACE = $(EMPTY) $(EMPTY) | |
PANDOC_FORMAT = markdown$(strip $(if $(PANDOC_EXTENSIONS),\ | |
+$(subst $(SPACE),+,$(PANDOC_EXTENSIONS)),)) |
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.Text.RegularExpressions; | |
using System.Diagnostics; | |
namespace Json | |
{ | |
class Object : Dictionary<string, Parser.JsonItem> { } | |
class Array : List<Parser.JsonItem> { } |
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 <type_traits> | |
class identity{ | |
public: | |
template <class Type> | |
using type = Type; | |
}; | |
class int_{ |
NewerOlder