All Projects → Targoman → TargomanSMT

Targoman / TargomanSMT

Licence: Unknown and 2 other licenses found Licenses found Unknown License GPL-3.0 COPYING LGPL-3.0 COPYING.LESSER
Targoman SMT framework source code

Programming Languages

C++
36643 projects - #6 most used programming language
c
50402 projects - #5 most used programming language
QMake
1090 projects
python
139335 projects - #7 most used programming language
fortran
972 projects
objective c
16641 projects - #2 most used programming language

Labels

Projects that are alternatives of or similar to TargomanSMT

Java Smt
JavaSMT - Unified Java API for SMT solvers.
Stars: ✭ 88 (+203.45%)
Mutual labels:  smt
Triton
Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.
Stars: ✭ 1,934 (+6568.97%)
Mutual labels:  smt
Stainless
Verification framework and tool for higher-order Scala programs
Stars: ✭ 241 (+731.03%)
Mutual labels:  smt
Deepblockchains
Deep Blockchains - reference implementation of Plasma, Stark, SMT and more
Stars: ✭ 93 (+220.69%)
Mutual labels:  smt
Sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Stars: ✭ 125 (+331.03%)
Mutual labels:  smt
Fstar
A Proof-oriented Programming Language
Stars: ✭ 2,171 (+7386.21%)
Mutual labels:  smt
Nopol
Automatic program repair and patch generation system for Java based on dynamic analysis and code synthesis with SMT, developed at University of Lille and Inria, France.
Stars: ✭ 73 (+151.72%)
Mutual labels:  smt
stevia
A simple (unfinished) SMT solver for QF_ABV.
Stars: ✭ 30 (+3.45%)
Mutual labels:  smt
Precious Plastic Kit
Precious Plastic Downloadpack
Stars: ✭ 136 (+368.97%)
Mutual labels:  smt
Alive2
Automatic verification of LLVM optimizations
Stars: ✭ 199 (+586.21%)
Mutual labels:  smt
Mbed Hdk
mbed HDK - This repository is not being maintained. For the latest updates, please use: https://github.com/ARMmbed/mbed-HDK-Eagle-Projects
Stars: ✭ 106 (+265.52%)
Mutual labels:  smt
Jlcparts
Better parametric search for components available for JLC PCB assembly
Stars: ✭ 114 (+293.1%)
Mutual labels:  smt
Apalache
APALACHE: symbolic model checker for TLA+
Stars: ✭ 187 (+544.83%)
Mutual labels:  smt
Mbed Hdk Eagle Projects
Collection of Eagle projects for targets, interfaces, shields and more
Stars: ✭ 91 (+213.79%)
Mutual labels:  smt
Yices2
The Yices SMT Solver
Stars: ✭ 248 (+755.17%)
Mutual labels:  smt
Storm
A blackbox mutational fuzzer for detecting critical bugs in SMT solvers
Stars: ✭ 79 (+172.41%)
Mutual labels:  smt
Boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
Stars: ✭ 172 (+493.1%)
Mutual labels:  smt
the-thoralf-plugin
This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.
Stars: ✭ 22 (-24.14%)
Mutual labels:  smt
scalogno
prototyping logic programming in Scala
Stars: ✭ 38 (+31.03%)
Mutual labels:  smt
Manticore
Symbolic execution tool
Stars: ✭ 2,599 (+8862.07%)
Mutual labels:  smt

Targoman: A robust Statistical Machine Translation framework

Targoman is a robust Statistical Machine Translation framework which can use moses or jane trained models to provide a robust decoding process. Further information can be found at Targoman blog.

See INSTALL for build instructions.

Targoman Project Tree

├── Apps │ ├── E4SMT
│ ├── TargomanLoadBalancer
│ ├── TargomanSMTConsole
│ ├── TargomanSMTServer
│ ├── TargomanWebAPI
│ └── TargomanWebUI
├── ExternalToolsAndLibs
│ └── KenLM
├── NLPLibs │ ├── TargomanLM
│ ├── TargomanStem (Not yet published) │ ├── TargomanTextProcessor │ └── TargomanTransliterate (Not yet published) ├── Scripts ├── Samples ├── TargomanCommon ├── TargomanSMT
├── Templates
└── Tests
#####Sub-directories Specification:

  • E4SMT: Application based on TargomanTextProcessor which converts text to IXML and vice versa it also validates XML files and some more stuff.
  • TargomanLoadBalancer:Application that monitors translation servers and load-balances requests between them.
  • TargomanSMTConsole: Application based on TargomanSMT as a multithreaded console application.
  • TargomanSMTServer: Application based on TargomanSMT as a multithreaded server application. This app comunicates with TargomanLoadBalancer and can be set-up on clouds.
  • TargomanWebAPI: WebAPI to contact with TargomanLoadBalancer and do other DB based stuff.
  • TargomanWebUI: WebInterface of Targoman
  • KenLM: KenLM Langugae model library
  • TargomanLM: Targoman Language Model Library
  • TargomanStem: Targoman Stemmer Library (Not yet published)
  • TargomanTextProcessor: Targoman TextProcessor Library. Used to normalize characters, tokenize text, tag special tokens and vice versa
  • TargomanTransliterate: Targoman Transliteration Library (Not yet published)
  • Scripts: Train, Tune, and other usefull scripts (Not yet published)
  • Samples: Sample config file and corpora to test Targoman.
  • TargomanCommon: Usefull and common tools as a compact library
  • TargomanSMT: Core Targoman SMT Library
  • Templates: Templates used to generate subprojects
  • Tests: BlackBox Tests
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].