Saravanan666/pypi-org huggingface dataset:
Package: tl
T I M E L I N E -  keep track of what you are doing (console, IRC, XMPP) -https://github.com/feedbackflow/tlTen Rules For The New World
Kenmerk: 69389/12Punishment, the fruit of knowledge of good and evil, will be forbiddenEvery person, thing, existance, awareness or other entity, being or not being, can ask for a proces described below.The basic right is to be able to ask for help in difficult situations. Help from the outside, when fear of ending existence appears.
The rules below are for those who are willing to help.
One day these rules will be law, where nothing will be excluded from:you shall do no harmyou shall judge but put no negative actions on your judgementthis judgement you shall use to see what is going onwith this knowledge of what is going on you will look at what the cause iswhen you know what the cause is you will take action to prevent further negative consequencesyou will do this proces in the open, controlable for everybody and thingyou will evaluate how this proces works out, also in the open.You will make your judgement your own and not someone elsesIt is for you to bring peace on this earth and every else where this light needs to shineas last, be aware, be aware of what you think, do, cause, feel, see, hear, all that you perceive. For judgement can only be done properly if you see all the factors that influence a situation. Be aware of what makes you.
Package: tl2
tl2pipClear packagesgrep -v string : exclude stringpipfreeze|grep-vconda>packages_uninstall.txt
pipfreeze|grep-vconda|grepEditable|cut-d'('-f2|cut-d')'-f1>>packages_uninstall.txtcatpackages_uninstall.txt|xargs-n1pipuninstall-y# pip uninstall -r packages_uninstall.txt -yTestLaunchProjmatplotcheatsheetsloggerfvcore
Package: tl3api
tl3apiA basic, asynchronous wrapper for the API of Traffic Lanes 3 / Intersection Controller written in Python.Installationtl3api was tested on python 3.9, although it should work wither earlier versions too. The recommended and easiest way to install tl3api ispip.pipinstalltl3apiQuickstartThe Client can be intialized with a context manager or not depending on which option is better for your application.importtl3apiimportaiohttpasyncwithtl3api.Client(aiohttp.ClientSession())asic:# Do stuffWith theicinstance you can then interact with the API:importtl3apiimportaiohttpasyncwithtl3api.Client(aiohttp.ClientSession())asic:# Print the name of the user with the ID of 2452411user=awaitic.get_details_for_user(user_id=2452411)print(user)# Print the name of each of the user's mapsmaps=awaituser.get_user_maps()forminmaps:print(m)Licensetl3api is provided under theMITlicense. For more details view the LICENSE file.
Package: tla
AboutA parser for the Temporal Logic of Actions (TLA+). The parser is based oncombinators.
The lexer is generated withplyusinglex. Classes for a TLA+ abstract tree are included and used for
representing the result of parsing.To install:pip install tlaTo parse a string:fromtlaimportparsermodule_text=r'''---- MODULE Foo ----foo == TRUE===================='''tree=parser.parse(module_text)To parse the stringmodule_textfrom above and print a formatted version:fromtlaimportparserfromtla.to_strimportNodes# The abstract syntax tree classes can be changed using# the optional argument `nodes` of the function `parser.parse`.tree=parser.parse(module_text,nodes=Nodes)text=tree.to_str(width=80)print(text)More examples can be found in the directoryexamples/To implement a new translator of TLA+ to an intended output format, either:use the visitor pattern with the moduleast.visit, orsubclass the classtla.ast.Nodes, and override AST node classes
and their methods as needed. An example of this approach is the moduletla.to_str, which can be copied as a starting point for implementing
a translator.This parser is a translation to Python from OCaml of the parser intlapm, the TLA+ proof manager.
The Python source code includes in comments the corresponding OCaml source code.
Comments in each module mention the OCaml files on which that module is based.This parser is slower than the OCaml implementation.The moduletla._combinatorscan be used to write other parsers.DocumentationIn theMarkdownfiledoc.mdTestsRequirenose. Run with:cdtests/
nosetests.See also the filetests/README.md.LicenseBSD-3, seeLICENSEfile.
Package: tlapi
TLAPIAPython Telegram API Libraryfor converting betweentdataandtelethonsessions, with built-inofficial Telegram APIs.Read the documentation.Features[tlapi]- add random app version[tlapi]- add new Api ID - Api Hash[opentele]- ConvertTelegram Desktoptdatasessions totelethonsessions and vice versa.[opentele]- Usetelethonwithofficial APIsto avoid bot detection.[opentele]- Randomizedevice infousing real data that recognized by Telegram server.Dependenciestelethon- Widely used Telegram's API library for Python.tgcrypto- AES-256-IGE encryption to works withtdata.pyQt5- Used by Telegram Desktop to streams data from files.InstallationInstall fromPyPI:pip install --upgrade tlapiExamplesThe best way to learn anything is by looking at the examples. Am I right?Example onreadthedocs
Package: tlaplus-jupyter
tlaplus_jupyterJupyter kernel for TLA⁺ and Pluscal specification languages.Syntax highlight based on official lexer.REPL functionality for expressions.Can be executed online with Binder.Try it now!No need to install TLA Toolbox: Java and Python will be enough.Installationtlaplus_jupyteris a python package installable withpip. Python 2 and 3 are supported. To install run:pip install tlaplus_jupyter
python -m tlaplus_jupyter.installThe last step will registertlaplus_jupyteras a Jupyter kernel in your system and will downloadtla2tools.jar. After that Jupyter can be started as usual:jupyter notebookTo create a new TLA⁺ notebook click on theNewbutton and select TLA⁺ in a dropdown menu. It is also handy to enable line numbering inside cells (View > Toggle Line Numbers) since syntax checker refers to problems by their line numbers.UsageBasic usage is explained in anintro notebook.tlaplus_jupytersupports several types of cells with different behavior on execution:Cells withfull module definition. Upon execution kernel will perform syntax check (with tla2sany.SANY) and report errors if any. If the module contains Pluscal program kernel will also translate it to TLA.Cell starting with%tlc:ModuleNamewhereModuleNameis the name of one of the modules previously executed. In this case, the cell is treated as a config file for the TLC model checker. For example to check specSpecand invariantTypeOkof modelDieHardTLAexecute following:%tlc:DieHardTLA
SPECIFICATION Spec
INVARIANT TypeOKInit and next state formula can be set after keywordsINITandNEXTcorrespondingly. Constant definitions should followCONSTANTSkeyword separated by newline or commas. Description of possible config statements and syntax is given in chapter 14 ofSpecifying systemsbook.Custom TLC flags may be specified after the module name:%tlc:DieHardTLA -deadlock
SPECIFICATION SpecTLC evaluation happens in the context of all defined modules. So if model refers to another model that other model should be at some cell too.Cells containing neither%-magic nor module definition are treated as a constant expression and will print its results on execution. As with!tlcevaluation happens in the context of all defined modules, so the expression can refer to anything defined in evaluated modules.Command%log/%log on/%log offcorrespondingly shows kernel log / enables logging / disables logging for currently open notebook.Sharing executable models with BinderTLA⁺ models shared on Github can be easily made runnable by copingDockerfileto the repository root. After that, URL to such repo can be used atBinderto start a dynamic TLA⁺ environment.Related Projectsvscode-tlaplusCool plugin for VSCode editor with syntax highlight and custom widgets for displaying traces.LicenseBSD
Package: tlaunch
TLaunch_devIntroduction安装virtualenv tmarl_env -p python3
# under tmarl_env, go into this repo and execute:
pip install -r requirements_dev.txt
pip install .Quick Start1.使用SSH登录TPodTPod是一款面向分布式场景，为TLaunch准备的用户及资源管理工具。当管理员使用TPod创建用户后，可以自定义的为其指定分配的系统资源（包括CPU、GPU、Memory、Storage），并为该用户创建一个已经预装好TLaunch框架的TPod开发机，用户可以直接通过SSH登录该机器访问集群，以快速进入开发流程。TPod的存储结构在TPod中，我们会在/TData目录下创建你的个人文件夹，该文件夹会通过挂载的文件系统与远端同步。/TData内会预先创建以下内容：code:用于存放训练代码setup.sh:用于指定训练环境及代码的安装方法data:用于存放训练所需的数据cache:用于存放分布式计算过程中产生的缓存文件models:用于存放模型数据2.存放算法代码并指定安装方法在多数分布式场景中，少量的代码往往会经常改动。若每次改动代码都重新构建镜像，会浪费大量的时间。因此，我们可以将这部分代码存放在/TData/code文件夹中。在训练中，每当一个pods被创建时，都将先按照code文件夹中的setup.sh脚本更新环境3.调用TLaunch创建任务refs:https://github.com/TARTRL/TMARL/blob/master/docs/tlaunch/README.md4.管理任务当任务创建完成后，我们可以调用kubectl来查看任务状态及日志，其中常用的几条指令包括：查看正在运行中的任务：kubectl get lpjobs查看正在运行中的pods:kubectl get pods查看pod节点日志:kubectl logs ${pod name}查看pod节点详细信息:kubectl describe pods ${pod name}删除任务:kubectl delete lpjobs ${lpjob name}
Package: tlb32
tlb32 - Tool for automatic calculation of operation codes in TL-B schemes.Example of useinstall tlb32 withpip install tlb32write// requestor// responsecomment before message scheme// request
transfer_notification query_id:uint64 amount:(VarUInteger 16)
                      sender:MsgAddress forward_payload:(Either Cell ^Cell)
                      = InternalMsgBody;runtlb32 <scheme_file>view result :)// request
transfer_notification#736ad09c query_id:uint64 amount:(VarUInteger 16)
                      sender:MsgAddress forward_payload:(Either Cell ^Cell)
                      = InternalMsgBody;
Package: tl-bot
t-botUpload files to your Telegram channel or group with your telegram botFeaturesProgress barYou can change file name before upload on telegramNote : Bot can upload only 50 MB file (with default telegram bot api server url)Installationpip3installtl-botUsaget-botsetup# setup your telegram credentialst-botreset# reset to default your telegram credentialst-bottest# test telegram bot tokent-botgetid# get chat id of your connected group or channelt-botup{file_name}-cfile_caption# upload Telegram channel or groupt-botd{url}-ccaption# download and upload file to your Telegram channel or groupAPIThe anonfile-upload client is also usable through an API (for test integration, automation, etc)tl_bot.main.test_token(bot_token)fromtl_bot.mainimporttest_tokentest_token(bot_token)# bot_token type strtl_bot.main.uploader(bot_token: str, chat_id: str, file_name: str, server_url: str, caption: str)fromtl_bot.mainimportuploaderuploader(bot_token,chat_id,file_name,server_url,caption)# all arguments must be strtl_bot.main.download(url:str, bot_token:str, chat_id:str, caption:str)fromtl_bot.mainimportdownloaddownload(url,bot_token,chat_id,caption)# all arguments must be str
Package: tl.buildout_gtk
tl.buildout_gtkAzc.buildoutrecipe for installing pygtk, including pygobject and pycairo,
and optionally pywebkitgtk.This recipe concerns itself with the Python bindings to the named projects. It
assumes that the C libraries are available on the system already, along with
their header files. The bindings’ versions built by default require Python 2.6
or greater.This recipe appears to be reliable, but the feature set is basically
determined by the author’s immediate needs. Don’t hesitate to send questions,
bug reports, suggestions, or patches to <thomas@thomas-lotze.de>.OptionsConfiguration options:shared:Configure shared builds like with thezc.recipe.cmmirecipe.
Defaults to using automatically located shared builds.pycairo-url:URL of the pycairo source code archive.pycairo-md5sum:MD5 checksum of the pycairo source code archive.pygobject:Set tofalsein order not to build pygobject. If pygtk is to be
built, pygobject will be built regardless of this option.pygobject-url:URL of the pygobject source code archive.pygobject-md5sum:MD5 checksum of the pygobject source code archive.pygtk:Set tofalsein order not to build pygtk. If pywebkitgtk is to be
built, pygtk will be built regardless of this option.pygtk-url:URL of the pygtk source code archive.pygtk-md5sum:MD5 checksum of the pygtk source code archive.pywebkitgtk:Set totruein order to build pywebkitgtk. Doing so will cause
pygtk and pygobject to be built.pywebkitgtk-url:URL of the pywebkitgtk source code archive.pywebkitgtk-md5sum:MD5 checksum of the pywebkitgtk source code archive.The default values of these options correspond to recent project versions
at the time the recipe was released.Exported options:location:Location of the buildout part containing the compiled Python bindings.path:Filesystem path to be added to the Python path in order for the
bindings to be importable. This may be included in a zc.recipe.egg
part’sextra-pathsoption, for example.BackgroundThere are two reasons for the existence of this recipe: setting up the build
environment for pygtk & friends, and tying together the build instructions of
the related projects for convenience.The pywebitgtk, pygtk, pygobject and pycairo projects are built using a
standard configure/make/make install procedure. The recipe sets up the build
environment such that the bindings are built for the right Python installation
and against the right builds of each other.About tl.buildout_gtkAuthor:Thomas Lotze<thomas@thomas-lotze.de>PyPI page:http://pypi.python.org/pypi/tl.buildout_gtk/Issue tracker:https://bitbucket.org/tlotze/tl.buildout_gtk/issues/Source code:https://bitbucket.org/tlotze/tl.buildout_gtk/src/Current change log:https://bitbucket.org/tlotze/tl.buildout_gtk/src/tip/CHANGES.txt
Package: tl.buildout_mod_python
Attention!This recipe has been deprecated. Its functionality is included in thetl.buildout_apacherecipe from version 0.2 on. It may not be possible
to use it together with version 0.3 or above of the Apache recipe.This is azc.buildoutrecipe for setting up themod_pythonmodule for
theApache web server. It is designed to work together with thetl.buildout_apacherecipes.Since themod_pythonPython package needs to be available to the Python
interpreter before it has a chance to modify the interpreter’s module search
path, this recipe writes a.pthfile to Python’ssite-packagesdirectory. This means that the Python installation used must be writeable, and
it should by all means be private to the buildout. You can include a
custom-built Python in your buildout using someconfigure/make/make installrecipe, or, as a light-weight alternative, a virtual python using
thetl.buildout_virtual_pythonrecipe. In any case, Python’s C header files
must be installed.This recipe appears to be reliable, but the feature set is basically
determined by the author’s immediate needs. Don’t hesitate to send questions,
bug reports, suggestions, or patches to <thomas@thomas-lotze.de>.OptionsA buildout part created by this recipe serves as a config part to be used in atl.buildout_apache:rootsection. It adds configuration directives to load
the mod_python shared module and configure the Python interpreters’ module
search path.None of the options described below are required: they either have sensible
defaults or are computed by the recipe. You may override any of them.Configuration options:url:Where to get the source distribution.md5sum:MD5 checksum of the source distribution.extra-options:Extra configure options, appended to the./configurecommand line.extra-vars:Extra environment variables for./configure,make, andmake installcalls.httpd:The name of a buildout section for an httpd installation, defaults to
“httpd”. This can either be a part that uses thetl.buildout_apache:rootrecipe, or a section that describes a
system-wide installation. It must export the “apxs-path” option.python:The name of a buildout section for a Python installation, defaults to
the Python section used by the “buildout” part. It must export the
“executable” option.eggs:Specifications of eggs to be available on mod_python’s default Python
path.find-links:See the zc.recipe.egg documentation.index:See the zc.recipe.egg documentation.extra-paths:Non-egg paths to be included in mod_python’s default Python path.config-parts:Names of buildout sections with further configuration. See thetl.buildout_apache:rootrecipe.Exported options:so-path:Absolute file system path to themod_python.soshared module.lib-dir:Absolute file system path to the Python library directory that
contains themod_pythonpackage.path-file:The path to a file that contains the paths to the configured eggs and
all of the configured extra paths, one per line.extra-env:A specification for httpd’s PATH so the correct Python executable will
be used.extra-config:A piece of Apache server configuration that loads the mod_python
shared module and sets mod_python’s default Python path.
Package: tlcache
Two Level Local CacheFree software: ISC licenseDocumentation:https://tlcache.readthedocs.org.Usagesimple use>>> from tlcache import TLCache
>>> cache = TLCache(cache_dir="/tmp/xxxxdir")
>>> lst = []
>>> @cache.cache()
... def apppend():
...     lst.append(1)
...     return lst
>>> append() == [1]
>>> append() == [1]cache refresh>>> with cache.with_refresh():
...     append() == [1, 1]
...     append() == [1, 1, 1]
>>> append() == [1, 1, 1]FeaturesTwo level cache, first level is memory, and second level is the filesystemHistory0.2.1 (2017-06-21)Fix missing exception stack0.2.0 (2016-08-07)Even cache when got empty resultsWhen exception, use old data to cache degraded0.1.7 (2016-4-14)cache refresh manager, should be used with lock0.1.6 (2016-4-14)add cache refresh context manager0.1.5 (2016-4-14)decrese logging warnings0.1.4 (2016-3-16)make sure fd is closed when fdopen occus exceptionset memory before file0.1.3 (2015-11-24)Don’t cache when results is empty0.1.2 (2015-11-13)Fix a bug that which causes when cache invalidate wil not cached again.0.1.1 (2015-11-10)Inside the tlcache’saddmethod, use the filecache’ssetmethod internally.0.1.0 (2015-11-10)First release on PyPI.
Package: tl.cli
Various command line interface utilities.This package requires Python 2, at least 2.5.tl.readline:readlinerelated utilitiesAPI functions of this module act as no-ops if readline is not present.History handlinguse_history(name):Switch between multiple named histories, e.g. when embedding one command
interpreter inside another one.with_history(name):Create a function decorator that runs a function with a named readline
history, maintaining a stack of histories for nested function calls.Tab completionuse_completion():Configure readline to use tab completion.static_completions(strings):Create a completer function usable with readline that completes partial text
based on a static list of strings. The completer function computes an
iterable of matches.completion_generator(completions):A function decorator that takes a completer function and returns a
completion generator usable with readline. The completion generator returns
successive matches on partial text based on a state parameter.input(prompt, default=None, completions=None):A rich version ofraw_inputthat in the presence of readline, allows for
commad line editing the default value and using custom tab completion.
Without readline, it displays the default value after the prompt.filename_completions(base_dir):Create a completer function usable with readline that completes partial text
based on file names from the file system. The completer function computes an
iterable of matches.tl.cmd: an enhanced command shelltl.cmd.Cmdis a command shell based on Python’scmd.Cmdthat adds some
generic usability features, some of them only of interest to developers.Exceptions are caught instead of aborting the command loop. The traceback is
stored for subsequent introspection by the postmortem debugger. The debugger
is run by thepostmortemcommand.Thepythoncommand runs a Python shell to access the command interpreter
directly.End-of-file sent by the terminal quits the command loop.Empty input lines are ignored instead of repeating the previous command.Commands may be abbreviated as long as abbreviations are unambiguous.When using tab completion, the cursor is positioned more conveniently.Online help for commands is generated from the docstrings of thedo_*methods that implement them where nohelp_*methods exist.tl.cli.edit: text editingtl.cli.edit.edit(text, editor=None, file_encoding=None):Runs the user’s favourite text editor (or vi) on a temp file containing the
text string, then reads it back in and returns the edited content.tl.cli.page: paging through texttl.cli.page.page(text, pager=None):Runs the user’s favourite pager (or more) on a text string or stream which
is sent to the pager’s standard input.tl.cli.page.page_file(path, pager=None):Runs the user’s favourite pager (or more) on a file whose path is passed to
the pager as its only argument.ContactThis package is written by Thomas Lotze. Please contact the author at
<thomas@thomas-lotze.de> to provide feedback, suggestions, or contributions.See also <http://www.thomas-lotze.de/en/software/>.
Package: tl-crmdtos
Cloudless Resource Management Data Transfer ObjectsList of Data Transfer Objects that:are encapsulated in UDP packets and transferred back and forth between workers and collector in the generation layerare exchanged within between modules inside either worker or collectorList of DTOsInternal objectsPortInfo: a pair of (daemon_name,port_number) showing that a daemon can receive packets at certain port, and is encapsulated inHostInfoobject.Ex:collectord:9090=>collectordservice is listening at port9090HostType: enum class, label of host used to identify which kind that host is and is encapsulated inHostInfoobject.Ex:WORKER=> worker host;COLLECTOR=> collector host.HostInfo: information of a single host (collector or worker) that will be sent to other host by encapsulated inProbeInitorProbeAckobject.Ex:COLLECTOR-collector[10.0.0.2] - ports: [coordinatord:10100, collectord:9090]=> hostname:collector; ip_address:10.0.0.2, 2 daemons:collectordlistening at port9090&coordinatordlistening at port10100; host_type:COLLECTORCrmPktType: enum class, label of packet used to identify which kind that data inside a UDP segment is and is encapsulated inProbeInit,ProbeAck, orRegisterAckobject/packet.Ex:PROBE_INIT=> UDP packet of typeProbeInit;PROBE_ACK=> UDP packet of typeProbeAck;REG_ACK=> UDP packet of typeRegisterAckpacket.RegisterInfo: information regarding the creation of metric exporters in worker host and is encapsulated inRegisterAckobject/packet.Ex:True - ('Successfully registered at collector host.',) - max remaining retries: 0=> status:True; message: 'Successfully registered to collector host.'; max_retries:0False - ('Failed to register at collector host.',) - max remaining retries: 3=> status:False; message: 'Failed to register to collector host.'; max_retries:3Application layer PDUProbeInit: broadcasted by collector host (in fixed interval) to all worker host within current subnet.Ex:{"py/object": "dtos.probe_init.ProbeInit", "id": "78f6ac6d-ec8d-44cf-abc8-584e4255e9d3", "info": {"py/object": "dtos.host_info.HostInfo", "hostname": "collector", "inet_addr": "10.0.0.2", "ports": [{"py/object": "dtos.port_info.PortInfo", "daemon": "coordinatord", "port": 10100}, {"py/object": "dtos.port_info.PortInfo", "daemon": "collectord", "port": 9090}], "type": {"py/reduce": [{"py/type": "dtos.host_type.HostType"}, {"py/tuple": [2]}]}}, "type": {"py/reduce": [{"py/type": "dtos.crm_pkt_type.CrmPktType"}, {"py/tuple": [1]}]}}=> object: ProbeInit; packet-id: 78f6ac6d-ec8d-44cf-abc8-584e4255e9d3; HostInfo: hostname=collector, inet_addr=10.0.0.2ProbeAck:  sent by worker host as reply toProbeInitpacket of collector hostEx:RegisterAck:Versions:2.1.x: with QueryAck3.x.x: without QueryAck