juniorxxue/learn-plt-redex juniorxxue/learn-plt-redex

  • Stars
    star
    10
  • Rank 1,807,489 (Top 36 %)
  • Language
  • Created about 4 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
juniorxxue/learn-plt-redex
github

juniorxxue

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Resources for Learning PLT Redex

More Repositories

1

xcode-theme

Xcode theme for Emacs
Emacs Lisp
15
star
2

emacs.d

Theorem Proving in Emacs
Emacs Lisp
11
star
3

contextual-typing

Contextual Typing, formalised in Agda
Agda
8
star
4

applicative-intersection

Applicative Intersection Types
Coq
2
star
5

software-foundations

Solutions for Software Foundations
Coq
2
star
6

Codewars

Interesting Katas in Codewars
Haskell
1
star
7

racket-slides

Being a template of Racket slideshow
Racket
1
star
8

SketchyKlotski

Klotski Game for iOS
Swift
1
star