stanford-oval / node-smtlibLinks
Node.js wrappers for SMT-Lib 2.0
☆11Updated 2 years ago
Alternatives and similar repositories for node-smtlib
Users that are interested in node-smtlib are comparing it to the libraries listed below
Sorting:
- Mirror of the original lbfs (Low Bandwidth File System) cvs repository at http://www.fs.net/cvs/lbfs/ (404)☆29Updated 10 years ago
- constructors for Shift format AST nodes☆27Updated 3 years ago
- Minimalistic portable test runner for C projects☆13Updated 8 years ago
- Event-driven, asynchronous, distributed, multi-party state-machine targeting the Node.js platform.☆16Updated 7 years ago
- Node.JS extension to allow Tcl code to be invoked from JavaScript☆19Updated last year
- Node.js Module for parsing .pcapng files and tcpdump output.☆16Updated 2 years ago
- Append only scuttlebutt structure☆26Updated 12 years ago
- A ponyfill for Buffer.alloc☆13Updated 6 years ago
- Decision Tree to predict the value of a continuous target variable☆16Updated 2 years ago
- ☆10Updated 5 years ago
- JavaScript-compatible Unicode data. Arrays of code points, arrays of symbols, and regular expressions for Unicode v11.0.0’s categories, s…☆16Updated 2 months ago
- This repo is a demo for compiling the hunspell spell checking library with emscripten.org to JavaScript for client side spellchecking☆14Updated 7 years ago
- Encode / decode varints.☆14Updated 4 years ago
- Various dominator tree algorithms☆23Updated 5 years ago
- Specification of the Trace Server Protocol (TSP)☆26Updated last week
- Flexible, robust, and performant dependency analysis.☆20Updated 3 years ago
- A port of the GNU Multiple-Precision Library (GMP), a library for arbitrary precision arithmetic, to JavaScript using Emscripten☆45Updated 12 years ago
- Nicer Python interface to Webassembly modules.☆18Updated 4 years ago
- A reusable UI element for editing lists of key/value data.☆15Updated 8 years ago
- a tool for compiling, showing, cross-linking, and otherwise manipulating dictionaries, corpora, linguistic phylogenies, etc.☆24Updated 14 years ago
- My standard node module template☆17Updated 4 years ago
- ☆39Updated 3 years ago
- Retrieve the common prefix across multiple strings☆14Updated 9 years ago
- Basically single-line-log by @freeall except this is a through stream☆15Updated 9 years ago
- A pure JavaScript implementation of TinkerPop's Gremlin graph traversal language☆13Updated 8 years ago
- ☆21Updated 5 years ago
- Generic Node.js kernel for the Jupyter notebook☆23Updated 11 months ago
- a language acceptor for the JavaScript Pattern (regular expression internals) grammar☆16Updated 3 years ago
- convert a webRTC connection into a stream☆43Updated 7 years ago
- A ref "type" implementation of `wchar_t *` (a.k.a. wide string) backed by "node-iconv"☆15Updated 9 years ago