Librerie scritte in Racket
pollen
sistema di pubblicazione di libri [specchio del repository principale su https://git.matthewbutterick.com/mbutterick/pollen].
- 1.2k
- MIT
frog
Frog è un generatore di blog statici implementato in Racket, mirato a Bootstrap e in grado di utilizzare Pygments.
- 905
pie
The Pie language, che accompagna The Little Typer di Friedman e Christiansen (del-little-typer).
- 645
- GNU Affero General Public License v3.0
atreus
design della tastiera da viaggio a colonne sfalsate.
- 624
- GNU General Public License v3.0 only
rosette
Il linguaggio host Rosette con aiuto del risolutore, esempi di DSL con aiuto del risolutore e demo (di emina).
- 619
- GNU General Public License v3.0
awesome-racket
Un elenco curato di fantastici framework, librerie e software Racket, gestiti dalla Community.
- 405
- MIT
ActivityLog2
Analizza i dati delle attività di nuoto, bici e corsa.
- 306
- GNU General Public License v3.0 only
mediKanren
Proof-of-concept per ragionare sulla base di conoscenza SemMedDB, usando miniKanren + euristica + indicizzazione..
- 294
- MIT
rhombus-prototype
Brainstorming e bozze di proposte per Rhombus.
- 256
- GNU General Public License v3.0
rackjure
Fornisci alcune idee ispirate a Clojure in Racket. Dove Racket e Clojure sono in conflitto, preferisci Racket..
- 234
- BSD 2-clause "Simplified"
rhombus-brainstorming
Brainstorming e bozze di proposte per Rhombus [Spostato su: https://github.com/racket/rhombus-prototype].
- 151
- GNU General Public License v3.0
Remora
Linguaggio tipizzato in modo dipendente con sollevamento implicito in stile Iverson (di jrslepak).
- 114
recreational-rosette
Alcuni divertenti esempi di risoluzione di problemi con l'esecuzione simbolica.
- 108