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:
- The Strobe Type Checker for JavaScript☆16Jun 12, 2012Updated 14 years ago
- JavaScript semantics☆18Aug 10, 2012Updated 13 years ago
- Workshop on Program Transformations☆26Aug 12, 2023Updated 2 years ago
- Parser combinators for JS☆13Aug 25, 2015Updated 10 years ago
- Relational Programming in miniKanren☆52Jun 25, 2015Updated 11 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.
- 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
- Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic☆35Feb 25, 2014Updated 12 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.
- 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 library for determining if GitHub has built a gem yet☆19Nov 17, 2009Updated 16 years ago
- Relational interpreter in miniKanren that can generate quines☆131Jan 29, 2015Updated 11 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.
- 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
- ☆15Jan 9, 2013Updated 13 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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