Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 7 Javascript Smt Open Source Projects

Open source projects categorized as Javascript Smt
Jlcparts ⭐ 447
Better parametric search for components available for JLC PCB assembly
most recent commit 3 months ago
Esverify ⭐ 119
ECMAScript verification with SMT solvers
dependent packages 2total releases 60most recent commit a year agonpm esverify} Downloads
Nus Timetable Optimizer ⭐ 18
Codebase for the NUS Timetable Optimizer, a tool to help students at the National University of Singapore optimize their timetables to their liking.
most recent commit 3 months ago
Leena ⭐ 9
Symbolic execution engine for JavaScript.
most recent commit 8 years ago
Coppermt ⭐ 8
Cognate Prediction Per Machine Translation - Code of the ACL 2021 Findings Paper : Can Cognate Prediction Be Modelled as a Low-Resource Machine Translation Task?
most recent commit 2 years ago
Aratha ⭐ 5
Multi-solver dynamic symbolic execution for JavaScript
most recent commit 2 years ago
Emme ⭐ 5
EMME: ECMAScript Memory Model Evaluator
most recent commit 6 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

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