Search Results for "petri-foo"
Sort By:
Showing 130 open source projects for "petri-foo"
View related business solutions-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
1
Inspect Petri
An alignment auditing agent capable of exploring alignment hypothesis
Inspect Petri is an open-source alignment auditing agent that lets researchers rapidly test concrete safety hypotheses against target models using realistic, multi-turn scenarios. Instead of building bespoke evals, Inspect Petri automatically generates audit environments from seed “special instructions,” orchestrates an auditor model to probe a target model, and simulates tool use and rollbacks to surface risky behaviors. -
2
Foo Scrobbler
Last.fm scrobbler plugin for foobar2000 on macOS & Windows.
Foo Scrobbler (foo_scrobbler_mac & foo_scrobbler_win) is a Last.fm scrobbling plugin for foobar2000 on macOS & Windows. Submits tracks based on precise playback rules, caches scrobbles when offline, and operates silently after one-time authentication. Built using the official foobar2000 plugin API, it focuses on reliability, low overhead, and correct metadata handling. -
3
WSLGit
Use Git installed in Bash on Windows/Windows Subsystem for Linux (WSL)
...Use Git installed in Bash on Windows/Windows Subsystem for Linux (WSL) from Windows and Visual Studio Code (VSCode) The primary reason for this tool is to make the Git plugin in Visual Studio Code (VSCode) work with the git command installed in WSL. For these two to interoperate, this tool translates paths between the Windows (C:\Foo\Bar) and Linux (/mnt/c/Foo/Bar) representations. The install.bat script creates a folder structure similar to the one used by Git For Windows, and creates some useful symbolic links in the wslgit\cmd and wslgit\bin folders. VSCode will find the git executable automatically if the two optional installation steps were taken. -
4
pyserde
Yet another serialization library on top of dataclasses
Yet another serialization library on top of data classes, inspired by serde-rs. Declare a class with pyserde's @serde decorator. -
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
5
Doctrine extensions for PHPStan
Doctrine extensions for PHPStan
...Provides correct return for Doctrine\ORM\EntityManager::getRepository(). Provides correct return type for Doctrine\ORM\EntityManager::find, getReference and getPartialReference when Foo::class entity class name is provided as the first argument. Queries are analyzed statically and do not require a running database server. This makes use of the Doctrine DQL parser and entities metadata. -
6
body-parser
Node.js body parsing middleware
...As req.body's shape is based on user-controlled input, all properties and values in this object are untrusted and should be validated before trusting. For example, req.body.foo.toString() may fail in multiple ways, for example the foo property may not be there or may not be a string, and toString may not be a function and instead a string or other user input. The bodyParser object exposes various factories to create middlewares. All middlewares will populate the req.body property with the parsed body when the Content-Type request header matches the type option, or an empty object ({}) if there was no body to parse, the Content-Type was not matched, or an error occurred. -
7
crwlr
Library for Rapid (Web) Crawler and Scraper Development
...A crawler could just load actually all links it is finding (and is allowed to load according to the robots.txt file), then it would just load the whole internet (if the URL(s) it starts with are no dead end). Or it can be restricted to load only links matching certain criteria (on same domain/host, URL path starts with "/foo",...) or only to a certain depth. A depth of 3 means 3 levels deep. Links found on the initial URLs provided to the crawler are level 1 and so on. -
8
HiPS : Hierarchical Petri net Simulator
HiPS tool features to design and analyze hierarchical Petri nets
HiPS tool is developed at the Department of Computer Science and Engineering, Shinshu University, which is a tool design and analysis of Petri nets, developed using Microsoft Visual C # and C++. HiPS tool has a way of intuitive GUI which enable hierarchical and/or timed-net design. HiPS tool has also functions of static/dynamic analysis : T-invariant detection, Reachability path analysis, deadlock state detection, and k-boundedness analysis. In addition, it is possible to perform a random walk simulation with each firing steps. -
9
ProM is the comprehensive, extensible framework for process mining. Process Mining deals with the a-posteriori analysis of (business) processes using enactment logs.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
10
Java Modelling Tools is a suite of scientific tools for performance analysis and modelling using queueing theory and colored stochastic Petri nets. Models are solved either with analytical, asymptotic or simulation methods; workload characterization tools are also included in the suite. See the project website for more details: http://jmt.sf.net
-
11
*Until you install the operating system, the default user = live / no password. DragonOS Noble (24.04) DragonOS FocalX (22.04) and DragonOS Focal (20.04) are out-of-the-box Lubuntu based x86_64 operating systems for anyone interested in software defined radios. All source installed software is located in the /usr/src directory while the remaining software was installed by package managers. What is DragonOS and why do you want it? The shortest distance between two points is a...
-
12
...For graphical representation, the EdPM/EPM notation is used, which allowed us to implement: - structural-functional modeling using graphical methods; - the study of the efficiency of structural-functional models using simulation methods, that allow (e.g. unlike Petri nets) to process queries in groups, which is important for the study of the efficiency of using such methods as volumetric calendar planning and AI methods in process activities, since the operating time of these methods depends on the number of parameters and changes nonlinearly; - the study of multiprocess systems; - the results were obtained, that allow you to find efficient topologies of structural-functional models.
-
13
z
Tracks your most used directories, based on 'frecency'
...After a short learning phase, z will take you to the most 'frecent directory that matches ALL of the regexes given on the command line, in order. For example, z foo bar would match /foo/bar but not /bar/foo. The rank of directories maintained by z undergoes aging based on a simple formula. The rank of each entry is incremented every time it is accessed. When the sum of ranks is over 9000, all ranks are multiplied by 0.99. Entries with a rank lower than 1 are forgotten. Frecency is a portmanteau of 'recent' and 'frequency'. ... -
14
WoPeD is a Java-based graphical workflow process editor, simulator and analysor using Petri Nets and supporting the PNML format.
-
15
Java application for virtual tool shop simulation. Application allows simulation of exchange jobs between some tool shops. Jobs are grouped in projects and are organized in Petri nets (sequences of activities and stores).
-
16
foo_playback_to_file
This is a simple foobar2000 component which saves current track title
This project is an opensource-copy of foo_simple_np plugin which is not supported by latest foobar2000 player -
17
Sizzle
A sizzlin' hot selector engine
...Workarounds for Internet Explorer 6 are still in the code but the browser is no longer actively tested. Sizzle supports virtually all CSS 3 Selectors, including escaped selectors (.foo\+bar), Unicode selectors, and more. -
18
HTM
JSX alternative using standard tagged templates, with compiler support
...The syntax you write when using HTM is as close as possible to JSX. htm actually takes the JSX-style syntax a couple steps further! No transpiler necessary. HTML's optional quotes: <div class=foo>. Component end-tags: <${Footer}>footer content<//>. Syntax highlighting and language support via the lit-html VSCode extension and vim-jsx-pretty plugin. Multiple root element (fragments): <div /><div />. Support for HTML-style comments: <div><!-- comment --></div>. htm is published to npm, and accessible via the unpkg.com CDN. If you're using Preact or React, we've included off-the-shelf bindings to make your life easier. ... -
19
This project moved to GitHub in 2021 and is available at: https://cbrinkrolf.github.io/VANESA/ This tool is a platform-independent software to create individual pathways and to examine biological networks of distributed, heterogeneous data sources, e.g. KEGG, BRENDA. VANESA also offers Petri net modeling of extended hybrid Petri nets which can be also simulated using the OpenModelica framework.
-
20
Semagrams.jl
A graphical editor for graph-like structures
...The core of Semagrams is just a library; in order to make it do things, one needs to create an "app" that uses it. Currently, the only app that is being developed is a Petri net editor, though this will soon change. In order to run the Petri net editor standalone, install Mill and npm, and then in one terminal in scala/ run mill --watch apps.petri.fullLinkJS and in another terminal in scala/ run npm run dev. The second command should print out a url that you can click on. You may have to run npm install before running npm run dev. -
21
doall
Shell script to run a command for many files selected with wildcards
...wildcards to allow inserting matched strings like Windows 'copy *.old =.new' Some examples: # Rename current files as old doall 'mv *.cur *.old' # Compress camcorder DV files doall 'ffmpeg -i *.dv *.mp4' # Move files into directories according to their extension doall 'mv *.* $2/$1.$2' # Symbolic links from vmlinuz.new to vmlinuz-5.12.6-foo, similarly config.new System.map.new doall 'ln -s /boot/*-5.12.6-* /boot/$1.new' # Hard link 3-character abbreviations for file extensions doall 'ln *.???* $1.$2' As shown above, instead of '=' to indicate insertions, doall uses either * or $1 etc. doall -p (pretend mode) shows a list of commands instead of executing them doall -i (interactive mode) asks for confirmation for each command in turn doall -k (keep-running mode) ignores failing commands -
22
rust_cmd_lib
Common rust command-line macros and utilities
...It provides macros and utilities that let you spawn external processes, redirect input/output, and pipe commands together, all without invoking a shell. You can write something like run_cmd!(ls -l | grep foo > out.txt) in a more declarative style, rather than manually wiring up file descriptors, handles, and child processes. The library also supports features like variable substitution, scoped environment settings, and defining custom commands (functions) that behave like built-ins. It hides much of the boilerplate of std::process::Command when you're doing simple task automations, but still allows full flexibility when needed. ... -
23
Query string variables
Get, put and update variables via the URL query string
...Show all variables in JSON format http://www.yourdomain.tld/path/variables.php Update or add a variable http://wwww.yourdomain.tld/path/variables.php?variable=action&value=foo Request value of a variable http://wwww.yourdomain.tld/path/variables.php?variable=action Request last update of a variable using Unix epoch http://wwww.yourdomain.tld/path/variables.php?variable=action×tamp=true -
24
-
25
Virtual Laboratory Environment
A multi-modeling and simulation environment to study complex systems
...The models can be developed with the DEVS formalism or with the classical mathematical formalism: Ordinary Differential Equation with Euler, Range-Kutta or QSS integrator, Finite state automaton (FDDEVS, UML State chart, Hybrid Petri net). The VLE environment provides an IDE to develop C++ models, DEVS coupled models. VLE have also three ports to use the VFL with Python, Java and R programming languages.
