Bibliothèques écrites en Racket

pollen

système d'édition de livres [miroir du référentiel principal sur https://git.matthewbutterick.com/mbutterick/pollen].
  • 1.2k
  • MIT

hackett

Implémentation WIP d'un Lisp de type Haskell dans Racket.
  • 1.1k
  • ISC

frog

Frog est un générateur de blog statique implémenté dans Racket, ciblant Bootstrap et capable d'utiliser Pygments.
  • 905

Fractalide

Logiciel composable reproductible réutilisable.
  • 820
  • Mozilla Public License 2.0

racketscript

Racket au compilateur JavaScript.
  • 671
  • MIT

pie

Le langage Pie, qui accompagne The Little Typer de Friedman et Christiansen (par the-little-typer).
  • 645
  • GNU Affero General Public License v3.0

atreus

conception de clavier de voyage à colonnes décalées.
  • 624
  • GNU General Public License v3.0 only

rosette

Le langage hôte assisté par un solveur Rosette, des exemples de DSL assistés par un solveur et des démos (par emina).
  • 619
  • GNU General Public License v3.0

racket-rash

La coquille de raquette insouciante.
  • 524
  • GNU General Public License v3.0

typed-racket

Raquette typée.
  • 483
  • GNU General Public License v3.0

drracket

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

fructure

un moteur d'interaction structuré 🗜️ ⚗️.
  • 412
  • Apache License 2.0

awesome-racket

Une liste organisée d'excellents frameworks, bibliothèques et logiciels Racket, maintenue par Community.
  • 405
  • MIT

ActivityLog2

Analysez les données des activités de natation, de vélo et de course à pied.
  • 306
  • GNU General Public License v3.0 only

mediKanren

Preuve de concept pour le raisonnement sur la base de connaissances SemMedDB, utilisant miniKanren + heuristique + indexation.
  • 294
  • MIT

urlang

Urlang est JavaScript avec une syntaxe saine.
  • 292

rhombus-prototype

Brainstorming et projets de propositions pour Rhombus.
  • 256
  • GNU General Public License v3.0

whalesong

Whalesong: Compilateur Racket vers JavaScript.
  • 249

gradual-typing-bib

Une bibliographie sur Gradual Typing.
  • 239

rackjure

Fournissez quelques idées inspirées de Clojure dans Racket. Là où Racket et Clojure s'opposent, préférez 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

framework de compilateur nanopass pour Racket.
  • 173
  • MIT

rhombus-brainstorming

Brainstorming et projets de propositions pour Rhombus [Déplacé vers: https://github.com/racket/rhombus-prototype].
  • 151
  • GNU General Public License v3.0

racket-gui-easy

Interfaces graphiques déclaratives dans Racket.
  • 119

koyo

Une boîte à outils de développement web pour Racket..
  • 119

Remora

Langage à typage dépendant avec levée implicite de style Iverson (par jrslepak).
  • 114

recreational-rosette

Quelques exemples amusants de résolution de problèmes avec une exécution symbolique.
  • 108

sketching

Une bibliothèque Racket pour des dessins et des animations créatifs. Inspiré par le traitement..
  • 103

renegade-way

Application de négociation d'options.
  • 90
  • Mozilla Public License 2.0