Skip to content

Instantly share code, notes, and snippets.

View jonaprieto's full-sized avatar

Jonathan Cubides jonaprieto

48 followers · 40 following
View GitHub Profile
@jonaprieto
jonaprieto / dracula.css
Created April 14, 2023 16:28
Formatted from https://github.com/facelessuser/pymdown-extensions/blob/main/docs/theme/assets/pymdownx-extras/
@charset "UTF-8";
:root > * {
--md-code-link-bg-color: hsla(0, 0%, 96%, 1);
--md-code-link-accent-bg-color: var(--md-code-link-bg-color);
--md-default-bg-color--trans: rgb(100%, 100%, 100%, 0);
--md-code-title-bg-color: var(--md-code-bg-color);
--md-code-inline-bg-color: var(--md-code-bg-color);
--md-code-special-bg-color: #e8e8e8;
--md-code-alternate-bg-color: var(--md-code-bg-color);
--md-code-hl-punctuation-color: var(--md-code-fg-color);
@jonaprieto
jonaprieto / keybindings.jsonc
Last active June 14, 2023 22:39
Dance config for vscode
[
{
"key": "ctrl+g",
"command": "dance.modes.set.normal",
"args" : {
"mode": ""
},
"when": "(editorTextFocus) && (dance.mode == 'normal' || dance.mode == 'insert' || dance.mode == 'insert' || dance.mode == 'window' || dance.mode == 'view' || dance.mode == 'file' || dance.mode == 'project')",
},
// ===========================================================================
@jonaprieto
jonaprieto / Makefile
Created May 25, 2023 08:48
Convert all the mov files to mp4 using HandBrakeCLI
# Put this Makefile inside the folder containing your
# MOV files.
MOV_FILES := $(wildcard *.mov)
MP4_FILES := $(patsubst %.mov,%.mp4,$(MOV_FILES))
all: $(MP4_FILES)
# In macOS, use `brew install HandBrakeCLI`
%.mp4: %.mov
@jonaprieto
jonaprieto / check-my-dois.py
Last active April 10, 2023 21:08
Print which dois are broken
import requests
import pybtex.database
with open('./ref.bib') as bibfile:
bib_database = pybtex.database.parse_file(bibfile)
for key in bib_database.entries.keys():
entry = bib_database.entries[key]
if 'doi' in entry.fields:
doi = entry.fields['doi'].replace('\_', '_')
@jonaprieto
jonaprieto / paragraph-numbering.tex
Created April 2, 2023 14:53
Numbering paragraph
% -------------------------------------------------------------------
% Paragraph numbering
% -------------------------------------------------------------------
\usepackage{parano}% http://www.sci.usq.edu.au/staff/braithwa/parano.sty
%\usepackage{hyperref}
%Fixes to parano.sty. One must uses the command \parano.
\makeatletter
\newcommand{\paranospace}{\hfill}% Introduced for more flexible customisation
@jonaprieto
jonaprieto / examples.md
Last active March 12, 2023 17:10
House-graphs and other embeddings

Example 1: House Graph

HouseGraph = Graph[{
    1 -> 2,
    1 -> 3,
    2 -> 3,
    2 -> 4,
    3 -> 5,
    4 -> 5
@jonaprieto
jonaprieto / Normalisation.hs
Created February 6, 2023 12:43
NbE for Juvix Geb STLC
module Juvix.Compiler.Backend.Geb.Normalisation
( module Juvix.Compiler.Backend.Geb.Evaluator,
module Juvix.Compiler.Backend.Geb.Evaluator.Options,
)
where
import Data.List.NonEmpty
import Juvix.Compiler.Backend.Geb.Evaluator.Options
import Juvix.Compiler.Backend.Geb.Language qualified as Geb
import Juvix.Prelude
@jonaprieto
jonaprieto / agda_requirements.txt
Last active July 18, 2021 00:24
From (https://github.com/bbarker/LearningAgda): NixOS support file for Agda-Pkg
standard-library==v1.2
@jonaprieto
jonaprieto / Faces.lagda.md
Last active June 30, 2021 07:43
Cyclicgraphs excerpts
title
On planarity of univalent graphs
 
{-# OPTIONS --without-K --exact-split --allow-unsolved-metas --rewriting #-}

module lib.graph-families.CycleGraph.Faces
  where
  open import foundations.Core
@jonaprieto
jonaprieto / InductiveDef.lagda.md
Last active June 22, 2021 14:18
Inductive definition 
{-# OPTIONS --without-K  --exact-split --rewriting #-}

module lib.graph-embeddings.Planar.InductiveDef where
open import foundations.Core

open import lib.graph-definitions.Graph
open Graph
open import lib.graph-walks.Walk