Alternatives and similar repositories for k:

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

• florence / diagrama
  A diagram drawing library for Racket
  ☆18Updated 4 years ago
• dedbox / racket-template
  A Racket Meta-Program Generator
  ☆17Updated 4 years ago
• racket / parser-tools
  ☆12Updated 2 months ago
• MatthewFluet / smelt
  Forging Standard ML (SML) in emacs
  ☆10Updated 2 years ago
• soegaard / pyffi
  Use Python from Racket
  ☆29Updated 5 months ago
• syntax-objects / syntax-parse-example
  Collection of syntax/parse macros
  ☆29Updated 2 years ago
• jackfirth / resyntax
  A Racket refactoring engine
  ☆61Updated last week
• stchang / mlish
  ☆21Updated 4 years ago
• Bogdanp / racket-dbg
  A server, client and UI for remotely debugging Racket applications.
  ☆19Updated 7 months ago
• sorawee / racket-analysis
  Analysis of Racket code base
  ☆14Updated 4 years ago
• bennn / trivial
  Stronger types for a few Typed Racket operators
  ☆11Updated 11 months ago
• samdphillips / rhombus-examples
  Some code in the Rhombus/Shrubbery prototype
  ☆12Updated last month
• Metaxal / quickscript
  Easy scripting for DrRacket
  ☆18Updated 2 months ago
• hanleyc01 / rkttt
  ☆12Updated last year
• 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
• racket / honu
  ☆19Updated last year
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• Bogdanp / rackcheck
  A property-based testing library for Racket.
  ☆31Updated 8 months ago
• 6cdh / tree-sitter-racket
  Racket parser for tree-sitter
  ☆31Updated 4 months ago
• jackfirth / racket-package-template
  My personal template repository for Racket packages
  ☆15Updated 4 years ago
• Bogdanp / racket-crontab
  A cron-like scheduler for Racket.
  ☆12Updated 3 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
• madman-bob / idris2-python
  A Python backed for Idris 2
  ☆21Updated 2 months ago
• JohnReppy / sml-lsp-kit
  Standard ML Infrastructure for writing LSP servers
  ☆11Updated 2 months ago
• lexi-lambda / functional
  Functional interfaces and datatypes for Racket
  ☆43Updated 3 years ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆28Updated 2 weeks ago
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆34Updated last year
• massung / tabular-asa
  A column-oriented, dataframe implementation for Racket.
  ☆17Updated 4 months ago
• maxsnew / modal-scheme
  A Scheme-like CBPV language with Racket Interoperability
  ☆39Updated 10 months ago