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 10 years ago
- The Strobe Type Checker for JavaScript☆16Jun 12, 2012Updated 14 years ago
- JavaScript semantics☆18Aug 10, 2012Updated 14 years ago
- Workshop on Program Transformations☆26Aug 12, 2023Updated 3 years ago
- Parser combinators for JS☆13Aug 25, 2015Updated 10 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☆52Jun 25, 2015Updated 11 years ago
- Experimental C++11 backend for Idris☆15Nov 29, 2014Updated 11 years ago
- General Parser Combinators in Racket☆192Sep 5, 2016Updated 9 years ago
- deprecated☆16Jul 13, 2014Updated 12 years ago
- Higher-Order Contracts for JavaScript☆14Mar 24, 2017Updated 9 years ago
- Markup (HTML and SVG) and DOM manipulation DSL for the Fay subset of Haskell.☆26May 16, 2014Updated 12 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆208Feb 5, 2024Updated 2 years ago
- deprecated☆20Mar 14, 2016Updated 10 years ago
- Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees☆15Jul 21, 2017Updated 9 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.
- Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic☆35Feb 25, 2014Updated 12 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆125Jan 29, 2022Updated 4 years ago
- The very excellent, educational MinCaml project of Eijiro Sumii is now available at https://github.com/esumii/min-caml☆17Oct 26, 2010Updated 15 years ago
- A typed logic programming language embedded in Haskell☆50Mar 3, 2013Updated 13 years ago
- Library classes for the Twelf Proof System☆22Jun 16, 2020Updated 6 years ago
- Running the code you want to write as fast as the code you have to write☆139Oct 16, 2016Updated 9 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Nov 28, 2013Updated 12 years ago
- A pattern-matching DSL for JSON-like trees of data.☆52Mar 7, 2013Updated 13 years ago
- A delta debugger for JavaScript☆18Jan 11, 2014Updated 12 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Relational interpreter in miniKanren that can generate quines☆131Jan 29, 2015Updated 11 years ago
- functional reactive programming for JavaScript☆236Nov 28, 2019Updated 6 years ago
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆11Jun 13, 2021Updated 5 years ago
- Functional programming for MooTools☆20Jun 5, 2010Updated 16 years ago
- Manipulating Common Intermediate Language AST in Haskell☆22Nov 12, 2016Updated 9 years ago
- raw mongodb interface in Racket☆18Jan 5, 2023Updated 3 years ago
- Coq development accompanying the paper "Efficient Extensional Binary Tries"☆22Apr 17, 2024Updated 2 years ago
- Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.☆45May 29, 2023Updated 3 years ago
- Bindings for llvm in racket☆66Jun 6, 2015Updated 11 years 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.
- Denotational Semantics of the Untyped Lambda Calculus☆17Feb 5, 2025Updated last year
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 years ago
- Buildpack-ocaml to run OCaml program on Heroku.☆19Jun 7, 2013Updated 13 years ago
- An implementation of miniKanren in Haskell☆81May 18, 2013Updated 13 years ago
- A toolkit for creating REST services with Node and PureScript☆32Jan 26, 2017Updated 9 years ago
- miniKanren for interactive tutorials on the web☆34Jun 3, 2025Updated last year
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Mar 6, 2015Updated 11 years ago