Semantics and tools for JavaScript
☆92Feb 27, 2022Updated 4 years ago
Alternatives and similar repositories for LambdaJS
Users that are interested in LambdaJS 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 for ES5☆84Oct 28, 2015Updated 11 years ago
- The Strobe Type Checker for JavaScript☆16Jun 12, 2012Updated 14 years ago
- JavaScript semantics☆18Aug 10, 2012Updated 14 years ago
- Parser combinators for JS☆13Aug 25, 2015Updated 11 years ago
- Workshop on Program Transformations☆26Aug 12, 2023Updated 3 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.
- Relational Programming in miniKanren☆51Jun 25, 2015Updated 11 years ago
- deprecated☆16Jul 13, 2014Updated 12 years ago
- Higher-Order Contracts for JavaScript☆14Mar 24, 2017Updated 9 years ago
- Experimental C++11 backend for Idris☆16Nov 29, 2014Updated 11 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆208Feb 5, 2024Updated 2 years ago
- Team (unmatched ICFPC 2013 repository☆11Aug 12, 2013Updated 13 years ago
- General Parser Combinators in Racket☆192Sep 5, 2016Updated 10 years ago
- Markup (HTML and SVG) and DOM manipulation DSL for the Fay subset of Haskell.☆26May 16, 2014Updated 12 years ago
- Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees☆15Jul 21, 2017Updated 9 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.
- deprecated☆20Mar 14, 2016Updated 10 years ago
- A family of type systems for JavaScript☆12Mar 25, 2013Updated 13 years ago
- PostScript programming in the Coq proof assistant☆13Jun 12, 2014Updated 12 years ago
- The very excellent, educational MinCaml project of Eijiro Sumii is now available at https://github.com/esumii/min-caml☆17Oct 26, 2010Updated 16 years ago
- A pattern-matching DSL for JSON-like trees of data.☆52Mar 7, 2013Updated 13 years ago
- Benchmarks for the ReactJS framework☆13Nov 13, 2013Updated 12 years ago
- Running the code you want to write as fast as the code you have to write☆139Oct 16, 2016Updated 10 years ago
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆11Jun 13, 2021Updated 5 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆125Jan 29, 2022Updated 4 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.
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆88Jun 12, 2017Updated 9 years ago
- Functional programming for MooTools☆20Jun 5, 2010Updated 16 years ago
- Demonstration of combining Fay and Bacon.js☆12Jan 29, 2013Updated 13 years ago
- Relational interpreter in miniKanren that can generate quines☆131Jan 29, 2015Updated 11 years ago
- Interpreter, Denotational Semantics, & Tests for a vau-based Lisp dialect.☆10Apr 15, 2013Updated 13 years ago
- Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic☆35Feb 25, 2014Updated 12 years ago
- Moved to aliceml/aliceml☆29May 28, 2014Updated 12 years ago
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated 8 months ago
- Francis is Bacon.js ported to Scala☆12Aug 22, 2018Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A typed logic programming language embedded in Haskell☆50Mar 3, 2013Updated 13 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Nov 28, 2013Updated 12 years ago
- ☆15Jan 9, 2013Updated 13 years ago
- Denotational Semantics of the Untyped Lambda Calculus☆17Feb 5, 2025Updated last year
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 years ago
- Canonical miniKanren implementation☆371Apr 11, 2018Updated 8 years ago
- ☆11Oct 9, 2010Updated 16 years ago