Generic static analysis framework
☆22Dec 7, 2022Updated 3 years ago
Alternatives and similar repositories for jipda
Users that are interested in jipda are comparing it to the libraries listed below
Sorting:
- JavaScript Code Instrumenter☆40May 23, 2025Updated 9 months ago
- (Abstract) Abstract Machine Experiments using Scala☆36Jan 15, 2021Updated 5 years ago
- FM-index is the fastest full text search algorithm using a compressed index file. This is FM-index for JSX/JS/AMD/Common.js.☆11Nov 9, 2013Updated 12 years ago
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- A visual testing tool to compare two web pages visually and generate the pixel difference they have.☆16Dec 14, 2015Updated 10 years ago
- Runtime checker for JS coding practices☆35Sep 13, 2022Updated 3 years ago
- 🧊 Інститут формальної математики☆36Dec 17, 2025Updated 2 months ago
- Django-Rest-Framework 教程☆10Feb 16, 2016Updated 10 years ago
- Trusted timestamping on the Tezos blockchain.☆14Aug 2, 2023Updated 2 years ago
- Cryptonomica Arbitration Rules☆10Dec 17, 2018Updated 7 years ago
- Internationalisation library for Web applications (server and/or client)☆13Dec 9, 2025Updated 2 months ago
- Serialization formats toolkit for OCaml (unreleased)☆13Jan 2, 2026Updated 2 months ago
- Open-source reference Smart-contracts library for the Tezos Ecosystem, written in CamelLIGO and JSLigo☆11Aug 22, 2023Updated 2 years ago
- A prototype to write blog posts with executable ocaml code blocks☆10Apr 25, 2025Updated 10 months ago
- Capture and replay execution traces of client-side web applications☆28May 31, 2013Updated 12 years ago
- Library for tokenizing code with TextMate grammars☆14Updated this week
- ☆10Jun 14, 2020Updated 5 years ago
- Auto-formatter for OCaml code☆11Oct 24, 2025Updated 4 months ago
- Simple, existential optics library for OCaml☆17Sep 24, 2022Updated 3 years ago
- A parser and AST for Lustre☆12Oct 30, 2024Updated last year
- ☆10Nov 1, 2017Updated 8 years ago
- Compile HTML templates to OCaml modules to generate consistent web sites.☆23Nov 12, 2021Updated 4 years ago
- ☆13Apr 28, 2025Updated 10 months ago
- SMCHR - Satisfiability Modulo Constraint Handling Rules☆12Jul 19, 2018Updated 7 years ago
- Discovered Data and Source Code☆10May 5, 2025Updated 10 months ago
- Binding in Js_of_ocaml for the BroadcastChannel API☆10Feb 13, 2020Updated 6 years ago
- widgetjs is a framework that provides routing, events and stateful widgets to JS Apps.☆10Jun 7, 2025Updated 9 months ago
- A tiny object wrapper around the DOM, targeted at replacing the core of the manipulations found inside jQuery.☆54Apr 29, 2014Updated 11 years ago
- A java library to compute the difference between XML files☆14Oct 23, 2009Updated 16 years ago
- a project example using erl-test-runner☆10Jun 16, 2015Updated 10 years ago
- A jabber logger and web interface☆12Jan 5, 2026Updated 2 months ago
- ☆14Sep 10, 2022Updated 3 years ago
- Tool for Change Impact Analysis in JavaScript Web Applications☆10Sep 12, 2014Updated 11 years ago
- ☆13Jan 30, 2026Updated last month
- Hexadecimal encoding and decoding, mirror of https://git.robur.coop/robur/ohex☆10Mar 18, 2024Updated last year
- Mica is a web portal for epidemiological study consortia.☆12Updated this week
- Build components for CloudMan, Galaxy on the Cloud, or Galaxy Server☆20Jun 27, 2017Updated 8 years ago
- OSX menu bar controlled Tor relay server☆17Oct 28, 2014Updated 11 years ago
- Literate programmiong parser in C☆10Mar 21, 2013Updated 12 years ago