Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
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
tex.define {\"[1]=#1e} | |
tex.define {\ss=ss} | |
tex.define {\AE=AE} | |
tex.define {\OE=OE} | |
tex.define {\aa=aa} | |
tex.define {\AA=AA} | |
tex.define {\o=o} | |
tex.define {\O=O} | |
tex.define {\l=l} | |
tex.define {\L=L} |
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 inspect | |
import sys | |
import types | |
from typing import Dict | |
def global_functions() -> Dict[str, str]: | |
result = {} | |
module = sys.modules['__main__'] | |
for key in dir(module): |
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
# MIT License | |
# | |
# Copyright (c) 2022 Dominic Steinhöfel | |
# | |
# Permission is hereby granted, free of charge, to any person obtaining a copy | |
# of this software and associated documentation files (the "Software"), to deal | |
# in the Software without restriction, including without limitation the rights | |
# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell | |
# copies of the Software, and to permit persons to whom the Software is | |
# furnished to do so, subject to the following conditions: |
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
:- use_module(library(clpfd)). | |
:- use_module(library(aggregate)). | |
% How to use: | |
% | |
% - Add preference(student, paper_id, pref_value) facts for the preferences of all students | |
% (see end of file!) | |
% - student is any kind of value, e.g., strings or atoms | |
% - paper_id is a numeric identifier starting a 0 | |
% - pref_value is a numeric value. Higher values indicate higher preferences |
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
#!/usr/bin/python3 | |
import xml.etree.ElementTree as ET | |
import re | |
import sys | |
import os | |
import threading | |
from pathlib import Path | |
from subprocess import call | |
########################################################################### |
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
#!/usr/bin/python3 | |
import xml.etree.ElementTree as ET | |
import re | |
import sys | |
import os | |
import pyperclip | |
from pathlib import Path | |
from subprocess import call | |
########################################################################### |
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
(* | |
Compile to PDF with | |
coqc firstorder.v ; coqdoc --latex --no-lib-name -s -p "\usepackage{parskip}\renewcommand{\thesection}{\arabic{section}}" firstorder.v ; pdflatex firstorder.tex | |
*) | |
Require Import Coq.Strings.String. | |
Require Import Coq.Vectors.VectorDef. | |
Require Import Coq.Relations.Relation_Definitions. | |
Module firstorder. |
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
// This ANTLR4 parser grammar is based on the parser part of an LLVM BNF grammar from | |
// https://gist.github.com/mewmew/a2487392d5519ef49658fd8f84d9eed5, | |
// which in turn has been based on the source code of the official LLVM project, | |
// as of 2018-02-19 (rev db070bbdacd303ae7da129f59beaf35024d94c53). | |
// * lib/AsmParser/LLParser.cpp | |
// === [ Module ] ============================================================== | |
// https://llvm.org/docs/LangRef.html#module-structure |
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
// This ANTLR4 lexer grammar is based on the lexer part of an LLVM BNF grammar from | |
// https://gist.github.com/mewmew/a2487392d5519ef49658fd8f84d9eed5, | |
// which in turn has been based on the source code of the official LLVM project, | |
// as of 2018-02-19 (rev db070bbdacd303ae7da129f59beaf35024d94c53). | |
lexer grammar LLVMLexer; | |
LT : '<' ; | |
EQSIGN : '=' ; | |
GT : '>' ; |
NewerOlder