Semantics for ES5
☆84Oct 28, 2015Updated 11 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Static analysis of a parallel Scheme☆18Jun 3, 2014Updated 12 years ago
- ECMAScript scope analyzer☆11Jan 3, 2013Updated 13 years ago
- A reverse polish notation --> JavaScript compiler demoing source maps☆21Jun 6, 2013Updated 13 years ago
- ☆59Jan 30, 2014Updated 12 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆31Nov 24, 2015Updated 10 years ago
- Haskell library: ECMAScript parser, pretty-printer and additional tools☆46Feb 8, 2024Updated 2 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
- functional reactive programming for JavaScript☆235Nov 28, 2019Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Xen event channel interface for Mirage☆10Mar 6, 2025Updated last year
- Dependent JavaScript: A Typed Dialect☆89May 14, 2013Updated 13 years ago
- A functional concatenative language implemented in Linux/AMD64 machine code and self-modifying perl☆17Jan 17, 2017Updated 9 years ago
- Interpreter, Denotational Semantics, & Tests for a vau-based Lisp dialect.☆10Apr 15, 2013Updated 13 years ago
- A PLT Redex implementation of Featherweight Java☆16Oct 8, 2012Updated 14 years ago
- JavaScript Data Flow Analyze Tool☆47Aug 1, 2013Updated 13 years ago
- Linear scan register allocator written in Rust☆15Sep 10, 2013Updated 13 years ago
- ☆16Mar 22, 2025Updated last year
- RaList: Purely Functional Random-access Lists for Racket.☆12Feb 18, 2019Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- a book about ocaml☆189Apr 24, 2017Updated 9 years ago
- Moana implementation in OCaml☆16Jul 15, 2015Updated 11 years ago
- iperf like tool on MirageOS☆11May 27, 2026Updated 5 months ago
- Optimizing Abstract Abstract Machines☆31Apr 6, 2017Updated 9 years ago
- OCaml bindings for the Xlib library.☆17Dec 2, 2020Updated 5 years ago
- Designing Programs with Class☆28Jan 30, 2018Updated 8 years ago
- OCaml ppx preprocessor to generate SQLite3 prepared statements and query functions☆12Nov 17, 2015Updated 10 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
- A type-safe dialect of TypeScript☆26Oct 25, 2014Updated 12 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Ocaml port of the C++ SFML library.☆17Nov 1, 2015Updated 10 years ago
- Haskell interface to the udis86 disassembler for x86 and x86-64 / AMD64☆14Aug 28, 2011Updated 15 years ago
- Plugin files for editing K files☆12Aug 20, 2024Updated 2 years ago
- F# build library loosely inspired by Haskell Shake☆16Oct 31, 2013Updated 12 years ago
- forGL Use your language to learn Computer Programming, no experience needed☆21Jul 13, 2025Updated last year
- confirm that a SpiderMonkey format AST represents an ECMAScript program☆27Aug 24, 2015Updated 11 years ago
- Performance-related scripts☆10Sep 14, 2012Updated 14 years ago