Pinned Repositories
blog
My personal blogging software
write-yourself-a-scheme
Code from working through the wikibook: Write Yourself a Scheme in 48 Hours
bwsi-cyber-urweb-2021
course
My Solutions to the NICTA haskell course
fp-in-scala
Exercises from Functional Programming in Scala
fpinscala-exercises
Exercises, answers, and hints to go along with the book "Functional Programming in Scala"
glambda
The home of the Glamorous Glambda interpreter
hs15-talk
Slides for my Haskell Symposium 2015 lighting talk
idris-stuff
jennifer-portfolio
Jennifer's Portfolio Website
braje's Repositories
braje/SPICY
Secure Protocols Implemented CorrectlY
braje/bwsi-cyber-urweb-2021
braje/spring21
Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021
braje/idris-stuff
braje/totality-talk
braje/PG
This repo is the new home of Proof General
braje/stack-broken-custom-build
braje/glambda
The home of the Glamorous Glambda interpreter
braje/hs15-talk
Slides for my Haskell Symposium 2015 lighting talk
braje/try-stack-reflex
braje/jennifer-portfolio
Jennifer's Portfolio Website
braje/quick-intro-haskell
Introductory Talk About Haskell
braje/course
My Solutions to the NICTA haskell course
braje/jp
another Jennifer Portfolio site
braje/fpinscala-exercises
Exercises, answers, and hints to go along with the book "Functional Programming in Scala"
braje/fp-in-scala
Exercises from Functional Programming in Scala
braje/write-yourself-a-scheme
Code from working through the wikibook: Write Yourself a Scheme in 48 Hours
braje/blog
My personal blogging software