Stars
- All languages
- ASL
- Ada
- Agda
- Assembly
- Ballerina
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- D
- Dafny
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- Frege
- GCC Machine Description
- Gherkin
- Go
- Graphviz (DOT)
- Groff
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Mathematica
- Modelica
- Mustache
- Nix
- OCaml
- Objective-C++
- PHP
- PLpgSQL
- Perl
- PostScript
- Prolog
- Python
- QML
- R
- Racket
- Reason
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Stan
- Standard ML
- Swift
- TLA
- TSQL
- TeX
- TypeScript
- UrWeb
- Vim Script
- Vue
- XSLT
6
results
for source starred repositories
written in Racket
Clear filter
An Introduction to Redex with Abstracting Abstract Machines
We read computer science books for fun. This is where the secret notes live.