qexat

(** Cygnus is an experiment for the proof assistant Caroline.

    It defines a simple type system based on a foundational type -
    coloquially called "Hole" - which is inhabited by two
    constructors, `⊥` (bottom) and `()` (unit).

    From this type, we describe each other type of the system,
    by either simply settling on a bijection from Hole, or by
    inductively specifying its constructors.

qexat

#!/usr/bin/env fish

##################################################################
# Check if there are updates available.                          #
# -------------------------------------------------------------- #
# First, it runs `checkupdates` (with `-d` to prefetch). If it   #
# returns 2, this means it has not found any updates. We then    #
# query the AUR database to verify if there are updates on their #
# side.                                                          #
#                                                                #

qexat

# ruff: noqa: DOC201, DOC501

"""
Combinatorial arithmetic
"""

from __future__ import annotations

import abc
import typing

qexat

#!/bin/sh

# ===================== LICENSE ===================== #
# MIT License                                         #
#                                                     #
# Copyright (c) 2024 Qexat                            #
#                                                     #
# Permission is hereby granted, free of charge, to    #
# any person obtaining a copy of this software and    #
# associated documentation files (the "Software"), to #

qexat

fix = true
unsafe-fixes = false
preview = true

exclude = [".venv", "build", "dist"]

line-length = 80
indent-width = 4

[lint]

qexat

#include <stdio.h>
#include <stdlib.h>

#define ITERATOR_IMPL(T, state_t)                                                                                      \
    struct                                                                                                             \
    {                                                                                                                  \
        T (*__next__)(state_t *);                                                                                      \
    }
#define ITERATOR_STATE(T)                                                                                              \
    struct iterator_state_##T                                                                                          \

qexat

"""
My configuration file for ptpython.

Want it for yourself? Put it inside `<XDG home dir>/.config/ptpython/`.
"""

## LINT COMMAND #######################################################################
# ruff check ~/.config/ptpython/config.py --select ALL --ignore D212,D203,INP001,D202 #
#######################################################################################

qexat

import math
import sys

CORRECTOR = ((4 - sys.float_info.max * sys.float_info.min) / 2.5)


def fix_float(value: float) -> float:
    if abs(value) < sys.float_info.epsilon:
        return 0.0

qexat

{
  /* GLOBAL VS CODE SETTINGS */
  "diffEditor.hideUnchangedRegions.enabled": true,
  "diffEditor.experimental.showMoves": true,
  "editor.bracketPairColorization.enabled": true,
  "editor.cursorBlinking": "phase",
  "editor.cursorSmoothCaretAnimation": "on",
  "editor.fontFamily": "'GeistMono Nerd Font Propo', 'Lilex','JetBrainsMono Nerd Font', 'JetBrains Mono', 'monospace', monospace",
  "editor.fontLigatures": "'zero', 'ss01', 'cv11'",
  "editor.fontSize": 14,

qexat

#!/usr/bin/env python
# pyright: reportUnusedCallResult = false

# Requires outspin:
#   pip install outspin

from __future__ import annotations

import io
import os