🇺🇸 Made in United States
Discover United States's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of United States.
TOP Racket Projects
mbutterick/pollen
book-publishing system [mirror of main repo at https://git.matthewbutterick.com/mbutterick/pollen]
lexi-lambda/hackett
WIP implementation of a Haskell-like Lisp in Racket
greghendershott/frog
Frog is a static blog generator implemented in Racket, targeting Bootstrap and able to use Pygments.
zv/SICP-guile
SICP in Guile & Emacs Lisp
emina/rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
willghatch/racket-rash
The Reckless Racket Shell
webyrd/mediKanren
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
tyrchen/racket-book
My racket study documentation
mbutterick/beautiful-racket
Resources for the “Beautiful Racket” book [moved to https://git.matthewbutterick.com/mbutterick/beautiful-racket]
massung/r-cade
Retro Game Engine for Racket
jeapostrophe/racket-langserver
MichaelBurge/pyramid-scheme
Pyramid is a language to create Ethereum smart contracts
dyoo/whalesong
Whalesong: Racket to JavaScript compiler
greghendershott/fear-of-macros
A practical guide to Racket macros
samth/gradual-typing-bib
A bibliography on Gradual Typing
greghendershott/rackjure
Provide a few Clojure-inspired ideas in Racket. Where Racket and Clojure conflict, prefer Racket.
themetaschemer/malt
Machine Learning Toolkit accompanying The Little Learner by Daniel P. Friedman and Anurag Mendhekar
calvis/cKanren
Constraint programming language embedded in Racket
stchang/macrotypes
namin/staged-miniKanren
staged relational interpreters: running with holes, faster
jrslepak/Remora
Dependently-typed language with Iverson-style implicit lifting
rodrigosetti/stamps
A language for producing art
mbutterick/quad
document processor in Racket
kach/recreational-rosette
Some fun examples of solving problems with symbolic execution
greghendershott/markdown
Markdown parser written in Racket.
dvanhorn/redex-aam-tutorial
An Introduction to Redex with Abstracting Abstract Machines
jeapostrophe/racket-android
deploying Racket on Android
pforpallav/school
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.
lexi-lambda/racket-r7rs
An implementation of R7RS in Racket
uwplse/Cassius
A CSS specification and reasoning engine
otherjoel/tabloid
📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!
DarrenN/identikon
Racket scripts for generating identicons
n3mo/data-science
Data science tooling for Racket
jackfirth/rebellion
A collection of core libraries for Racket
zyrolasting/racket-koans
Learn Racket by doing: Practice language features by fixing topic-oriented unit tests.
greghendershott/aws
Racket support for Amazon Web Services.
zyrolasting/polyglot
Create websites using any mix of programming languages or workflows 💎
lexi-lambda/megaparsack
Racket parser combinators inspired by parsack and megaparsec
jackfirth/lens
A Racket package for creating and composing pure functional lenses
dedbox/racket-algebraic
Algebraic structures for untyped Racket
mattmight/uiki
A bare-bones academic wiki with LaTeX and (multi)markdown support
tnelson/Forge
Forge: A Tool and Language for Teaching Formal Methods
tuirgin/base16-drracket
DrRacket themes derived from base16-builder
endobson/racket-llvm
Bindings for llvm in racket
charlescearl/DeepRacket
A simple starting point for doing deep learning in Racket
jeapostrophe/exp
Configuration files and experimental, one-off code
zyrolasting/denxi
Denxi is a programming model for distributing data. It reduces the cost of producing package managers, storefronts, operating systems, and CI/CD systems.
mbutterick/brag
Racket DSL for generating parsers from BNF grammars [moved to https://git.matthewbutterick.com/mbutterick/brag]
cucapra/diospyros
Search-based compiler for high-performance DSP programming
stchang/graph
Generic graph library and algorithms for Racket.
emaphis/HtDP2e-solutions
My solutions to "How to Design Programs" 2nd Edition
mflatt/not-a-box
mflatt/scratchy
Demonstration of implementing a language in Racket
offby1/rudybot
Just what the world needs: another IRC bot
mfelleisen/7GUI
the 7 gui project
lexi-lambda/racket-collections
Generic collections API for Racket
lexi-lambda/blackboard
A (very) unfinished OpenType Math layout and rendering engine in Racket
mbutterick/hyphenate
Racket implementation of Knuth–Liang hyphenation algorithm
alanb2718/wallingford
An experimental DSL for handling state and updates, along with constraints, in Rosette.
stchang/parsack
A basic Parsec-like monadic parser combinator library implementation in Racket.
mflatt/plai-typed
jackfirth/resyntax
A Racket refactoring engine
lexi-lambda/threading
Threading macros for Racket
lijunsong/pollen-rock
A Server and an In-Browser Editor For Pollen Publishing System
zyrolasting/racket-vulkan
Racket integration with all things Vulkan 💥
cbiffle/ruckus
Procedural CAD for Weirdos
cmsc430/www
CMSC 430 Design and Implementation of Programming Languages
samth/fancy-app
A Scala-style magic function application form
uw-unsat/serval
lexi-lambda/functional
Functional interfaces and datatypes for Racket
kelamg/HtDP2e-workthrough
Complete solutions to all exercises in How to Design Programs Second Edition
lexi-lambda/talks
otherjoel/punct
⏺✍️ Write in Lisp + Markdown, publish to multiple formats
david-christiansen/pudding-old
A language-integrated proof assistant, for and in Racket
willghatch/rackterm
Terminal emulator in racket
rmculpepper/gamble
Probabilistic Programming
technomancy/cooper
HyperCard-ish in Racket
ashton314/muKanren_reading
[Mirror] A close reading of the μKanren paper.
maxsnew/modal-scheme
A Scheme-like CBPV language with Racket Interoperability
jeapostrophe/mode-lambda
mode-lambda - sprite-based 2D graphics engine
florence/cover
a code coverage tool for racket
mbutterick/aoc-racket
moved to https://git.matthewbutterick.com/mbutterick/aoc-racket
gussmith23/lakeroad
FPGA synthesis tool powered by program synthesis
jeapostrophe/racket-cheat
racket-cheat - a cheat sheet for Racket
jpverkamp/racket-roguelike
Code for a tutorial series on writing a Roguelike in Racket
zwizwa/staapl
A Racket-based Forth / Macro Assembler on steroids for PIC18F
mwunsch/overscan
A live coding environment for live streaming video
ralsei/graphite
A data visualization library for Racket.
pnwamk/datatype
(Somewhat) Algebraic Data Types for Racket
akeep/nanopass-framework-racket
Racket port of the nanopass-framework
philnguyen/soft-contract
A prototype of soft contract verification for an untyped functional language
philipcmonk/phlisped
Graphical programming editor
david-christiansen/todo-list
A TODO list feature for DrRacket, like to Agda's goal list but for any language.
mattmight/bib2sx
A tool for manipulating bibtex files as s-expressions
mbutterick/typesetting
document-layout tools [mirror of https://git.matthewbutterick.com/mbutterick/typesetting]
jeapostrophe/remix
remix - a revised version of Racket
papers-we-love/seattle
Papers We ❤️ Seattle
stamourv/partial-evaluation-tutorial
Racket implementation of Cook and Lämmel's partial evaluation tutorial.
bennn/mechanics
(in progress) Racket port of the SICM scmutils library
lexi-lambda/racket-commonmark
Fast, CommonMark-compliant Markdown parser written in Racket