A compiler for the gradually typed lambda calculus
☆76Nov 4, 2021Updated 4 years ago
Alternatives and similar repositories for Grift
Users that are interested in Grift are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- WebAssembly model in Redex☆16May 16, 2019Updated 6 years ago
- Stronger types for a few Typed Racket operators☆11Jan 25, 2024Updated 2 years ago
- ☆18Apr 17, 2023Updated 2 years ago
- A bibliography on Gradual Typing☆255Dec 24, 2023Updated 2 years ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- a self-hosting lambda calculus compiler☆37Mar 31, 2025Updated last year
- A Toy Inverse Bidirectional Typechecker☆32May 13, 2019Updated 6 years ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆27Jun 18, 2022Updated 3 years ago
- Sound and efficient gradual typing via contract verification.☆20Aug 3, 2023Updated 2 years ago
- A type-safe dialect of TypeScript☆26Oct 25, 2014Updated 11 years ago
- Syntax Parse Bee 2021☆11Nov 7, 2022Updated 3 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22May 20, 2021Updated 4 years ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Jan 25, 2013Updated 13 years ago
- A template for you to implement Hazelnut yourself☆22Jul 15, 2025Updated 8 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Fungi: Typed incremental computation with names☆71Oct 11, 2019Updated 6 years ago
- The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of un…☆20Dec 8, 2021Updated 4 years ago
- Types for Python☆87Oct 10, 2018Updated 7 years ago
- Analysis of Racket code base☆14Aug 27, 2020Updated 5 years ago
- A dependent type theory with user defined data types☆47Oct 1, 2021Updated 4 years ago
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆10Oct 13, 2021Updated 4 years ago
- Playing with incremental parsing and later compiler passes☆12Dec 12, 2018Updated 7 years ago
- A Redex tutorial with a focus on how to do work in Redex☆11Oct 21, 2024Updated last year
- A notional machine for the SMoL languages☆21Sep 12, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Optimizing Abstract Abstract Machines☆31Apr 6, 2017Updated 9 years ago
- ☆44Aug 11, 2025Updated 7 months ago
- Lean course materials for Brown CS 22, Spring 2023☆20Nov 20, 2023Updated 2 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Aug 7, 2012Updated 13 years ago
- Ordo: A minimalist language with row polymorphism☆86Feb 3, 2026Updated 2 months ago
- An R5RS Scheme in JavaScript.☆17Feb 7, 2026Updated 2 months ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆167Feb 4, 2025Updated last year
- A language-integrated proof assistant, for and in Racket☆39Aug 26, 2016Updated 9 years ago
- ☆12Jun 13, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Type expanders (i.e. type-level functions) for Typed/Racket☆16Nov 11, 2021Updated 4 years ago
- ☆19Jan 7, 2026Updated 3 months ago
- 💠 HL7: FHIR Application Server ISO/HL7 27931:2009☆11Feb 17, 2026Updated last month
- Staged compilation with dependent types☆187Feb 1, 2026Updated 2 months ago
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…☆49Dec 22, 2025Updated 3 months ago
- an implementation of gradual typing in mit-scheme☆10Apr 11, 2021Updated 4 years ago
- ☆29Jun 23, 2022Updated 3 years ago