leodemoura

import Lean

-- The `elab` command is used to define new commands, tactics, and term syntax.
-- We are using it here to define a `#reformat <term>` command that elaborates
-- the given term and then pretty prints it.
open Lean Meta Elab Command Term in
elab "#reformat " s:term : command => liftTermElabM do
  -- `elabTerm` converts `s : Syntax` into an expression `e` without using an expected type (i.e., `none`)
  -- `withSynthesize x` forces pending elaboration problems in `x` to be executed, it applies default instances too.
  let e ← withSynthesize do elabTerm s none

Alecerzea

#!/bin/bash
echo "JUST USE DEBIAN OR LMDE"

GrahamcOfBorg

Maintainers:
pinpox: wireviz, wireviz, wireviz, wireviz

GrahamcOfBorg

aarch64-darwin	wireviz
aarch64-linux	wireviz
x86_64-linux	wireviz
x86_64-darwin	wireviz

HugsLibRecordKeeper

Log uploaded on Wednesday, July 3, 2024, 2:27:23 AM
Loaded mods:
Prepatcher(zetrith.prepatcher): 0Harmony(2.3.3), 0PrepatcherAPI(1.2.0), 0PrepatcherDataAssembly(1.0.0), PrepatcherImpl(1.0.0), Prestarter(1.0.0)
Harmony(brrainz.harmony)[mv:2.3.1.0]: 0Harmony(2.3.3), HarmonyMod(2.3.1)
Fishery - Modding Library(bs.fishery): 0PrepatcherAPI(1.2.0), 1Fishery(0.6.1), System.Runtime.CompilerServices.Unsafe(av:6.0.0,fv:6.0.21.52210)
Core(Ludeon.RimWorld): (no assemblies)
Performance Fish(bs.performance): PerformanceFish(0.6.2)
Royalty(Ludeon.RimWorld.Royalty): (no assemblies)
Ideology(Ludeon.RimWorld.Ideology): (no assemblies)

HugsLibRecordKeeper

Log uploaded on Wednesday, July 3, 2024, 3:27:20 AM
Loaded mods:
Harmony(brrainz.harmony)[mv:2.3.1.0]: 0Harmony(2.3.3), HarmonyMod(2.3.1)
Core(Ludeon.RimWorld): (no assemblies)
[KV] Don't stop the music(dontstopthemusic.kv.rw)[ov:1.5.0.0]: musicPauseOut(1.0.0)
[SR]Raid Extension Continued(SR.ModRimworld.RaidExtensionContinued): ModRimWorldRaidExtension(1.0.0)
HugsLib(UnlimitedHugs.HugsLib)[ov:11.0.4]: 0Harmony(av:2.3.3,fv:1.2.0.1), HugsLib(av:1.0.0,fv:11.0.4)
Allow Tool(UnlimitedHugs.AllowTool): AllowTool(av:3.6.0,fv:3.13.1)
Vanilla Expanded Framework(OskarPotocki.VanillaFactionsExpanded.Core): 0ModSettingsFramework(1.0.0), 0MultiplayerAPI(av:0.3.0,fv:0.3.0), 0PrepatcherAPI(1.1.1), ExplosiveTrailsEffect(1.0.7140.31563), GraphicCustomization(1.0.0), HeavyWeapons(1.0.0), KCSG(av:1.1.2,fv:24.4.15), MVCF(2.0.0.1), NoCamShakeExplosions(1.0.0), OPToxic(1.0.0), Outposts(av:3.0.0,fv:1.0.0), PipeSystem(av:1.0.1,fv:22.7.29), RecipeInheritance(1.0.1), RRO(1.0.0), SmokingGun(1.0.0), VanillaStorytellersExpanded(1.0.0), Va

biomathcode

import "./styles.css";

import { parseGIF, decompressFrames } from "gifuct-js";
import WebMWriter from "webm-writer";

export default function App() {
  const handleChange = (e) => {
    const file = e.target.files[0];
    const filereader = new FileReader();
    filereader.onload = (res) => {

GrahamcOfBorg

Maintainers:
kini: avdump3, avdump3

GrahamcOfBorg

aarch64-linux	avdump3
x86_64-linux	avdump3

hickskl

https://docs.google.com/document/d/1GJcvlYvgd4ARyx1EKOXsOePGITXi8L_gXsTh3vfjkKY/edit?usp=sharing
https://auth0.com/blog/url-uri-urn-differences/