Search Results for "smt"
Sort By:
Showing 27 open source projects for "smt"
View related business solutions-
Evolia is a web and mobile platform that connects enterprises with 1000’s of local shift workers and offers free workforce scheduling and time and attendance solutions. Is your business on Evolia?
-
Drive your organization forward with the right solution at the right price. AI-powered continuous accounting and ERP to support your growth now and into the future.
-
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, ... -
Our intuitive email marketing software to help you save time and build lasting relationships with your subscribers.
-
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
NextDFM
PCB Design Analysis Software-NextDFM
... there are hidden dangers in the design files, select available parts, and evaluate the cost in real-time. Provide personalized panel, while precise control of the manufacturing details of SMT and through-hole technology components. A professional product and technical team analyze solutions to help you improve design quality, performance, and reliability. -
8
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 !
-
9
MTUOC
Tools for training and translating with NMT and SMT systems
The MTUOC project has moved to: https://github.com/aoliverg/MTUOC -
Exact Payments delivers easy-to-integrate embedded payment solutions enabling you to rapidly onboard merchants, instantly activate a variety of payment methods and accelerate your revenue — delivering an end-to-end payment processing platform for SaaS businesses.
-
10
Autshumato MTWS
Autshumato Machine Translation Web Service
Web service providing access to the Autshumato Machine Translation (MT) and other Moses Statistical MT systems. Functionality includes: - Automatic sentence, document, web page translation. - Improvements for translations. - Reviewer requests and interface to review improvements - Connection to the latest version of the Autshumato ITE, Post Edits done on inserted automatic translations are automatically submitted to the MTWS. - Administration interface to add users, reviewers and MT... -
11
SMTCOMP
Tools and documentation of the annual SMT competition
This project hosts the tools, webpages, and documentation for the annual SMT competition. The SMT-COMP web pages are published to http://www.smtcomp.org, which redirects to http://smtcomp.sourceforge.net . -
12
SMT-by-palle
Server & Service Management and Monitoring
SMT wurde von einem Administrator für Administratoren entwickelt. Es soll den Alltag mit verschiedenen Systemen vereinfachen und die richtigen Mitarbeiter über die richtigen Ereignisse benachrichtigen. Dazu gehört natürlich auch eine vernünftige und sinnvolle Systemadministration. Mit SMT können Sie verschiedene Dienste und Services überwachen, Reminder konfigurieren und mit regulären Ausdrücken arbeiten. Aus den erfassten Systemen erzeugt SMT eine exportierbare IP Adressliste, zum... -
13
PLOOPI-Lib
A Java library for dealing with propositional and SMT formulas.
This library contains tools for representing clause sets and more general boolean formulas as well as for representing SMT (satisfiability modulo theory) formulas. In addition, a set of tools is included for generating tries of the prime implicates of boolean formulas. Current work includes integrating SMT formuals with these prime implicate generation tools so that prime implicates of SMT formulas may be produced. For a list of publications relating to this project, go to Files... -
14
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. -
15
-
16
The Thot toolkit repository has moved to http://daormar.github.io/thot/ Thot is a toolkit for statistical machine translation. The new Thot toolkit includes fully automatic and interactive machine translation, incremental training of statistical models, parallel estimation, ...
-
17
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. -
18
-
19
TrackArt
GUI for diffusion simulation and SMT data analysis
TrackArt is a simple MATLAB GUI for single particle tracking data analysis and simulation. -
20
Transml
Phrase based Statistical Machine Transltion system for English Languag
This software will translate English language to Malayalam and vice versa. Statistical Machine Translation (SMT) is a machine translation paradigm where translations are generated on the basis of statistical models whose parameters are derived from the analysis of bilingual text corpora. The SMT is a corpus based approach, where a massive parallel corpus is required for training the SMT systems. -
21
SMT-RAT
Satisfiability-Modulo-Theories Real Algebra Toolkit
-
22
The Moses repository has moved: https://github.com/moses-smt/mosesdecoder Factored phrase-based, hierarchical and syntax decoder for statistical machine translation
-
23
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... -
24
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. -
25
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.