Semantics for ES5
☆84Oct 28, 2015Updated 10 years ago
Alternatives and similar repositories for LambdaS5
Users that are interested in LambdaS5 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Semantics and tools for JavaScript☆92Feb 27, 2022Updated 4 years ago
- The Strobe Type Checker for JavaScript☆16Jun 12, 2012Updated 14 years ago
- JavaScript semantics☆18Aug 10, 2012Updated 14 years ago
- A pattern-matching DSL for JSON-like trees of data.☆52Mar 7, 2013Updated 13 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆208Feb 5, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Static analysis of a parallel Scheme☆18Jun 3, 2014Updated 12 years ago
- Binary Analysis Platform -- I will try to keep this updated with patches, fixes, etc.☆33Oct 1, 2014Updated 11 years ago
- ☆59Jan 30, 2014Updated 12 years ago
- A reverse polish notation --> JavaScript compiler demoing source maps☆21Jun 6, 2013Updated 13 years ago
- Haskell library: ECMAScript parser, pretty-printer and additional tools☆46Feb 8, 2024Updated 2 years ago
- JS-compatible regular expressions implemented in JS.☆18Apr 17, 2014Updated 12 years ago
- A PLT Redex implementation of Featherweight Java☆16Oct 8, 2012Updated 13 years ago
- functional reactive programming for JavaScript☆236Nov 28, 2019Updated 6 years ago
- ☆12Jul 19, 2026Updated 3 weeks ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Eclipse plugin that synthesizes real Java code☆26Aug 20, 2014Updated 11 years ago
- JS AST rewriter for tail call elimination☆134Jul 24, 2013Updated 13 years ago
- MuscalietJS: An Extensible Portable Layered JavaScript Engine☆21Mar 6, 2014Updated 12 years ago
- Coding experiments using ES.next features☆12Mar 31, 2012Updated 14 years ago
- Dependent JavaScript: A Typed Dialect☆89May 14, 2013Updated 13 years ago
- A PLT Redex model of a toy language that is almost, but not quite, entirely unlike Rust☆36May 14, 2013Updated 13 years ago
- JVM Abstracting Abstract Machine☆25Jan 29, 2019Updated 7 years ago
- Linear scan register allocator written in Rust☆15Sep 10, 2013Updated 12 years ago
- JavaScript Data Flow Analyze Tool☆47Aug 1, 2013Updated 13 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Nov 24, 2015Updated 10 years ago
- An implementation of substructural intuitionistic logic focused on forward chaining☆15Oct 16, 2013Updated 12 years ago
- The PGG Partial Evaluation System for Scheme 48☆18Dec 31, 2012Updated 13 years ago
- OCaml ppx preprocessor to generate SQLite3 prepared statements and query functions☆12Nov 17, 2015Updated 10 years ago
- a book about ocaml☆189Apr 24, 2017Updated 9 years ago
- Parser and type analysis for the Go programming language☆12Apr 3, 2026Updated 4 months ago
- Ocaml port of the C++ SFML library.☆17Nov 1, 2015Updated 10 years ago
- F# build library loosely inspired by Haskell Shake☆16Oct 31, 2013Updated 12 years ago
- confirm that a SpiderMonkey format AST represents an ECMAScript program☆27Aug 24, 2015Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Manipulating racket bytecode☆26Oct 24, 2021Updated 4 years ago
- iperf like tool on MirageOS☆11May 27, 2026Updated 2 months ago
- List Oriented Buffer Operations for Emacs☆26Dec 15, 2024Updated last year
- An Introduction to Redex with Abstracting Abstract Machines☆105Mar 21, 2024Updated 2 years ago
- Shonan #143: Programming Language Support for Data-intensive Applications☆15Jul 1, 2019Updated 7 years ago
- WIP Handbook for MirageOS☆14Mar 15, 2018Updated 8 years ago
- Various OCaml Libraries☆25Jun 18, 2019Updated 7 years ago