Top 414 racket open source projects

Easy scripting for DrRacket

A platform where you can learn about algorithms and data structures. A heaven for competitive programmers. Learn here: https://reyadussalahin.github.io/problem-solving/

a compiler from a lambda language to an assembly language, as a rewrite system

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

No description, website, or topics provided.

My adventure into the marvelous world of Web Assembly

Typed Racket data structure libraries

Exploration of the inner workings of Racket

2D tile exploring game

An EMACS written in Racket. Runs in ANSI-compatible terminals.

Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler

Declarative GUIs in Racket.

📘🌼 A bunch of Pollen recipes

A Verilog dialect supercharged by the Racket meta-fairies.

Notary: A Device for Secure Transaction Approval 📟

Include hello-world scripts and hint code.

ETL for OIC Options Chains

A timeline-based visualization of events as they are discussed on Twitter

A poor guide to Pollen, that amazing document formatting system in Racket

Код към лекциите и упражненията на курса по Функционално програмиране на спец. Информатика, спец. Компютърни науки (1 поток) и спец. Софтуерно инженерство, 2019/20 г.

Optimizing Synthesis with Metasketches, POPL 2016

An advanced automated reasoning tool for memory consistency model specifications.

spring-security-examples

A server, client and UI for remotely debugging Racket applications.

🔖⚛️ RSS / Atom feed generation library for Racket

Houyhnhnm Computing

✨practice for SICP, the wizard book < Structure and Interpretation of Computer Programs >

the Art of the Propagator

Material for the course on Programming Languages and Types at University of Marburg

Racket implementation of Mustache templates

Parsing object-oriented expressions with Dijkstra's shunting yard algorithm

rs - the Racket Sequencer

Manage system configurations easily

Privacy focused website analytics.

Little Racket Interpreter

learn CS books

Search-based compiler for high-performance DSP programming

A DSL for runtime code generation in racket

No description, website, or topics provided.

A Racket-based Forth / Macro Assembler on steroids for PIC18F

FFI for OpenCL

CLP(SMT) on top of miniKanren

A redis client for Racket.

A synthesis-enabled solver for relational logic

Swank server for the Racket programming language (formerly PLT Scheme)

This repo keeps track of my codes, answers and thinkings when exploring books.

A collection of things I found useful for doing Machine Learning problem sets.

Video synthesis software for the Milkymist One

Talks, presentations, workshops.

My BA's summaries in CS