JSTAR: JavaScript Specification Type Analyzer using Refinement
☆14Feb 27, 2022Updated 4 years ago
Alternatives and similar repositories for jstar
Users that are interested in jstar are comparing it to the libraries listed below
Sorting:
- JISET: JavaScript IR-based Semantics Extraction Toolchain☆41Jan 7, 2023Updated 3 years ago
- JEST: N+1-version Differential Testing of Both JavaScript Engines☆14Jun 1, 2021Updated 4 years ago
- Making a "guide" on how to implement GroupBy in Spidermonkey following TC39 spec☆17Sep 6, 2023Updated 2 years ago
- Scalable Analysis Framework for ECMAScript☆120May 13, 2021Updated 4 years ago
- light ifconfig☆14Apr 13, 2019Updated 6 years ago
- Build Your Own Bundler☆38Jan 4, 2023Updated 3 years ago
- ☆11Aug 21, 2017Updated 8 years ago
- Prompt & model versioning on the cloud☆10Jun 22, 2024Updated last year
- ☆12Oct 13, 2022Updated 3 years ago
- Constraint solver based on abstract interpretation☆10Dec 20, 2024Updated last year
- A toy LDAP server in C for illustrative purposes☆12Apr 6, 2011Updated 14 years ago
- A more realistic demo of a buffer overflow cause by -ffast-math☆15Sep 10, 2022Updated 3 years ago
- tons of coding☆11Nov 15, 2022Updated 3 years ago
- Simple & compliant implementation of common UNIX userspace utilities☆10Oct 23, 2024Updated last year
- A (very) tiny IRC server, C-version, public domain☆14Apr 22, 2025Updated 10 months ago
- A Simple Archive Format☆10Sep 17, 2021Updated 4 years ago
- mirror of Fabrice Bellard's libbf tar releases, with fixes and CI☆16Aug 19, 2025Updated 6 months ago
- A sparse and compressed bitmap library.☆13Aug 28, 2014Updated 11 years ago
- C++11 memory allocator based on memory pools. It offers fast and efficient allocation of a large number of small-size objects.☆11Sep 2, 2022Updated 3 years ago
- Spectre variant 1 exploitation via PRIME+PROBE☆10May 22, 2019Updated 6 years ago
- ☆16Jan 23, 2026Updated last month
- popen2() - bidirectional popen()☆15Feb 1, 2018Updated 8 years ago
- The libtool accelerator: A miniature frontend for libtool that replaces libtool on sensible systems, and simply calls GNU libtool on eve…☆20Jun 1, 2014Updated 11 years ago
- ⚙️ My personal collection of FP JavaScript functions!☆12Mar 20, 2018Updated 7 years ago
- The API extractor for npm packages powering jsDocs.io☆15Mar 2, 2026Updated last week
- ☆16Jun 14, 2024Updated last year
- IBM AIX 4.1.3 source code☆16Oct 12, 2021Updated 4 years ago
- a complete rewrite of wscript.exe, for *NIX☆13Nov 2, 2018Updated 7 years ago
- cpufuzz is a dumb, simple and portable CPU fuzzer☆11Jan 27, 2019Updated 7 years ago
- Wrapper around sqlformat-rs for use as a dprint plugin.☆11Jul 18, 2023Updated 2 years ago
- **Unsupervised-Learning**(with practice of PCA, ICA and Model-based Clustering)☆11Oct 13, 2019Updated 6 years ago
- Portable C standard library re-entrant hash table search functions.☆11Sep 2, 2021Updated 4 years ago
- A C Templating Engine☆11Apr 13, 2017Updated 8 years ago
- The Unix line editor☆16Feb 23, 2026Updated 2 weeks ago
- Minimalist Operating System designed to implement as much functionality as possible with a budget of 1000 Lines of Code☆12Sep 28, 2016Updated 9 years ago
- embedded Perl 5 interpreter in Haskell, forked from https://github.com/perl6/Pugs.hs. Candidate package on hackage at https://hackage.has…☆12Feb 7, 2021Updated 5 years ago
- Yet another busybox / toybox tool. This one's written in Intel x86-64 64-bit assembly language.☆12Apr 23, 2023Updated 2 years ago
- REPL for C preprocessor of C++17☆10Jul 20, 2025Updated 7 months ago
- Unix utilities commands (an alternative to GNU Coreutils)☆11Feb 6, 2023Updated 3 years ago