☆11Dec 15, 2018Updated 7 years ago
Alternatives and similar repositories for gradual-typing-performance
Users that are interested in gradual-typing-performance are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A scribble library for using pygmentize☆16Nov 16, 2022Updated 3 years ago
- Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation☆25Jul 23, 2026Updated 3 months ago
- My working notes about Racket and Clojure equivalencies organized as a cheat sheet.☆27Oct 21, 2014Updated 12 years ago
- (Somewhat) Algebraic Data Types for Racket☆34Jan 15, 2023Updated 3 years ago
- Racket bindings for Z3☆25May 11, 2019Updated 7 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- racket benchmarking library☆13May 25, 2019Updated 7 years ago
- Syntax Parse Bee 2021☆11Nov 7, 2022Updated 3 years ago
- Multi-file check-syntax database☆14Aug 20, 2024Updated 2 years ago
- A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"☆38Mar 29, 2026Updated 6 months ago
- ☆19Aug 11, 2026Updated 2 months ago
- Stronger types for a few Typed Racket operators☆11Jan 25, 2024Updated 2 years ago
- A TODO list feature for DrRacket, like to Agda's goal list but for any language.☆33Jul 1, 2023Updated 3 years ago
- Hacking synthetic Tait computability into Agda. Example: canonicity for MLTT.☆20Feb 26, 2021Updated 5 years ago
- ☆17Jun 10, 2022Updated 4 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.
- A Scribble library for typesetting grammars better☆15Jul 9, 2026Updated 3 months ago
- A clone of DrRacket-style Unicode symbol input for Emacs☆16Aug 10, 2022Updated 4 years ago
- PCF with Contracts and Symbolic Values☆17Mar 30, 2016Updated 10 years ago
- Draw cons-cell diagrams using Racket's pict library☆12Jan 3, 2019Updated 7 years ago
- A server, client and UI for remotely debugging Racket applications.☆29Jul 23, 2025Updated last year
- ☆16Apr 1, 2019Updated 7 years ago
- ☆113Updated this week
- WebAssembly model in Redex☆16May 16, 2019Updated 7 years ago
- Formalizations of Gradually Typed Languages in Agda☆60Mar 2, 2026Updated 7 months 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.
- Higher-Order Contracts for JavaScript☆14Mar 24, 2017Updated 9 years ago
- Extensible low-level programming☆38Oct 15, 2026Updated last week
- A Racket library for interacting with Idris over the IDE protocol☆30Nov 10, 2017Updated 8 years ago
- The implementation of an SMTLib dialect for xDSL☆19Apr 16, 2026Updated 6 months ago
- Arete is an experimental programming language.☆12Oct 6, 2023Updated 3 years ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆35Oct 8, 2024Updated 2 years ago
- The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.☆31Jan 24, 2024Updated 2 years ago
- An experimental Haskell library for programming with effectful runners.☆30Dec 6, 2019Updated 6 years ago
- Mocking library for Racket☆22Oct 23, 2020Updated 6 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.
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Constructive Galois connections☆35Mar 26, 2018Updated 8 years ago
- JSY is an indented (offside) JavaScript dialect. We believe indentation is better at describing code blocks.☆10Jan 2, 2026Updated 9 months ago
- A code formatter for Racket☆84Apr 13, 2026Updated 6 months ago
- A Scala-style magic function application form☆42Jul 31, 2022Updated 4 years ago
- ☆47Jul 16, 2026Updated 3 months ago
- ☆41Aug 20, 2026Updated 2 months ago