Skip to content

Instantly share code, notes, and snippets.

from email import message
from math import log
from wcferry import Wcf, WxMsg
from queue import Empty
import os
import json
import logging
import time
from front.context import Context
from engine.route import ai_engine
@qingant
qingant / nicegui_component.py
Last active November 14, 2024 21:39
React Style Reactive Component Enabled in NiceGUI
from nicegui import ui
from typing import Callable
import sys
import uuid
refreshable_func_key = '_refreshable_func'
def use_state(default):
for i in range(10):
frame = sys._getframe(i)
@qingant
qingant / peano.py
Created February 8, 2022 10:53
Peano Natural Numbers in Python
'''
Peano Natural Numbers ( https://en.wikipedia.org/wiki/Peano_axioms )
'''
class Nat(object):
def __init__(self, prev=None):
self.prev = prev
def __eq__(self, other) -> bool:
if self.prev is None and other.prev is None:
const _encode = (value: RedisValue): Uint8Array | Uint8Array[] => {
switch (value.tag) {
case "RedisNumber":
const v = `:${value.value}\r\n`;
return stringToBuffer(v);
case "RedisError":
return packRedisString(value.value, "-");
case "RedisString":
return packRedisString(value.value, "+");
case "RedisBulkString":
export interface RedisString {
tag: "RedisString";
value: Uint8Array;
} // binary safe byte string
export interface RedisBulkString {
tag: "RedisBulkString";
value: Uint8Array;
}
#[derive(Debug, Clone)]
pub enum RValue {
RStr(String),
// RBulkString(ByteString),
RNumber(f64),
Error(String),
RList(Vec<RValue>),
Nil,
}
type RedisString = string;
type RedisBulkString = string;
type RedisNumber = number;
type RedisArray = RedisValue[];
type RedisNil = 'nil';
type RedisError = string;
type RedisValue = RedisString|RedisBulkString|RedisNumber|RedisArray|RedisNil|RedisError;
import { encode, RedisValueOf, RedisParser, show } from "https://raw.githubusercontent.com/qingant/tiny-redis/master/mod.ts";
import { parse as argParse } from "https://deno.land/std/flags/mod.ts";
const { args } = Deno;
const config = argParse(args);
const opts = {
port: config.p || 6666,
hostname: config.h || "127.0.0.1"
};
import { * } from './test.ts';
console.log('This is Test1');
const main = async () => {
console.log('Hello World');
}
if (import.meta.main) {
main()
}