Skip to content

Instantly share code, notes, and snippets.

View pingbird's full-sized avatar
🌺

ping pingbird

🌺
View GitHub Profile
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
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();
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());
}
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
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
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE DefaultSignatures #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE ScopedTypeVariables #-}
module Iota.Serialize where
import GHC.Generics
import Text.Read (readMaybe)
final big0 = BigInt.zero;
final big1 = BigInt.one;
final big2 = BigInt.two;
final big8 = BigInt.from(8);
BigInt bigSqrt(BigInt n) {
if (n.isNegative) {
throw ArgumentError('Square root of negative numbers is not supported');
}
if (n < big2) {
import 'package:flutter/material.dart';
import 'package:boxy/boxy.dart';
import 'dart:math';
const Color darkBlue = Color.fromARGB(255, 18, 32, 47);
void main() {
runApp(MyApp());
}
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());
}
import 'dart:math';
import 'package:boxy/boxy.dart';
import 'package:flutter/foundation.dart';
import 'package:flutter/material.dart';
const darkBlue = Color.fromARGB(255, 18, 32, 47);
void main() {
runApp(const MyApp());