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
- Prompt & model versioning on the cloud☆10Jun 22, 2024Updated last year
- tons of coding☆11Nov 15, 2022Updated 3 years ago
- ☆12Oct 13, 2022Updated 3 years ago
- A more realistic demo of a buffer overflow cause by -ffast-math☆15Sep 10, 2022Updated 3 years ago
- Constraint solver based on abstract interpretation☆10Dec 20, 2024Updated last year
- ☆11Aug 21, 2017Updated 8 years ago
- A toy LDAP server in C for illustrative purposes☆12Apr 6, 2011Updated 14 years ago
- Telemetry system based on 8-bit AVR microcontroller with full TCP/IP stack (DHCP, NTP, HTTP)☆13Nov 13, 2024Updated last year
- Some zig libraries☆14Sep 5, 2023Updated 2 years ago
- A set of macros and functions to make defining a C module easier☆11Sep 9, 2019Updated 6 years ago
- FNV hash collision generator☆12Mar 2, 2017Updated 9 years ago
- An x86_64 assembler written in bash.☆11Jul 14, 2024Updated last year
- https://codeberg.org/ccxvii/djvudec☆14Aug 13, 2025Updated 6 months 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
- Small portable regex in C (cbmc verified, and extended)☆13Jun 6, 2023Updated 2 years ago
- ⚙️ My personal collection of FP JavaScript functions!☆12Mar 20, 2018Updated 7 years ago
- a non blocking hash map implementation in c☆14Apr 27, 2010Updated 15 years ago
- The CRT X-Y library (libcrtxy) is meant to be used by video game programmers who wish to create games in the style of vector graphics a…☆13Sep 2, 2023Updated 2 years ago
- Implement Some Handy JavaScript Functions From The Ground Up☆12Mar 4, 2023Updated 3 years ago
- TrueType/OpenType Font Library☆13Jan 16, 2026Updated last month
- link a linux ELF .so library into memory with python and call functions in it, even if you're not on linux☆10Feb 5, 2020Updated 6 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
- [WIP] Interval Analysis on LLVM IR☆12Jul 6, 2020Updated 5 years ago
- A splaytree ADT written in C with a BSD license☆18Jun 18, 2020Updated 5 years ago
- A Python/Cython package for graph edit distances and graph matching☆13Jan 30, 2023Updated 3 years ago
- A single-header C command line parsing library☆15Jun 13, 2018Updated 7 years ago
- Hard Real-Time world-wide clock synchronization utilizing new better algorithms than PTP and NTP uses.☆14Jan 4, 2016Updated 10 years ago
- a simple and human readable binary diff format and implementation☆20Feb 8, 2024Updated 2 years ago
- A compiler for a subset of C11 language. Under development...☆13Jan 19, 2024Updated 2 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
- mirror of Fabrice Bellard's libbf tar releases, with fixes and CI☆16Aug 19, 2025Updated 6 months ago
- Context-free grammar parsing library☆10Oct 6, 2024Updated last year
- ☆16Jun 14, 2024Updated last year