Alternatives and similar repositories for pictie:

Users that are interested in pictie are comparing it to the libraries listed below

• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 4 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• soney / interstate
  ☆53Updated 4 years ago
• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆52Updated 8 years ago
• johnstonskj / simple-oauth2
  Simple Racket implementation of the OAuth2 family of specifications
  ☆13Updated 3 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆35Updated last year
• lexi-lambda / racket-curly-fn
  A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.
  ☆17Updated 8 years ago
• NVIDIA / remorac
  ☆38Updated 8 years ago
• urweb / upo
  The Ur/Web People Organizer
  ☆29Updated 9 months ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• ocamllabs / ocaml-effects
  *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers
  ☆27Updated 8 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 10 years ago
• jasonhemann / constraint-microKanren
  A microKanren framework for implementing constraints.
  ☆18Updated 6 years ago
• dedbox / racket-template
  A Racket Meta-Program Generator
  ☆17Updated 4 years ago
• namin / mk-on-smt
  miniKanren for search, SMT for solving
  ☆13Updated 5 years ago
• Armael / papiers
  A tool to index your papers/interesting links/... and quickly search through them
  ☆49Updated 3 years ago
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆22Updated 5 years ago
• jessealama / argo
  JSON Schema Adventures
  ☆17Updated last year
• standardml / parcom
  SML Parser Combinator Library
  ☆27Updated 8 years ago
• hpi-swa / Gramada
  Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…
  ☆16Updated 4 years ago
• tonyg / racket-something
  Indentation-based Racket Syntax
  ☆37Updated 3 years ago
• jonleivent / mindless-coding-phase2
  Mindless, verified (erasably) coding using dependent types, phase 2
  ☆20Updated 4 years ago
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆75Updated 14 years ago
• LeifAndersen / racket-sml
  ☆18Updated last year
• webyrd / curnelo
  Cur dependently-typed language in miniKanren.
  ☆17Updated 7 years ago
• jeapostrophe / adqc
  adqc - A version of C with verification and resource bounds
  ☆22Updated 3 years ago
• tekknolagi / distlisp
  Distributed Lisp interpreter in Erlang.
  ☆11Updated 8 years ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 4 years ago
• dvanhorn / ubik
  Small Scheme interpreter and compiler
  ☆14Updated 9 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 6 years ago