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
- JavaScript semantics☆18Aug 10, 2012Updated 13 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆208Feb 5, 2024Updated 2 years ago
- JS-compatible regular expressions implemented in JS.☆18Apr 17, 2014Updated 12 years ago
- The PGG Partial Evaluation System for Scheme 48☆18Dec 31, 2012Updated 13 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.
- Moana implementation in OCaml☆16Jul 15, 2015Updated 10 years ago
- functional reactive programming for JavaScript☆236Nov 28, 2019Updated 6 years ago
- JVM Abstracting Abstract Machine☆25Jan 29, 2019Updated 7 years ago
- Parser and type analysis for the Go programming language☆12Apr 3, 2026Updated 2 months ago
- List Oriented Buffer Operations for Emacs☆26Dec 15, 2024Updated last year
- Haskell library: ECMAScript parser, pretty-printer and additional tools☆46Feb 8, 2024Updated 2 years ago
- Manipulating racket bytecode☆26Oct 24, 2021Updated 4 years ago
- Automatic differentiation for NumPy☆42Jun 14, 2013Updated 13 years ago
- An abstract machine for analyzing Racket bytecode.☆29May 1, 2021Updated 5 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.
- A lyric projection mapper for reality and virtuality☆17Jan 6, 2021Updated 5 years ago
- miniKanren with a first-order representation of the search space☆17Mar 11, 2026Updated 3 months ago
- Source maps support for Haxe☆13Oct 5, 2023Updated 2 years ago
- Compile-time metaprogramming for OCaml☆76Aug 5, 2024Updated last year
- A Scala and Akka based map-reduce framework☆11Jul 23, 2015Updated 10 years ago
- Running the code you want to write as fast as the code you have to write☆139Oct 16, 2016Updated 9 years ago
- A Forth interpreter implemented in Swift, based upon JONESFORTH☆42Nov 25, 2015Updated 10 years ago
- A Haxe port of "CASA Lib for ActionScript", a great collection of helpful classes that streamline your coding.☆22Mar 30, 2016Updated 10 years ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Jun 24, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.☆17Oct 20, 2016Updated 9 years ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- Haxe/OpenFL port of mathmlformula - https://code.google.com/p/mathmlformula/☆14Nov 9, 2015Updated 10 years ago
- ☆38May 26, 2026Updated last month
- ☆59Jan 30, 2014Updated 12 years ago
- IEC 62056 smart meter readout in perl☆11Mar 16, 2018Updated 8 years ago
- A MiniKanren in Python☆37Jul 15, 2016Updated 9 years ago
- Library for Classical Coq☆41Jan 20, 2026Updated 5 months ago
- An interactive theorem prover based on lambda-tree syntax☆100Jun 15, 2026Updated 2 weeks 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.
- How to use the Intel JTAG primitive without using virtual JTAG☆17Oct 31, 2021Updated 4 years ago
- Trampolines, to emulate tail-recursion.☆14Oct 31, 2018Updated 7 years ago
- A multiplexer for TikZ Circuits☆14Jul 29, 2015Updated 10 years ago
- Bindings for llvm in racket☆66Jun 6, 2015Updated 11 years ago
- ☆10Dec 9, 2015Updated 10 years ago
- Forth metacompiler written in Lisp, for bootstrapping☆47May 29, 2021Updated 5 years ago
- Practical type inference for arbitrary-rank types☆11May 25, 2019Updated 7 years ago