kaist-plrg / jstarView external linksLinks
JSTAR: JavaScript Specification Type Analyzer using Refinement
☆14Feb 27, 2022Updated 3 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☆118May 13, 2021Updated 4 years ago
- light ifconfig☆14Apr 13, 2019Updated 6 years ago
- Build Your Own Bundler☆38Jan 4, 2023Updated 3 years ago
- A more realistic demo of a buffer overflow cause by -ffast-math☆15Sep 10, 2022Updated 3 years ago
- Prompt & model versioning on the cloud☆10Jun 22, 2024Updated last year
- ☆11Aug 21, 2017Updated 8 years ago
- A toy LDAP server in C for illustrative purposes☆12Apr 6, 2011Updated 14 years ago
- ☆12Oct 13, 2022Updated 3 years ago
- Constraint solver based on abstract interpretation☆10Dec 20, 2024Updated last year
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆12Aug 27, 2025Updated 5 months ago
- A portable linker for multiple file formats.☆13Aug 28, 2023Updated 2 years ago
- Compact, non-backtracking, unicode aware regular expressions in C89☆10Apr 17, 2025Updated 9 months ago
- A Python/Cython package for graph edit distances and graph matching☆13Jan 30, 2023Updated 3 years ago
- Disassembly of Super Mario Kart's SPC700 Audio Driver Code☆12May 17, 2023Updated 2 years ago
- Some zig libraries☆14Sep 5, 2023Updated 2 years ago
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 5 months ago
- An x86_64 assembler written in bash.☆11Jul 14, 2024Updated last year
- Make C header files from C source files (create .h files from .c files)☆13Nov 16, 2018Updated 7 years ago
- Tutorial app for using node.js, coffeescript and mongodb☆31Jan 16, 2012Updated 14 years ago
- Utility that parses stack sizes section from elf objects and displays the preallocated stack size of each function.☆14Jan 15, 2020Updated 6 years ago
- Unix utilities commands (an alternative to GNU Coreutils)☆11Feb 6, 2023Updated 3 years ago
- ☆12Apr 1, 2025Updated 10 months ago
- A Simple Archive Format☆10Sep 17, 2021Updated 4 years ago
- Research Artifact for HPCA'24 Paper: *Modeling, Derivation, and Automated Analysis of Branch Predictor Security Vulnerabilities*.☆11Oct 30, 2025Updated 3 months ago
- Small portable regex in C (cbmc verified, and extended)☆14Jun 6, 2023Updated 2 years ago
- **Unsupervised-Learning**(with practice of PCA, ICA and Model-based Clustering)☆11Oct 13, 2019Updated 6 years ago
- FNV hash collision generator☆12Mar 2, 2017Updated 8 years ago
- a reasonably fast syntax highlighter☆14Aug 5, 2025Updated 6 months ago
- Tauri Plugin for retrieving machine UID☆16Dec 8, 2025Updated 2 months ago
- Mac OS OSAKit adapted for Rust☆15Mar 1, 2025Updated 11 months ago
- ⚙️ My personal collection of FP JavaScript functions!☆12Mar 20, 2018Updated 7 years ago
- A tiny tool to learn the assembly code☆12Feb 17, 2017Updated 8 years ago
- C recursive descent parser based on Ian Piumarta's peg(1)☆20Feb 4, 2014Updated 12 years ago
- IBM AIX 4.1.3 source code☆16Oct 12, 2021Updated 4 years ago
- Yet another busybox / toybox tool. This one's written in Intel x86-64 64-bit assembly language.☆11Apr 23, 2023Updated 2 years ago
- On-the-fly Table Generation - SIGIR'18☆10Feb 1, 2020Updated 6 years ago