Pinned Repositories
.expeditor.d
My config files for racket's expeditor.
.racket
pkgs for my racket
.spacemacs.d
My spacemacs configuration.
amb
Ambiguous Operator
APE
APEs' Playground: Enjoy!
compatibility
ctp
Category Theory in Programming
EOC
Some codes and notes for Essential of Compilation.
qi-cat
Packages for studying the connections between Qi and Category Theory.
racket
The Racket repository
NoahStoryM's Repositories
NoahStoryM/ctp
Category Theory in Programming
NoahStoryM/qi-cat
Packages for studying the connections between Qi and Category Theory.
NoahStoryM/amb
Ambiguous Operator
NoahStoryM/EOC
Some codes and notes for Essential of Compilation.
NoahStoryM/racket
The Racket repository
NoahStoryM/.racket
pkgs for my racket
NoahStoryM/.spacemacs.d
My spacemacs configuration.
NoahStoryM/ChezScheme
Chez Scheme
NoahStoryM/EOPL
My EOPL solutions.
NoahStoryM/Essentials-of-Compilation
A book about compiling Racket to x86-64 assembly
NoahStoryM/ethereum-org-website
Ethereum.org is a primary online resource for the Ethereum community.
NoahStoryM/fancy-app
A Scala-style magic function application form
NoahStoryM/json-lib
JSON module for typed/racket
NoahStoryM/kelly
NoahStoryM/Linux-Install-Steps
Install steps and some initial configs about Ubuntu and Arch.
NoahStoryM/minicat
Category Theory in Racket
NoahStoryM/qi
A general-purpose functional DSL.
NoahStoryM/r5rs
NoahStoryM/racket-mode
Emacs major and minor modes for Racket: edit, REPL, check-syntax, debug, profile, and more.
NoahStoryM/racket-pkg-website
A frontend for the Racket Package Catalog.
NoahStoryM/rackunit
NoahStoryM/scribble
NoahStoryM/sdn
NoahStoryM/sicp
A SICP language for Racket.
NoahStoryM/spacemacs-theme
Light and dark theme for spacemacs that supports GUI and terminal
NoahStoryM/typed-data-queue-lab
Queues for typed racket
NoahStoryM/typed-racket
Typed Racket
NoahStoryM/typed-racket-mutable-treelist-lab
Mutable tresslists for typed racket
NoahStoryM/typed-racket-stream
streams for typed racket
NoahStoryM/vim
my basic vim configs.