Open Hub
Open Hub

Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

OpenBricks

Compare

  Analyzed about 1 month ago

OpenBricks is an enterprise-grade embedded Linux framework that provides easy creation of custom distributions for industrial embedded devices. It features a complete embedded development kit for rapid deployment on x86, ARM, PowerPC and MIPS systems with support for industry leaders. Pick your ... [More] device, select your software bricks and cook your product ! OpenBricks reduces development efforts by abstracting the low-level interface to your device. It supports all Khronos industry standards (OpenGL|ES, OpenVG, OpenMAX …) and major applicative frameworks (Qt, GTK, EFL, SDL) for you to only focus on your end-user application. OpenBricks is an OpenSource framework. It’s the masterpiece framework behind your next design product. OpenBricks currently sustains the GeeXboX project. [Less]

58.7K lines of code

2 current contributors

about 4 years since last commit

1 users on Open Hub

Activity Not Available
5.0
 
0 Reviews
I Use This
Mostly written in shell script
Licenses: gpl
Tags amd64 arm arm7 arm9 atom broadcom bsp buildroot codesourcery cortex device directfb 62 more...

moses-for-mere-mortals

Compare

  Analyzed about 1 month ago

This site offers a set of Bash scripts and Windows executables add-ins that, together, create a basic translation chain prototype able of processing very large corpora. It uses Moses, a widely known statistical machine translation system. The idea is to help build a translation chain for the real ... [More] world, but it should also enable a quick evaluation of Moses for actual translation work and guide users in their first steps of using Moses. The scripts cover the installation, the creation of representative test files, the training, the translation, the scoring and the transfer of trainings between persons or between several Moses installations. A Help/Short Tutorial (http://moses-for-mere-mortals.googlecode.com/files/Help.odt) and a demonstration corpus (too small for doing justice to the qualitative results that can be achieved with Moses, but able of giving a realistic view of the relative duration of the steps involved) are available. Two Windows add-ins allow the creation of Moses input files from *.TMX translation memories (Extract_TMX_Corpus.exe), as well as the creation of *.TMX files from Moses output files (Moses2TMX.exe). A synergy between machine translation and translation memories is therefore created. The scripts were tested in Ubuntu 9.04 (64-bit version). Documents used for corpora training should be perfectly aligned and saved in UTF-8 character encoding. Documents to be translated should also be in UTF-8 format. One would expect the users of these scripts, perhaps after having tried the provided demonstration corpus, to immediately use and get results with the real corpora they are interested in. Though already tested and used in actual work, this should be considered a work in progress. So as to protect the users not yet completely acquainted with Moses, these scripts try to avoid mistakes that would cost them dearly in terms of time and/or results, but do not completely insulate them (especially from the consequences of malformed corpora files). [Less]

7.21K lines of code

0 current contributors

about 5 years since last commit

1 users on Open Hub

Activity Not Available
0.0
 
0 Reviews
I Use This
Mostly written in Perl
Licenses: gpl3_or_l...
Tags bash corpora irstlm mgiza moses mt nlp python randlm scripts smt tmx

CVC4

Compare

  Analyzed about 1 month ago

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. It can be used to prove the validity (or, dually, the satisfiability) of first-order formulas in a large number of built-in logical theories and their combination.

422K lines of code

16 current contributors

2 months since last commit

1 users on Open Hub

Activity Not Available
5.0
 
0 Reviews
I Use This
Mostly written in C++
Licenses: BSD-3-Clause
Tags arithmetics automated bitvector constraint firstorderlogic formula logic prover smt theoremproving theory tool

ocamlyices

Compare

  Analyzed about 1 month ago

Yices SMT solver's binding for the OCaml programming language

6.28K lines of code

1 current contributors

over 1 year since last commit

0 users on Open Hub

Activity Not Available
0.0
 
0 Reviews
I Use This
Mostly written in OCaml
Licenses: isc
Tags binding ocaml smt smt_solver solver

SMTInterpol

Compare

  Analyzed about 1 month ago

SMTInterpol interpolating SMT solver

86.6K lines of code

5 current contributors

10 months since last commit

0 users on Open Hub

Activity Not Available
0.0
 
0 Reviews
I Use This
Mostly written in Java
Licenses: lgpv3_or_...
Tags interpolation smt smt_solver solver

JavaSMT

Compare

  Analyzed about 1 month ago

Unified Java API for SMT solvers

100K lines of code

4 current contributors

2 months since last commit

0 users on Open Hub

Activity Not Available
0.0
 
0 Reviews
I Use This
Mostly written in Java
Licenses: apache_2
Tags interpolation java smt smt_solver solver

py2many

Compare

  Analyzed about 1 month ago

Python to CLike language transpiler

41.8K lines of code

0 current contributors

2 months since last commit

0 users on Open Hub

Activity Not Available
0.0
 
0 Reviews
I Use This
Mostly written in Python
Licenses: No declared licenses
Tags ast dart golang julia kotlin nimlang python rust smt transpiler vlang z3