Join 10350+ others. No spamming.
I promise!

Follow us at github.



Top Projects
1927plt/racket

The Racket repository

1927racket/racket

The Racket repository

605mbutterick/pollen

book-publishing system in Racket

452greghendershott/frog

Frog is a static web site generator implemented in Racket, targeting Bootstrap and able to use Pygments.

325lexi-lambda/hackett

WIP implementation of a Haskell 98-like Lisp in Racket

224khinsen/leibniz

A Digital Scientific Notation

190dyoo/whalesong

Whalesong: Racket to JavaScript compiler

179tyrchen/racket-book

My racket study documentation

112racket/typed-racket

Typed Racket

100samth/gradual-typing-bib

A bibliography on Gradual Typing

95soegaard/whalesong

Whalesong: Racket to JavaScript compiler

88ntoronto/pict3d

3-dimensional picts

82calvis/cKanren

80vishesh/racketscript

Racket to JavaScript Compiler

78dmac/spin

76racket/drracket

DrRacket, IDE for Racket

75greghendershott/rackjure

70pedropramos/PyonR

A Python implementation for Racket

69mbutterick/beautiful-racket

Resources for the “Beautiful Racket” book

68soegaard/urlang

Urlang is JavaScript with a sane syntax

67ntoronto/drbayes

Dr. Bayes

65takikawa/drracket-vim-tool

Vim-like editing for DrRacket

62greghendershott/markdown

Markdown parser written in Racket.

61rodrigosetti/stamps

A language for producing art

60coding-robots/iwl

Previous version of "I Write Like" written in Racket

60danprager/racket-2048

The 2048 game implemented in Racket language

57lambdamore/Reading

s

57takikawa/racket-clojure

53samvv/racket-gaming

53mflatt/not-a-box

53tonyg/marketplace

53offby1/rudybot

Just what the world needs: another IRC bot

53tonyg/pi-nothing

i386, x86_64, ARMv7 assembler/linker; Nothing-like mid-level language; Linear-scan register allocator; Operating system for Raspberry Pi

52vu3rdd/sicp

51wilbowma/cur

Powerful meta-programming for powerful types.

50get-bonus/get-bonus

50shekari/racket-llvm

Bindings for llvm in racket

50endobson/racket-llvm

Bindings for llvm in racket

48CompSciCabal/SMRTYPRTY

We read computer science books for fun. This is where the secret notes live.

47jeapostrophe/racket-android

deploying Racket on Android

47greghendershott/fear-of-macros

44vraid/earthgen

an earth-like planet generator

44jeapostrophe/exp

Configuration files and experimental, one-off code

43mattmight/uiki

A bare-bones academic wiki with LaTeX and (multi)markdown support

42brownplt/lambda-py

42lehitoskin/blight

Blight is a Tox client written in Racket that utilizes libtoxcore-racket

41miniKanren/Racket-miniKanren

Canonical miniKanren implementation in Racket

40lexi-lambda/racket-collections

Generic collections API for Racket

40racket/racket7

38samsergey/formica

A "functionally oriented" Racket dialect.

37Metaxal/rwind

Window manager in the Racket programming language

37tonyg/syndicate

syn·di·cate: a language for interactive programs

36technomancy/cooper

HyperCard-ish in Racket

34jbclements/molis-hai

Password Generation using Markov models, Huffman trees, and Charles Dickens

34david-christiansen/pudding

A language-integrated proof assistant, for and in Racket

34takikawa/drracket-solarized

Solarized color theme for DrRacket

33nanopass/nanopass-framework-racket

nanopass compiler framework for Racket

32lexi-lambda/racket-r7rs

An implementation of R7RS in Racket

32takikawa/tr-pfds

Typed Racket data structure libraries

32mbutterick/hyphenate

Racket implementation of Knuth–Liang hyphenation algorithm

32takikawa/sweet-racket

A port of sweet expressions to Racket

31lkuper/rust-redex

A PLT Redex model of a toy language that is almost, but not quite, entirely unlike Rust

31nikomatsakis/rust-redex

A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety

31cs136/seashell

Seashell is an online environment for editing, running, and submitting C programming assignments.

31jarcane/heresy

A BASIC-flavored Lisp dialect

31yjqww6/drracket-paredit

Some useful shortcuts for DrRacket

30stchang/parsack

A basic Parsec-like monadic parser combinator library implementation in Racket.

30mflatt/plai-typed

30david-vanderson/warp

coop networked game in Racket

29tonyg/racket-reloadable

Support for code-reloading for long-running racket programs (such as web-servers).

29miraleung/racketeer

Continuous testing for DrRacket

29mangpo/greenthumb

29mflatt/scratchy

Demonstration of implementing a language in Racket

29jackfirth/lens

A Racket package for creating and composing pure functional lenses

28greghendershott/aws

Racket support for Amazon Web Services.

28akeep/nanopass-framework-racket

Racket port of the nanopass-framework

28stchang/graph

Generic graph library and algorithms for Racket.

27cdglabs/wallingford

An experimental DSL for handling state and updates, along with constraints, in Rosette.

27calvis/kraken

Prototype of a new constraint-logic programming language in Racket

27NetEase/lively-logic

这是一个游戏参数调节的框架,使用racket语言。

24mattmight/bib2sx

A tool for manipulating bibtex files as s-expressions

24samth/fancy-app

A Scala-style magic function application form

23IUCompilerCourse/support-code-for-students

Utility code, test suites, etc. for the compiler course

23aprescott/twitter-format

The Twitter manpage.

21jeapostrophe/remix

remix - a revised version of Racket

20danielecapo/sfont

Work with fonts in Racket

20jbclements/RSound

A cross-platform sound library for DrRacket

20willghatch/rackterm

Terminal emulator in racket

20eu90h/ascii-painter

Paint scenes using code-page 437 ascii tiles, then export them and load them into a roguelike!

19VincentToups/racket-lib

My racket things

19tonyg/racket-bitsyntax

Erlang-style binaries/bitstrings for Racket

18soegaard/meta

Exploration of the inner workings of Racket

18stamourv/partial-evaluation-tutorial

Racket implementation of Cook and Lämmel's partial evaluation tutorial.

18OPLSS/oplss-notes-2017

handouts and notes from the 2017 edition of the summer school

18endobson/racket-webkit

Embedding Webkit in Racket

18david-christiansen/tt-playground

A playground for type theory implementations in Racket

18wangkuiyi/graphviz-server

A Racket Web server and Ajax client to convert Graphviz source code embedded in HTML pages into PNG images.

17tonyg/racket-something

Indentation-based Racket Syntax

16stchang/pasterack

The Racket pastebin.

16pnwamk/datatype

(Somewhat) Algebraic Data Types for Racket