A PLT Redex implementation of Featherweight Java
☆16Oct 8, 2012Updated 14 years ago
Alternatives and similar repositories for plt-redex-fj
Users that are interested in plt-redex-fj are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Jul 19, 2026Updated 3 months ago
- Static analysis of a parallel Scheme☆18Jun 3, 2014Updated 12 years ago
- Optimizing Abstract Abstract Machines☆31Apr 6, 2017Updated 9 years ago
- nand-lang☆15Apr 22, 2018Updated 8 years ago
- Scrap Your Boilerplate for MetaOCaml with modular implicits☆19Dec 21, 2015Updated 10 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 diagram drawing library for Racket☆20Dec 16, 2020Updated 5 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
- Different useful things I have come up with to write my papers in scribble rather than directly in LaTeX☆13Jul 6, 2012Updated 14 years ago
- PCF with Contracts and Symbolic Values☆17Mar 30, 2016Updated 10 years ago
- ☆11Apr 19, 2019Updated 7 years ago
- Demonstration of implementing a language in Racket☆58Jul 9, 2014Updated 12 years ago
- an implementation of a microKanren(-like language) in miniKanren☆27Aug 1, 2014Updated 12 years ago
- ☆15Jan 9, 2013Updated 13 years ago
- A type-safe dialect of TypeScript☆26Oct 25, 2014Updated 12 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.
- F-omega with interval kinds mechanized in Agda☆14Aug 1, 2024Updated 2 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆105Mar 21, 2024Updated 2 years ago
- Prototype of a new constraint-logic programming language in Racket☆30Sep 22, 2014Updated 12 years ago
- Parser Combinator for JavaScript☆17Sep 21, 2014Updated 12 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
- This github repository hosts the code used within my thesis work and my last publication.☆13Jul 20, 2017Updated 9 years ago
- Racket bindings for Z3☆25May 11, 2019Updated 7 years ago
- JVM Abstracting Abstract Machine☆26Jan 29, 2019Updated 7 years ago
- Designing Programs with Class☆28Jan 30, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆38Sep 25, 2026Updated last month
- RaList: Purely Functional Random-access Lists for Racket.☆12Feb 18, 2019Updated 7 years ago
- generative programming & verification☆34Jul 18, 2026Updated 3 months ago
- Interpreter for functional pure type systems.☆21Jun 30, 2017Updated 9 years ago
- A very little language☆16Jul 1, 2023Updated 3 years ago
- A Racket library for interacting with Idris over the IDE protocol☆30Nov 10, 2017Updated 8 years ago
- Integration of MathJax, KaTeX and Asymptote with scribble, to typeset math in Racket documentation☆17Jun 11, 2024Updated 2 years ago
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Aug 28, 2024Updated 2 years ago
- ☆17Apr 4, 2024Updated 2 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.
- Dr. Bayes☆83Jun 27, 2016Updated 10 years ago
- A Scala-style magic function application form☆42Jul 31, 2022Updated 4 years ago
- Hash Array Mapped Tries for Racket☆20Jan 30, 2017Updated 9 years ago
- Relational implementation of the CESK machine☆21Jul 15, 2013Updated 13 years ago
- Collection of Idris snippets☆26Dec 23, 2025Updated 10 months ago
- ☆58May 5, 2017Updated 9 years ago
- flexible 'let rec' generation for MetaOCaml☆29Jan 25, 2026Updated 9 months ago