Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
266 lines (141 sloc) 2.84 KB

table-of-contents

This. A list of my repos hosted on Github.


bare-bones-site-generator

Generates a static blog from a markdown "posts"


how-to-design-programs

Solutions to all exercises and sample problems from the book How to Design Programs.


games

Interactive games in Racket and javascript using the "big-bang" model.


logical-foundations

Solutions to the book Logical Foundations


class-system

Class system using Racket macros


tiger

The tiger compiler from the book Modern Compiler Implementation in ML.


atharvashukla

personal website : atharvashukla.com


racket-hackerrank-solutions

My Hackerrank FP solutions in Racket


stackoverflow

Code from my stackoverflow answers.


syntax-parse

Code snippets/notes on syntax-parse.


database

A custom database


ml-for-the-working-programmer

Nice book on ML: ML for the Working Programmer


verif

Proofs and theory from "Reasoning about Programs"


koans

Clojure Koans exercises.


99-problems

99 Lisp problems


Configurations: atharva-emacs, yasnippet-snippets

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

You can’t perform that action at this time.