欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Racket
来自开放百科 - 灰狐
(版本间的差异)
小 (→Math) |
小 (→项目) |
||
第45行: | 第45行: | ||
==人工智能== | ==人工智能== | ||
*[https://docs.racket-lang.org/rml-core/index.html Racket Machine Learning] | *[https://docs.racket-lang.org/rml-core/index.html Racket Machine Learning] | ||
+ | |||
+ | ==数据科学== | ||
+ | *[https://github.com/n3mo/data-science Data Science Tooling For Racket] | ||
==项目== | ==项目== | ||
第54行: | 第57行: | ||
*[https://github.com/greghendershott/frog Frog] is a static blog generator | *[https://github.com/greghendershott/frog Frog] is a static blog generator | ||
*[https://github.com/willghatch/racket-rash Rash: The Reckless Racket Shell] | *[https://github.com/willghatch/racket-rash Rash: The Reckless Racket Shell] | ||
− | |||
*[https://github.com/greghendershott/rackjure rackjure] 一些来自 [[Clojure]] 的启发 | *[https://github.com/greghendershott/rackjure rackjure] 一些来自 [[Clojure]] 的启发 | ||
*[https://github.com/OnRoadZy/RacketGuideInChinese Racket指南(中文翻译)] | *[https://github.com/OnRoadZy/RacketGuideInChinese Racket指南(中文翻译)] | ||
− | |||
− | |||
*[http://arclanguage.org/ Arc] is written in Racket. | *[http://arclanguage.org/ Arc] is written in Racket. | ||
*[https://github.com/Metaxal/MrEd-Designer MrEd Designer] | *[https://github.com/Metaxal/MrEd-Designer MrEd Designer] |
2022年1月9日 (日) 12:22的版本
您可以在Wikipedia上了解到此条目的英文信息 Racket Thanks, Wikipedia. |
Racket:程序设计和编程语言,核心由C语言实现。
目录 |
新闻
简介
Racket is a Programming-Language Programming Language.
Racket: The best of Scheme and Lisp.
Racket (原名 PLT Scheme) 是个通用、多范型,属于Lisp/Scheme家族的函数式编程语言,它的设计目的其中之一是为了提供一种语言创造、设计与实作的平台,Racket被广泛应用在脚本程式设计、通用程式设计、计算机科学教育和学术研究等不同领域。
Racket 有一个实作平台,包含了执行环境、函式库、即时编译器(JIT compiler)等等,还有提供一个以Racket本身写成的开发环境 DrRacket (原名 DrScheme)。
Racket 采用 MIT, Apache v2, GNU LGPL 授权许可协议。
语言
- Racket Chez Scheme 被扩展为支持 Racket 的实现。
- r7rs small.r7rs.org
- r6rs
- r5rs
- Heresy A BASIC-flavored Lisp dialect
- Algol 60
- DrRacket The Racket Programming Environment
- Racklog Prolog-Style Logic Programming
- Datalog Deductive Database Programming
- Plait Language
- Plaitypus Language
- eopl
- Elle language
- Schreibe Dein Programm
- Programming Languages: Application and Interpretation (PLAI)
- MiniPascal
- Lazy
- FrTime
数学
人工智能
数据科学
项目
- Racket Packages
- Racket Topics
- Pollen: the book is a program
- Scribble The Racket Documentation Tool
- Frog is a static blog generator
- Rash: The Reckless Racket Shell
- rackjure 一些来自 Clojure 的启发
- Racket指南(中文翻译)
- Arc is written in Racket.
- MrEd Designer
- Racket games package
- Racket GUI
- Racket Stories
图书
链接
分享您的观点