按回车键查看全部搜索结果
首页
技术栈
工具库
讨论
首页
技术栈
工具库
讨论
按回车键查看全部搜索结果
spaceship-game-demo
A demo "game" (actually many versions of a game) that we are using to teach the principles of game design. Not intended to be particularly fun...
pict3d
Modern 3D engine with a purely functional interface
swindle
The implementation of the Swindle language
lang-file
Functions for dealing with #lang files
contract-repl
A REPL that prints contracts on values
ee-lib
Utilities for defining embedded macro expanders
multimethod-test
Proof-of-concept, mostly safe multimethods in Racket
dropbox
SDK for Dropbox
repeated-application
Variants of apply which compute a least fixpoint or run a number of consecutive applications.
syntax-warn-base
Base library for defining and attaching syntax warnings
macro-debugger-text-lib
The macro debugger tool with a console interface
viz
A real-time data visualization surface
quickscript-competition-2020
Scripts from the Quickscript Competition July 2020
web-galaxy
A minimalist web framework for the Racket web-server
rackunit-typed
Typed Racket interface to the RackUnit testing framework
package-analysis
A package for analyzing the Racket package ecosystem
lathe-morphisms-lib
Interfaces for category theory concepts. (lib)
racket-index
Racket Documentation driver
draw-x86_64-linux-natipkg-3
native libraries for "draw" package
string-constants
String constants to support internationalization, especially in DrRacket
battlearena
Clone of package battle-arena. Teaching language for making battle royal type games.
minipascal
MiniPascal as a Racket language
rfc3339-old
RFC 3339 Timestamps
fpbench
Tools for the FPBench numerical software standards (more info at http://fpbench.org/)
sci
Floating point matrices using CBLAS and LAPACK.
cond-contract
Conditional contracts for Racket
javascript
An implementation of JavaScript
bencode
BitTorrent Bencode Decoding
diagrams
Draw technical diagrams
battle-arena-avengers
Teaching language for creating battle royal games with Creative Commons licensed super hero assets, e.g. avengers.
handy
Utility functions that are missing from Racket -- e.g. 'say' (variadic displayln), 'multi-partition' (partition into more than two lists), better exception creation / trapping, database management, etc
serialize-cstruct-lib
serialization support for C structs
systemd
SystemD Support
pict-snip-test
tests for "pict-snip-lib"
ffmpeg-x86_64-win32
graph-lib
main graph package
simple-tree-text-markup-doc
This is a tree-based combinator library for simple markup, mainly for displaying messages in a REPL. This package contains the documentation.
syntax-warn-doc
Documentation for the syntax-warn packages
rackterm
Terminal emulator library (currently unstable and undocumented) and simple frontend. Run racket -l rackterm/xterm to run.
BSA-drracket-teachpacks
The DrRacket teach packs for the Bootstrap plus the files used for Fall 2020.
mock
A library for creating test mocks
xfunctions
Extended Functional Combinators
digimon
The (typed) core to construct the digital world
global
Define global variables and automatically generate a command line parser.
spreadsheet-editor
Flexible spreadsheet editor built on top of Racket's GUI controls
rosette-extras
A few extra utilities for Rosette
fme
Fourier-Motzkin elimination for integer inequality satisfiability
binaryio
functions for reading and writing binary data
lang-file-lib
Functions for dealing with #lang files
urlang
Write JavaScript with Racket syntax. Bonus: Use Racket to define macros for JavaScript constructs.
mosquitto-ffi
An FFI binding of libmosquitto for racket
scribble-coq
A library for typesetting Coq and coqtop interactions in Scribble.
distro-build-doc
documentation part of "distro-build"
remote-shell-doc
documentation part of "remote-shell"
redex-chk
rackunit/chk style checks for redex ('term' quotes automatically)
scribble-doc
documentation part of "scribble"
measures-with-dimensions
based on measures, but with dimensions and types
net-cookies-lib
RFC6265-compliant cookie handling for client and server (lib)
cur
Dependent types and meta-programming
font-finder
Locate font files on your computer
namespaced-transformer-lib
drdr2
Prototype replacement for DrDr
web-server-doc
documentation part of "web-server"
cs135-drtools
DrRacket Tools for CS 135 course at UWaterloo.
openmpi
A Racket interface to MPI based on an FFI to OpenMPI
wrap
AWS API in Typed Racket. Generally, AWS responses are parsed as structures.
sxml-intro
SXML in Racket: Tools for XML and HTML
libuuid
FFI bindings for the libuuid library.
graph-doc
Documentation for graph-lib
collections
A generic interface for collections
ts-tactics
ThoughtSTEM instructional meta-material
bv
Bitvectors for Racket a-la Rosette
xe
xexpr XML utilities, plus traversal and filtering
lathe-comforts
A collection of utilities.
herbie
A tool for automatically improving the accuracy of floating point expressions
collections-test
Generic collections API for Racket
tzdata
zoneinfo data mainly for Windows systems using tzinfo
cext-lib
Tools for managing C extensions, such as `raco ctool`
ejs
EJS is exact JSON: A no-compromises implementation of RFC 8259 in which all numbers are rational
version-string-with-git-hash
Do you want your package version string to contain a git commit hash?
gnal-lang
a #lang that allows relative module paths for reader languages
ralist
Purely Functional Random Access Lists
osc
Open Sound Control data definitions
unstable-2d
Experimental 2d syntax
diagrama
A diagram drawing library, implementation
scriblogify
Scribble your blog!
kitco
Precious Metals Market Info. Access
s3-sync
Sync filesystem with an S3 bucket
redex-pict-lib
implementation (no documentation) part of "redex" using picts
scribble-frog-helper
scribble helper functions especially for writing blogs with frog
regex-machine
An implementation of Russ Cox's regular expression machine language
sql
an S-expression notation for SQL
megaparsack
practical parser combinators
fltest
bencode-codec
Library for reading and writing Bencoded data.
typed-racket-doc
documentation part of "typed-racket"
client-cookies
Client cookies jar for net/url and similar libs. Deprecated: use net/cookies.
hostname
Getting Hostname, FQDN, and IP Addresses
x11
X11 bindings for Racket. Initially Jon Rafkind's work.
‹
1
…
3
4
5
…
19
›