Search Results for "smt"
Sort By:
Showing 16 open source projects for "smt"
View related business solutions-
Email is the backbone of your customer engagement. The Twilio SendGrid Email API is the email service trusted by developers and marketers for time-savings, scalability, and delivery expertise. Our flexible Email API and proprietary Mail Transfer Agent (MTA), intuitive console, powerful features, and email experts make it easy to ensure all your email gets delivered in seconds and without interruption.
-
CODESOFT is an enterprise-level RFID and barcode label design application offering unmatched flexibility, power, and support. Available in print-only, single-user, and network configurations, CODESOFT is designed to meet all of your barcode labeling needs. Whether your goal is streamlining label printing, printing labels using a form, connecting a scale to your label template, or integrating your business database with your label templates, CODESOFT provides a solution for your organization’s most advanced labeling needs. Connect to SQL or Oracle databases for business system integrations and greater efficiency. CODESOFT includes over 100 barcode symbologies including GS1, supports all common image formats, and enables rich text editing. Native printer drivers are included for over 4,000 thermal, thermal transfer, and inkjet label printers to ensure the best label printing quality.
-
1
Mythril
Security analysis tool for EVM bytecode. Supports smart contracts
Mythril is a security analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains. It uses symbolic execution, SMT solving and taint analysis to detect a variety of security vulnerabilities. It's also used (in combination with other tools and techniques) in the MythX security analysis platform. If you are a smart contract developer, we recommend using MythX tools which... -
2
Binary Analysis Platform
Binary Analysis Platform
... conditions, modeling functions (writing stubs) and even interfacing with the SMT solver. The toolkit repository includes various examples of program analysis tools that could be implemented with BAP and can be used as the starting point (in addition to the tutorial) for implementing custom analyses. BAP can be used as a framework with a single bap utility that is extended with plugins or it can be used as a library embedded in a user application, which could be written in OCaml. -
3
Triton
Triton is a dynamic binary analysis library
Triton is a dynamic binary analysis library. It provides internal components that allow you to build your program analysis tools, automate reverse engineering, perform software verification or just emulate code. Linux, Windows and OS X compatible. You can directly compile source code from our Github repository. The Triton library is Linux, Windows and OS X compatible. A potential way to getting started is to see our Python examples already bootstrapped. -
4
Unreal Speccy portable
Portable ZX-Spectrum emulator based on UnrealSpeccy 0.37.3 by SMT
Portable ZX-Spectrum emulator supports Z80 128K (Pentagon) AY/YM, Beeper, Beta Disk, Tape, Kempston Joystick/Mouse, Snapshots, Replays. Supported formats: sna, z80, szx, rzx, tap, tzx, csw, trd, scl, fdi, zip. Created to be ported to many platforms such as Windows/Linux/Mac/Symbian/Dingoo A320/Android/iOS/PSP/Raspberry Pi, ... -
Your applications are all built differently, but they all need to perform. NeoLoad simplifies and scales performance testing for everything, from APIs and microservices, to end-to-end application testing through innovative protocol and browser-based capabilities.
-
5
SMTracker (v1.5, v2.0)
A tool for analysis and visualization of single-molecule tracking data
SMTracker v2.0 is a MATLAB-based graphical user interface (GUI) for automatically quantifying, visualising and managing SMT data via five interactive panels, allowing the user to interactively explore tracking data from several conditions, movies and cells on a track-by- track basis. Diffusion parameters and motion behaviour is analysed by several methods: a) by a Gaussian mixture model ,or b) by using the cumulative probability distribution of square displacements, c) Mean-Squared displacement... -
6
kafka-connect-transform-tojsonstring
transform-to-json-string is a Single Message Transformation (SMT) for Apache Kafka® Connect to convert a given Connect Record to a single JSON String. It's an UNOFFICIAL community project.
-
7
For update version (Every week) visit https://www.aparajeyo.com/software/on-screen-bangla-keyboard/ Download Keyboard Layout Creator For Free : https://www.aparajeyo.com/software/keyboard-layout-creator/ On Screen বাংলা Keyboard ------------------------------------------------------------------- Provat Unijoy National (BD) SMT (All layouts) Soumili Lipikaar and many many more keyboard layouts !
-
8
SMT: SAR Management Toolkit
Application for managing land searches for missing persons.
Experimental application for assisting in the management of land searches for missing persons. Incorporates OpenJump for GIS rendering of segments, establishing intitial POA values for segments through consensus or mixed consensus and statistical distances, POS and POA recalculation based on PODs from applied resources, and task assignments suggested by missing person behavior profiles. -
9
jSMTLIB
Java API for checking, manipulating and translating SMTLIB
jSMTLIB is a Java tool and API that enables working with SMTLIB benchmarks (cf. www.smtlib.org). Users can parse and type-check SMTLIB files, create and manipulate the SMTLIB expressions and scripts programmatically, and submit the SMTLIB scripts to various SMT solvers for checking. jSMTLIB provides translations to some non-SMTLIB compliant SMT solvers. -
Venn is a secure workspace for remote work that isolates and protects work from any personal use on the same computer. Work lives in a secure local enclave that is company controlled, where all data is encrypted and access is managed. Within the enclave – visually indicated by the Blue Border around these applications – business activity is walled off from anything that happens on the personal side. As a result, work and personal uses can now safely coexist on the same computer.
-
10
TrackArt
GUI for diffusion simulation and SMT data analysis
TrackArt is a simple MATLAB GUI for single particle tracking data analysis and simulation. -
11
SMT-RAT
Satisfiability-Modulo-Theories Real Algebra Toolkit
-
12
The Moses repository has moved: https://github.com/moses-smt/mosesdecoder Factored phrase-based, hierarchical and syntax decoder for statistical machine translation
-
13
English-Khmer S. Machine Translation
English-Khmer Automatic Statistic Machine Translation (SMT)
Automatic Machine Translation from English to Khmer project is the first effort in Natural Language Processing field for translating English to Khmer (Cambodian) language. This project uses Domy CE, an open source SMT toolkit, for training parallel corpus and web technologies such as Python, Apache2, HTML, XML, and XSLT for developing web-based application. This project is developed by Ms. Kim Sokphyrum (DU) and Ms. Suos Samak (Jamia), under Supervision of Mr. Javier Sola, a Program Manager... -
14
jaf_MT
This implements a phrased-based hidden semi-Markov Model for SMT
This package implements the phrased-based hidden semi-Markov model described: Jesús Andrés-Ferrer, Alfons Juan. A phrase-based hidden semi-Markov approach to machine translation. Procedings of European Association for Machine Translation (EAMT), 2009. pp. 168-175. This project depends on jaf_Utils: http://sourceforge.net/projects/jafutils/ Install it prior installation of jaf_MT. -
15
Ket hop cac SMT solver hien co: Z3, Yices, CVC3 thành một hệ thống chạy trên Lan có khả năng đưa ra lời giải tối ưu nhất cho một ràng buộc logic đưa vào.
-
16
The Social Media Toolkit (SMT), is an open source platform designed to help organizations run community-driven, topic-based news websites, similar to NewsCloud.com, albeit simpler and more streamlined.
- Previous
- You're on page 1
- Next