Discover United States's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of United States.
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 Racketgreghendershott/frog
Frog is a static blog generator implemented in Racket, targeting Bootstrap and able to use Pygments.zv/SICP-guile
SICP in Guile & Emacs Lispemina/rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demoswillghatch/racket-rash
The Reckless Racket Shellwebyrd/mediKanren
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.tyrchen/racket-book
My racket study documentationmbutterick/beautiful-racket
Resources for the “Beautiful Racket” book [moved to https://git.matthewbutterick.com/mbutterick/beautiful-racket]massung/r-cade
Retro Game Engine for Racketdyoo/whalesong
Whalesong: Racket to JavaScript compilerMichaelBurge/pyramid-scheme
Pyramid is a language to create Ethereum smart contractsjeapostrophe/racket-langserver
greghendershott/fear-of-macros
A practical guide to Racket macrossamth/gradual-typing-bib
A bibliography on Gradual Typinggreghendershott/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 Mendhekarcalvis/cKanren
Constraint programming language embedded in Racketstchang/macrotypes
jrslepak/Remora
Dependently-typed language with Iverson-style implicit liftingrodrigosetti/stamps
A language for producing artmbutterick/quad
document processor in Racketnamin/staged-miniKanren
staged relational interpreters: running with holes, fasterkach/recreational-rosette
Some fun examples of solving problems with symbolic executiongreghendershott/markdown
Markdown parser written in Racket.dvanhorn/redex-aam-tutorial
An Introduction to Redex with Abstracting Abstract Machinesjeapostrophe/racket-android
deploying Racket on Androidpforpallav/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 Racketuwplse/Cassius
A CSS specification and reasoning engineotherjoel/tabloid
📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!DarrenN/identikon
Racket scripts for generating identiconsn3mo/data-science
Data science tooling for Racketjackfirth/rebellion
A collection of core libraries for Racketzyrolasting/racket-koans
Learn Racket by doing: Practice language features by fixing topic-oriented unit tests.zyrolasting/polyglot
Create websites using any mix of programming languages or workflows 💎greghendershott/aws
Racket support for Amazon Web Services.lexi-lambda/megaparsack
Racket parser combinators inspired by parsack and megaparsecdedbox/racket-algebraic
Algebraic structures for untyped Racketjackfirth/lens
A Racket package for creating and composing pure functional lensesmattmight/uiki
A bare-bones academic wiki with LaTeX and (multi)markdown supporttuirgin/base16-drracket
DrRacket themes derived from base16-builderendobson/racket-llvm
Bindings for llvm in racketcharlescearl/DeepRacket
A simple starting point for doing deep learning in Rackettnelson/Forge
Forge: A Tool and Language for Teaching Formal Methodsjeapostrophe/exp
Configuration files and experimental, one-off codezyrolasting/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]stchang/graph
Generic graph library and algorithms for Racket.emaphis/HtDP2e-solutions
My solutions to "How to Design Programs" 2nd Editionmflatt/not-a-box
mflatt/scratchy
Demonstration of implementing a language in Racketoffby1/rudybot
Just what the world needs: another IRC botmfelleisen/7GUI
the 7 gui projectcucapra/diospyros
Search-based compiler for high-performance DSP programminglexi-lambda/racket-collections
Generic collections API for Racketmbutterick/hyphenate
Racket implementation of Knuth–Liang hyphenation algorithmlexi-lambda/blackboard
A (very) unfinished OpenType Math layout and rendering engine in Racketstchang/parsack
A basic Parsec-like monadic parser combinator library implementation in Racket.alanb2718/wallingford
An experimental DSL for handling state and updates, along with constraints, in Rosette.mflatt/plai-typed
lexi-lambda/threading
Threading macros for Racketjackfirth/resyntax
A Racket refactoring engineuw-unsat/serval
lijunsong/pollen-rock
A Server and an In-Browser Editor For Pollen Publishing Systemsamth/fancy-app
A Scala-style magic function application formzyrolasting/racket-vulkan
Racket integration with all things Vulkan 💥cbiffle/ruckus
Procedural CAD for Weirdoskelamg/HtDP2e-workthrough
Complete solutions to all exercises in How to Design Programs Second Editioncmsc430/www
CMSC 430 Design and Implementation of Programming Languageslexi-lambda/talks
lexi-lambda/functional
Functional interfaces and datatypes for Rackettechnomancy/cooper
HyperCard-ish in Racketrmculpepper/gamble
Probabilistic Programmingdavid-christiansen/pudding-old
A language-integrated proof assistant, for and in Racketwillghatch/rackterm
Terminal emulator in racketmaxsnew/modal-scheme
A Scheme-like CBPV language with Racket Interoperabilityjeapostrophe/mode-lambda
mode-lambda - sprite-based 2D graphics engineflorence/cover
a code coverage tool for racketmbutterick/aoc-racket
moved to https://git.matthewbutterick.com/mbutterick/aoc-racketzwizwa/staapl
A Racket-based Forth / Macro Assembler on steroids for PIC18Fotherjoel/punct
⏺✍️ Write in Lisp + Markdown, publish to multiple formatsmwunsch/overscan
A live coding environment for live streaming videoashton314/muKanren_reading
[Mirror] A close reading of the μKanren paper.jpverkamp/racket-roguelike
Code for a tutorial series on writing a Roguelike in Racketjeapostrophe/racket-cheat
racket-cheat - a cheat sheet for Racketralsei/graphite
A data visualization library for Racket.pnwamk/datatype
(Somewhat) Algebraic Data Types for Racketphilnguyen/soft-contract
A prototype of soft contract verification for an untyped functional languageakeep/nanopass-framework-racket
Racket port of the nanopass-frameworkphilipcmonk/phlisped
Graphical programming editorjeapostrophe/remix
remix - a revised version of Racketdavid-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-expressionsmbutterick/typesetting
document-layout tools [mirror of https://git.matthewbutterick.com/mbutterick/typesetting]papers-we-love/seattle
Papers We ❤️ Seattlestamourv/partial-evaluation-tutorial
Racket implementation of Cook and Lämmel's partial evaluation tutorial.rmculpepper/sql
Embedding of some of SQL into Racketbennn/mechanics
(in progress) Racket port of the SICM scmutils librarylexi-lambda/racket-commonmark
Fast, CommonMark-compliant Markdown parser written in RacketLove Open Source and this site? Check out how you can help us