The Top 109 Racket Open Source Projects

Awesome Open Source

Awesome Open Source

Combined Topics

Advertising 📦 10

Application Programming Interfaces 📦 124

Applications 📦 192

Artificial Intelligence 📦 78

Blockchain 📦 73

Build Tools 📦 113

Cloud Computing 📦 80

Code Quality 📦 28

Collaboration 📦 32

Command Line Interface 📦 49

Community 📦 83

Companies 📦 60

Compilers 📦 63

Computer Science 📦 80

Configuration Management 📦 42

Content Management 📦 175

Control Flow 📦 213

Data Formats 📦 78

Data Processing 📦 276

Data Storage 📦 135

Economics 📦 64

Frameworks 📦 215

Graphics 📦 110

Hardware 📦 152

Integrated Development Environments 📦 49

Learning Resources 📦 166

Libraries 📦 129

Lists Of Projects 📦 22

Machine Learning 📦 347

Mapping 📦 64

Marketing 📦 15

Mathematics 📦 55

Messaging 📦 98

Networking 📦 315

Operating Systems 📦 89

Operations 📦 121

Package Managers 📦 55

Programming Languages 📦 245

Runtime Environments 📦 100

Science 📦 42

Security 📦 396

Social Media 📦 27

Software Architecture 📦 72

Software Development 📦 72

Software Performance 📦 58

Software Quality 📦 133

Text Editors 📦 49

Text Processing 📦 136

User Interface 📦 330

User Interface Components 📦 514

Version Control 📦 30

Virtualization 📦 71

Web Browsers 📦 42

Web Servers 📦 26

Web User Interface 📦 210

The Top 109 Racket Open Source Projects

Categories > Programming Languages > Racket

Racket ⭐ 3,898

The Racket repository

Pollen ⭐ 1,042

book-publishing system in Racket

Hackett ⭐ 1,037

WIP implementation of a Haskell-like Lisp in Racket

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

Fractalide ⭐ 673

Reusable Reproducible Composable Software

column-staggered travel keyboard design

Conjure ⭐ 604

Interactive evaluation for Neovim (Clojure, Fennel, Janet, Racket, Hy, MIT Scheme, Guile)

Racket Mode ⭐ 564

Emacs major and minor modes for Racket: edit, REPL, check-syntax, debug, profile, and more.

The Pie language, which accompanies The Little Typer by Friedman and Christiansen

Sicp Guile ⭐ 501

SICP in Guile & Emacs Lisp

Rosette ⭐ 486

The Rosette solver-aided host language, sample solver-aided DSLs, and demos

Optimize floating-point expressions for accuracy

Typed Racket ⭐ 366

Racket Rash ⭐ 362

The Reckless Racket Shell

Racketscript ⭐ 350

Racket to JavaScript Compiler

Drracket ⭐ 331

DrRacket, IDE for Racket

A complete starting app for developing universal React/Redux web apps with generators, best practices and more

Fructure ⭐ 282

a structured interaction engine 🗜️ ⚗️

Racket Book ⭐ 280

My racket study documentation

Programming ⭐ 272

Code a program in a language of your choice.

Leibniz ⭐ 269

A Digital Scientific Notation

Awesome Racket ⭐ 269

A curated list of awesome Racket frameworks, libraries and software, maintained by Community

Whalesong ⭐ 239

Whalesong: Racket to JavaScript compiler

Pyramid Scheme ⭐ 234

Pyramid is a language to create Ethereum smart contracts

Write RESTful web apps in Racket.

Retro Game Engine for Racket

Beautiful Racket ⭐ 225

Resources for the “Beautiful Racket” book

Rackjure ⭐ 222

Provide a few Clojure-inspired ideas in Racket. Where Racket and Clojure conflict, prefer Racket.

Waxeye is a parser generator based on parsing expression grammars (PEGs). It supports C, Java, JavaScript, Python, Racket, and Ruby.

Gradual Typing Bib ⭐ 221

A bibliography on Gradual Typing

Fear Of Macros ⭐ 219

A practical guide to Racket macros

Urlang is JavaScript with a sane syntax

A rudimentary Racket implementation using RPython

Vim Racket ⭐ 208

vim bundle for Racket

Medikanren ⭐ 207

Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.

Activitylog2 ⭐ 197

Analyze data from swim, bike and run activities

A less devious proof assistant

Racket7 ⭐ 170

Drracket Vim Tool ⭐ 154

Vim-like editing for DrRacket

Sicp Magical Book ⭐ 153

Magical Book The book uses dialects Scheme in the programming language Lisp to explain the core concepts of computer science, including abstraction, recursion, interpreters, and metalinguistic abstraction. Specific and micro-macroscopical to microcosmic to give a clear outline and context.

Nanopass Framework Racket ⭐ 145

nanopass compiler framework for Racket

Ckanren ⭐ 139

Constraint programming language embedded in Racket

A Python implementation for Racket

Syndicate ⭐ 128

syn·di·cate: a language for interactive programs

Rhombus Brainstorming ⭐ 122

Brainstorming and draft proposals for Rhombus

Racketguideinchinese ⭐ 120

Racket指南（中文翻译）

Scribble ⭐ 119

A fully-featured lisp/scheme shell written in Racket.

A SICP language for Racket.

3-dimensional picts

A minimalist type-inferred programming language with procedural macro support

Racket Clojure ⭐ 109

Source Code for Video language.

document processor in Racket

Red Flag Of Fp ⭐ 100

The Red Flag of Functional Programming

Markdown ⭐ 99

Markdown parser written in Racket.

Try Pollen ⭐ 96

📔🌼 An example website/book created with Pollen.

Get Bonus ⭐ 94

an experimental video game development environment

Sicp 2020 ⭐ 93

Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs textbook.

Recreational Rosette ⭐ 88

Some fun examples of solving problems with symbolic execution

Pi Nothing ⭐ 84

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

Identikon ⭐ 77

Racket scripts for generating identicons

A CSS specification and reasoning engine

A web development toolkit for Racket.

Racket support for Amazon Web Services.

Marketplace ⭐ 73

From Functional I/O to Functional Systems Programming.

Accumulated school notes from my 3rd year as a UBC CPSC student. Any source code falls under the BSD license, which a copy of can be found in the root dir of this git.

Smrtyprty ⭐ 69

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

Racket Algebraic ⭐ 67

Algebraic structures for untyped Racket

Greenthumb ⭐ 65

Marionette ⭐ 65

A Racket library that lets you control Firefox via the Marionette Protocol.

Configuration files and experimental, one-off code

A BASIC-flavored Lisp dialect

A Racket package for creating and composing pure functional lenses

Emacs style editor written in Racket

Racket Koans ⭐ 50

Learn Racket by doing: Practice language features by fixing topic-oriented unit tests.

Hyphenate ⭐ 46

Racket implementation of Knuth–Liang hyphenation algorithm

Wallingford ⭐ 46

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

Awesome Scheme ⭐ 46

A curated list of awesome Scheme resources and materials

Renegade Way ⭐ 41

Option Trading Application

Molis Hai ⭐ 38

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

A cross-platform sound library for DrRacket

Seashell ⭐ 35

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

Functional ⭐ 34

Functional interfaces and datatypes for Racket

remix - a revised version of Racket

Racket Something ⭐ 30

Indentation-based Racket Syntax

Write A Programming Language ⭐ 30

How to make a new language(and why we shouldn't?)

Oleg Kiselyov's sxml/ssax/sxpath/sxslt libraries (racket-specific)

A Snake-style game in Racket.

Simple Http ⭐ 22

Make simple HTTP requests with Racket

Tessellation ⭐ 22

a library to assist in the design of geometric designs

Evaluator ⭐ 18

An evaluator with an expander.

Racket Ncurses ⭐ 15

ncurses API/FFI for Racket

A computer algebra system (CAS) for high school students

Littlelogiclangs ⭐ 13

Project files for my paper, "Little Logic Languages for Relational Programming"

Racket Tulip ⭐ 13

Polkadot ⭐ 11

A lightweight personal wiki in Racket

Course Compiler ⭐ 11

Reference implementation for the Essentials of Compilation course

Plt Stuff ⭐ 9

Racket stuff I made, which I think is interesting enough to share

Caper: concurrent and parallel extensions to Racket

1-100 of 109 projects

Advertising 📦 10

Application Programming Interfaces 📦 124

Applications 📦 192

Artificial Intelligence 📦 78

Blockchain 📦 73

Build Tools 📦 113

Cloud Computing 📦 80

Code Quality 📦 28

Collaboration 📦 32

Command Line Interface 📦 49

Community 📦 83

Companies 📦 60

Compilers 📦 63

Computer Science 📦 80

Configuration Management 📦 42

Content Management 📦 175

Control Flow 📦 213

Data Formats 📦 78

Data Processing 📦 276

Data Storage 📦 135

Economics 📦 64

Frameworks 📦 215

Graphics 📦 110

Hardware 📦 152

Integrated Development Environments 📦 49

Learning Resources 📦 166

Libraries 📦 129

Lists Of Projects 📦 22

Machine Learning 📦 347

Mapping 📦 64

Marketing 📦 15

Mathematics 📦 55

Messaging 📦 98

Networking 📦 315

Operating Systems 📦 89

Operations 📦 121

Package Managers 📦 55

Programming Languages 📦 245

Runtime Environments 📦 100

Science 📦 42

Security 📦 396

Social Media 📦 27

Software Architecture 📦 72

Software Development 📦 72

Software Performance 📦 58

Software Quality 📦 133

Text Editors 📦 49

Text Processing 📦 136

User Interface 📦 330

User Interface Components 📦 514

Version Control 📦 30

Virtualization 📦 71

Web Browsers 📦 42

Web Servers 📦 26

Web User Interface 📦 210