Awesome Open Source

Programming Languages

Search results for shell smt

6 search results found

WASM builds of the Z3 SMT solver

Smtgec2017 ⭐ 24

A statistical machine translation (SMT)-based grammatical error correction system that makes use of neural network joint models (NNJM) and and character-level SMT for spelling correction.

Smart_meter_texas ⭐ 19

Smart Meter Texas (SMT) 2.0 - 2020 examples

Z3 Installer ⭐ 8

An installer for older versions of Microsoft Z3 SMT solver and its Ocaml binding under Linux (NOT MAINTAINED)

smt's dotfiles (powered by GNU stow)

Starboundmodtester ⭐ 6

A simple way for Starbound mod developers to make quick changes to mods and easily test them out.

Related Searches

Shell Docker (20,660)

Shell Script (15,351)

Shell Bash (10,338)

Shell Command Line (6,542)

Shell Dotfiles (5,338)

Shell Git (4,715)

Shell Ansible (4,427)

Shell Server (3,563)

Shell Ssh (3,562)

Shell Docker Image (3,406)

1-6 of 6 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.