This file contains hidden or 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
% Define digits from 1 to 9 | |
digit(1). | |
digit(2). | |
digit(3). | |
digit(4). | |
digit(5). | |
digit(6). | |
digit(7). | |
digit(8). | |
digit(9). |
This file contains hidden or 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
// Derived from https://github.com/photonlines/Python-Prolog-Interpreter | |
import Foundation | |
// MARK: - Primitives | |
/// Rules are used to define relationships between facts and other rules.They | |
/// allow us to make conditional statements about our world. Let's say we want to say | |
/// that all humans are mortal. We can do so using the rule below: mortal(X) :- | |
/// human(X). |
This file contains hidden or 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/env python3 | |
import os | |
import argparse | |
import pyperclip | |
import sys | |
import re | |
def parse_arguments(): | |
parser = argparse.ArgumentParser( |
This file contains hidden or 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/env zsh | |
################################################################################ | |
# Prepare environment | |
################################################################################ | |
# Function to echo script description. | |
function help() { | |
label "" "" | |
label "dim" "Generates mocks for the AutoMockable protocols of the given target." |
This file contains hidden or 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/env zsh | |
# Function to echo text with specified styles. Only Zsh is supported. | |
label() { | |
local -r style_string="$1" | |
shift # remove the first argument, leaving only the text to be styled | |
local text="$*" | |
local codes="" | |
local -r reset_code="\033[0m" | |
local code_str="" |
This file contains hidden or 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 subprocess | |
import os | |
import time | |
import pathlib | |
import pylspclient | |
from pylspclient import lsp_structs | |
def get_uri_from_path(path: str) -> str: |
This file contains hidden or 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
/* | |
Copyright (c) 2011, Mads A. Elvheim | |
All rights reserved. | |
Redistribution and use in source and binary forms, with or without | |
modification, are permitted provided that the following conditions are met: | |
* Redistributions of source code must retain the above copyright | |
notice, this list of conditions and the following disclaimer. | |
* Redistributions in binary form must reproduce the above copyright | |
notice, this list of conditions and the following disclaimer in the |
This file contains hidden or 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
// | |
// utf8.c | |
// training | |
// | |
// Created by Conrad Kleinespel on 5/27/13. | |
// Copyright (c) 2013 Conrad Kleinespel. All rights reserved. | |
// | |
#include <stdio.h> | |
#include <stdlib.h> |
This file contains hidden or 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
[user] | |
# TODO: set name and email | |
#name = <name> | |
#email = <email> | |
excludesfile = ~/.gitignore_global | |
editor = vim | |
[merge] | |
tool = Kaleidoscope | |
[mergetool] | |
prompt = false |
This file contains hidden or 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
#! /bin/bash | |
################################################################################ | |
# | |
# Returns random string of length 32. | |
# | |
# Example: | |
# ./random_string | |
# | |
################################################################################ |
NewerOlder