khayyamsaleem / gradual-typing

Related projects ⓘ

Alternatives and complementary repositories for gradual-typing

• zsparks / scheme-dep
  A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
  ☆8Updated 10 years ago
• stchang / mlish
  ☆21Updated 4 years ago
• racket / frtime
  ☆18Updated 2 weeks ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆27Updated last week
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆54Updated 6 months ago
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆22Updated 5 years ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆17Updated 4 years ago
• racket / slideshow
  ☆34Updated 2 weeks ago
• racket / parser-tools
  ☆11Updated 2 weeks ago
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆27Updated 9 months ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated last week
• david-christiansen / dan-scheme
  A very little language
  ☆16Updated last year
• JonasHoefer / scoped-effects-agda
  An implementation of scoped algebraic effects and handlers in Agda.
  ☆11Updated 3 years ago
• takikawa / racket-ppa
  Ubuntu PPA for Racket (based on the upstream in Debian at https://salsa.debian.org/bremner/racket). Check the Launchpad page for details …
  ☆10Updated 2 years ago
• mflatt / shplait
  Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation
  ☆16Updated this week
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆24Updated 10 years ago
• philnguyen / z3-rkt
  Racket bindings for Z3
  ☆24Updated 5 years ago
• hanleyc01 / rkttt
  ☆12Updated last year
• maxsnew / modal-scheme
  A Scheme-like CBPV language with Racket Interoperability
  ☆39Updated 8 months ago
• webyrd / hindley-milner-type-inferencer
  Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
  ☆20Updated 9 years ago
• pnwamk / datatype
  (Somewhat) Algebraic Data Types for Racket
  ☆35Updated last year
• jeapostrophe / adqc
  adqc - A version of C with verification and resource bounds
  ☆22Updated 3 years ago
• bennn / forth
  Forth emulator, as a Racket #lang
  ☆20Updated last year
• syntax-objects / syntax-parse-example
  Collection of syntax/parse macros
  ☆29Updated 2 years ago
• Bogdanp / rackcheck
  A property-based testing library for Racket.
  ☆29Updated 6 months ago
• jackfirth / resyntax
  A Racket refactoring engine
  ☆58Updated this week
• florence / diagrama
  A diagram drawing library for Racket
  ☆18Updated 3 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆32Updated 6 months ago
• ralsei / bingus
  A program synthesizer for code in the How to Design Programs curriculum
  ☆13Updated 10 months ago
• pnwamk / stop2015-redex
  PLT Redex model of basic Dependently Typed Racket calculus
  ☆18Updated 9 years ago