The Top 106 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 106 Racket Open Source Projects

Categories > Programming Languages > Racket

Racket ⭐ 3,787

The Racket repository

Hackett ⭐ 1,025

WIP implementation of a Haskell-like Lisp in Racket

Pollen ⭐ 1,024

book-publishing system in Racket

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

Fractalide ⭐ 662

Reusable Reproducible Composable Software

column-staggered travel keyboard design

Racket Mode ⭐ 552

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

Conjure ⭐ 505

Interactive evaluation for Neovim (Clojure, Fennel, Janet, Racket)

Sicp Guile ⭐ 481

SICP in Guile & Emacs Lisp

Rosette ⭐ 470

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

Optimize floating-point expressions for accuracy

Typed Racket ⭐ 355

Racket Rash ⭐ 339

The Reckless Racket Shell

Racketscript ⭐ 325

Racket to JavaScript Compiler

Drracket ⭐ 317

DrRacket, IDE for Racket

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

Racket Book ⭐ 279

My racket study documentation

Fructure ⭐ 277

a structured interaction engine 🗜️ ⚗️

Leibniz ⭐ 269

A Digital Scientific Notation

Programming ⭐ 267

Code a program in a language of your choice.

Awesome Racket ⭐ 250

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

Whalesong ⭐ 238

Whalesong: Racket to JavaScript compiler

Pyramid Scheme ⭐ 232

Pyramid is a language to create Ethereum smart contracts

Write RESTful web apps in Racket.

Retro Game Engine for Racket

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

Rackjure ⭐ 217

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

Fear Of Macros ⭐ 216

A practical guide to Racket macros

Gradual Typing Bib ⭐ 215

A bibliography on Gradual Typing

Beautiful Racket ⭐ 215

Resources for the “Beautiful Racket” book

A rudimentary Racket implementation using RPython

Urlang is JavaScript with a sane syntax

Vim Racket ⭐ 202

vim bundle for Racket

Activitylog2 ⭐ 191

Analyze data from swim, bike and run activities

Medikanren ⭐ 188

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

A less devious proof assistant

Racket7 ⭐ 171

Drracket Vim Tool ⭐ 147

Vim-like editing for DrRacket

Sicp Magical Book ⭐ 141

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.

Ckanren ⭐ 139

Constraint programming language embedded in Racket

Nanopass Framework Racket ⭐ 137

nanopass compiler framework for Racket

A Python implementation for Racket

Syndicate ⭐ 126

syn·di·cate: a language for interactive programs

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

Racketguideinchinese ⭐ 116

Racket指南（中文翻译）

Rhombus Brainstorming ⭐ 116

Brainstorming and draft proposals for Rhombus

3-dimensional picts

Scribble ⭐ 111

A SICP language for Racket.

A minimalist type-inferred programming language with procedural macro support

Racket Clojure ⭐ 109

Red Flag Of Fp ⭐ 100

The Red Flag of Functional Programming

Source Code for Video language.

document processor in Racket

Markdown ⭐ 94

Markdown parser written in Racket.

Get Bonus ⭐ 93

an experimental video game development environment

Try Pollen ⭐ 88

📔🌼 An example website/book created with Pollen.

Recreational Rosette ⭐ 87

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

Marketplace ⭐ 73

From Functional I/O to Functional Systems Programming.

Sicp 2020 ⭐ 72

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

Racket support for Amazon Web Services.

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.

A CSS specification and reasoning engine

Smrtyprty ⭐ 69

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

Greenthumb ⭐ 65

Marionette ⭐ 62

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

Configuration files and experimental, one-off code

Racket Algebraic ⭐ 60

Algebraic structures for untyped Racket

A BASIC-flavored Lisp dialect

A Racket package for creating and composing pure functional lenses

Emacs style editor written in Racket

Wallingford ⭐ 47

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

Hyphenate ⭐ 46

Racket implementation of Knuth–Liang hyphenation algorithm

Racket Koans ⭐ 46

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

Awesome Scheme ⭐ 45

A curated list of awesome Scheme resources and materials

Molis Hai ⭐ 38

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

A cross-platform sound library for DrRacket

Seashell ⭐ 33

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

Functional ⭐ 33

Functional interfaces and datatypes for Racket

remix - a revised version of Racket

Racket Something ⭐ 30

Indentation-based Racket Syntax

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

Write A Programming Language ⭐ 29

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

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.

A computer algebra system (CAS) for high school students

Littlelogiclangs ⭐ 13

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

Racket Tulip ⭐ 12

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

A Racket→JVM FFI

An ipython/jupyter kernel for racket. INACTIVE.

Concurrent Contracts

1-100 of 106 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