pingbird

import 'dart:math';

import 'package:boxy/boxy.dart';
import 'package:collection/collection.dart';
import 'package:flutter/material.dart';
import 'package:flutter/rendering.dart';

class SliverMosaic extends StatelessWidget {
  const SliverMosaic({
    Key? key,

pingbird

import 'dart:io';
import 'dart:math';

const prologue = '''
M201 X2500 Y2500 Z400 E5000 ; sets maximum accelerations, mm/sec^2
M203 X180 Y180 Z12 E80 ; sets maximum feedrates, mm / sec
M204 P2000 R1250 T2500 ; sets acceleration (P, T) and retract acceleration (R), mm/sec^2
M205 X8.00 Y8.00 Z2.00 E10.00 ; sets the jerk limits, mm/sec
M205 S0 T0 ; sets the minimum extruding and travel feed rate, mm/sec

pingbird

--[[
    Fancy lua serialization by PixelToast, public domain
    
    serializes a value into a fancy and human readable format
    
    example:
        > cserialize({key="value",table={list={1,2,"three"},d="alphabetical order",c=1,b=2,a=3}})
        ┌─────────────────────────────────────────┐
        │"key"   = "value"                        │
        │          ┌─────────────────────────────┐│

pingbird

--[[
    Lua NBT encoding and decoding by PixelToast, public domain
    example output (serialized) from a player.dat: http://hastebin.com/kogupimizi.txt
    requires string.pack/string.unpack
    
    note: nbt is usually gzipped, you must inflate it before decoding
]]

nbt={}

pingbird

pub fn step_inner(l: bool, m: u64, r: bool) -> u64 {
    let l = (m >> 1) | ((l as u64) << 63);
    let r = (m << 1) | r as u64;
    (l & m & !r) | (l & !m & r) | (!l & m & r) | (!l & m & !r) | (!l & !m & r)
}

pub fn step(input: &mut Vec<u64>, output: &mut Vec<u64>) {
    output.clear();
    let mut r: bool = true;
    let mut input = input.iter().cloned();

pingbird

import 'dart:math';
import 'dart:ui' as ui;

import 'package:flutter/material.dart';
import 'package:vector_math/vector_math_64.dart' hide Colors;

const bgColor = Color(0xff212121);

class AmbiancePainter extends CustomPainter {
  final Animation<double> anim;

pingbird

import 'dart:math';

import 'package:boxy/boxy.dart';
import 'package:flutter/material.dart';

const darkBlue = Color.fromARGB(255, 18, 32, 47);

void main() {
  runApp(const MyApp());
}

pingbird

module _ where

open import Core.Set
open import Core.Bool
open import Core.Nat
open import Core.Fin
open import Core.Int
open import Core.List
open import Core.String
open import Core.Vec

pingbird

module _ where

open import Core.Nat
open import Core.Int
open import Core.List
open import Core.String
open import Core.Maybe
open import Core.Operators
open import Core.Pair
open import Core.Unit

pingbird

{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE DefaultSignatures #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE ScopedTypeVariables #-}

module Iota.Serialize where
import GHC.Generics
import Text.Read (readMaybe)