按回车键查看全部搜索结果
首页
技术栈
工具库
讨论
首页
技术栈
工具库
讨论
按回车键查看全部搜索结果
cpuinfo
CPU Information
syrup
Serialization of Preserves (mostly). Easy to write, easy to read, with a few empty calories.
ffmpeg-i386-win32-3-4
paddle
Paddle is a microworld.
disposable-test
Tests for the "disposable" package
extensible-functions
A solution to the expression problem in Typed Racket
review
A surface-level linter for #lang racket modules.
udev
udev bindings for Racket
distro-build-lib
implementation (no documentation) part of "distro-build"
infix-syntax
Expansion-time parsing of infix expressions.
parsack
A basic Parsec (Haskell's monadic parser combinator library) implementation.
koyo-doc
A web application toolkit (docs only).
shell-pipeline
Shell pipeline library
voxel
voxel space programming
riposte
Language for testing JSON-based HTTP APIs
drcomplete
The package assembles drcomplete plugins
rfc6455
RFC 6455 WebSockets support for Racket.
redis-test
Fast, idiomatic bindings for Redis. (tests only)
irc-client
A higher-level, typed wrapper around the irc package
lambda-calculus
A lambda-calculus DSL in Racket
string-constants-lib
String constants to support internationalization, especially in DrRacket
unstable-flonum-lib
Experimental libraries for flonum computations
polyglot-lib
Implementation for Polyglot
battlearena-starwars
Teaching language. Specialized look-and-feel for battle-arena games.
pcf
PCF with Contracts and Symbolic Values
crypto-test
Cryptography library
struct-update-test
ansi
ANSI and VT10x escape sequences for Racket.
racket-poppler
Read, search and render pdfs. Use LaTeX in scribble and slidehow.
racket-dogstatsd
DogStatsD client for Racket, allowing you to send metrics to Datadog
html-template
HTML-Writing Template Language in SXML
picturing-programs-typed
Bloch's picturing-programs package converted to be usable in Typed Racket. Typed utility functions for posns also included.
acl2s-scribblings
a scribble document for beginner mode of ACL2s
turnstile-example
doodle
collections-doc
Generic collections API for Racket
bzip2
bzip2 compression and decompression
grommet
Crypto routines, MD5, SHA-1, SHA-256, HMAC as native Typed Racket implementations.
goblins
Goblins is a lightweight actor model library.
net-jwt
JSON Web Token / JSON Web Signature codec, verification, signing
drracket-paredit
paredit keybindings for DrRacket
herbie-test-deploy
DO NOT USE
warp
Light multiplayer space themed game for LAN parties.
interconfection-test
A library for building extensible systems, especially module systems. (test)
koyo
A web application toolkit (docs and implementation).
srfi-lib
implementation (no documentation) part of "srfi"
search-list-box
A list-box% with a search field
profj
ProfessorJ
explorer
Utility for interactive exploration of complex data structures.
typed-racket-test
tests for "typed-racket"
effection
A library for custom side effects.
libargon2
Meta-package that installs the appropriate libargon2 shared library for the current platform on Linux, macOS and Windows.
redex-abbrevs
Tools for PLT Redex
serial
Helper FFI bindings for serial port communication based on pyserial
popl-2012-ryr-talk
postmark-client
A client for the Postmark HTTP API.
draw-i386-macosx-2
native libraries for "draw" package
lua
The programming language Lua. Targeting version 5.3.5 (Currently unstable)
cmx
A calculus of mediated exchange
decentralized-internet
A package for building distributed computing projects
fragments
experimental game
qresults-list
enhanced list-box% control
contract-profile
Profiling tool for contracts
tesseract
Bindings for Google's Tesseract-OCR
drracket-plugin-lib
DrRacket's plugin API
unstable-lib
implementation (no documentation) part of "unstable"
gtp-plot
Plots for gradual typing performance
minimal-doclang
A document module language based on `scribble/doclang` that only accumulates top-level values into a list.
racket-immutable
operations that return immutable strings, immutable byte-strings, and immutable vectors
command-tree
Handle tree-style (à la git) command line arguments
mumble-ping
Ping Mumble servers
draw-x86_64-macosx-2
native libraries for "draw" package
plai-doc
Documentation for teaching languages for _Programming Languages: Application and Interpretation_
db-test
tests for "db"
control
Control structures
multimethod-lib
Proof-of-concept, mostly safe multimethods in Racket
racket-test-extra
Additional Racket test suites
qiniu-sdk
A simple library for qiniu.com
forged-ocelot
A fork of James Bornholt's Ocelot solver for relational model finding, for use in Forge.
libsqlite3-x86_64-linux
pollen-count
An enumeration and cross-referencing library for use with Pollen
net-doc
documentation part of "net"
dali
Simple text templating (mustache/handlebars style) for Racket.
rwind
An X11 window manager written in Racket (still in early stage)
bitsyntax
Erlang-like binary pattern-matching and bit string manipulation for Racket.
alexis-pvector
Deprecated. Use the pvector package instead.
distributed-places-lib
implementation (no documentation) part of "distributed-places"
png-image
Library to view and modify PNG chunks.
rilouworld
Decentralized game universe in which players create and share their own levels
libgit2
Racket bindings for the Libgit2 library.
colophon
An experimental static site generator
gtp-measure
Runs programs, collects timing info
version-case
Conditional behavior based on the version of Racket
majordomo
A job manager that includes automatic retries with updated state on restart.
geoid
work efficiently with geographic data
mutable-match-lambda
extendable mutable functions
gui-doc
documentation part of "gui"
reporter
A util toolbox for compiler error reporting
uri-template
Implementation of RFC 6570 (URI Template).
‹
1
…
12
13
14
…
19
›