用 Racket 编写的库

pollen

图书出版系统 [主要存储库的镜像 https://git.matthewbutterick.com/mbutterick/pollen]。
  • 1.2k
  • MIT

hackett

Racket 中类似 Haskell 的 Lisp 的 WIP 实现。
  • 1.1k
  • ISC

frog

Frog 是一个在 Racket 中实现的静态博客生成器,针对 Bootstrap 并能够使用 Pygments。
  • 905

Fractalide

可重用、可复制的可组合软件。
  • 820
  • Mozilla Public License 2.0

racketscript

Racket 到 JavaScript 编译器。
  • 671
  • MIT

pie

Pie 语言,与 Friedman 和 Christiansen 的 The Little Typer(by the-little-typer)一起使用。
  • 645
  • GNU Affero General Public License v3.0

atreus

列交错式旅行键盘设计。
  • 624
  • GNU General Public License v3.0 only

rosette

Rosette 求解器辅助主机语言、示例求解器辅助 DSL 和演示(由 emina 提供)。
  • 619
  • GNU General Public License v3.0

racket-rash

鲁莽的球拍外壳。
  • 524
  • GNU General Public License v3.0

typed-racket

打字球拍。
  • 483
  • GNU General Public License v3.0

drracket

DrRacket,Racket 的 IDE。
  • 419
  • GNU General Public License v3.0

fructure

结构化交互引擎🗜️⚗️。
  • 412
  • Apache License 2.0

awesome-racket

由社区维护的精彩 Racket 框架、库和软件的精选列表。
  • 405
  • MIT

ActivityLog2

分析游泳、骑自行车和跑步活动的数据。
  • 306
  • GNU General Public License v3.0 only

mediKanren

使用 miniKanren + 启发式 + 索引对 SemMedDB 知识库进行推理的概念验证。
  • 294
  • MIT

urlang

Urlang 是具有健全语法的 JavaScript。
  • 292

rhombus-prototype

集思广益并起草 Rhombus 提案。
  • 256
  • GNU General Public License v3.0

whalesong

Whalesong:Racket 到 JavaScript 编译器。
  • 249

gradual-typing-bib

关于渐进打字的参考书目。
  • 239

rackjure

在 Racket 中提供一些受 Clojure 启发的想法。当 Racket 和 Clojure 冲突时,更喜欢 Racket..
  • 234
  • BSD 2-clause "Simplified"

racket-langserver

  • 225
  • GNU General Public License v3.0

scribble

  • 183
  • GNU General Public License v3.0

nanopass-framework-racket

Racket 的 nanopass 编译器框架。
  • 173
  • MIT

rhombus-brainstorming

集思广益并起草 Rhombus 提案[移至:https://github.com/racket/rhombus-prototype]。
  • 151
  • GNU General Public License v3.0

racket-gui-easy

Racket 中的声明式 GUI..
  • 119

koyo

Racket 的 Web 开发工具包..
  • 119

Remora

具有艾弗森风格隐式提升的依赖类型语言(由 jrslepak 编写)。
  • 114

recreational-rosette

使用符号执行解决问题的一些有趣示例。
  • 108

sketching

用于创意绘图和动画的 Racket 库。灵感来自加工..
  • 103

renegade-way

期权交易应用程序。
  • 90
  • Mozilla Public License 2.0