vikraman/sicp vikraman/sicp

  • Stars
    star
    1
  • Language
    Scheme
  • Created almost 14 years ago
  • Updated almost 14 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
vikraman/sicp
github

vikraman

Reviews

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

Repository Details

My solutions to the SICP exercises

More Repositories

1

2DTypes

Collaborative work on reversible computing
TeX
16
star
2

popl22-symmetries-artifact

Artifact for Symmetries in Reversible Programming
Dockerfile
9
star
3

generalised-species

Espèces généralisées de structures sur les groupoïdes
Agda
4
star
4

akka-argonaut

Argonaut json marshallers for akka-stream and akka-http
Scala
4
star
5

CompGeo

Computational Geometry algorithms library
C
3
star
6

gentoostats

SoC2011: Gentoo package statistics
Python
3
star
7

firewall-auth-sh

IITK firewall auth
Shell
2
star
8

basic-hott

personal Agda HoTT library (borrows plenty from HoTT-Agda and agda-stdlib)
Agda
2
star
9

xmonad-config

My xmonad config
Haskell
2
star
10

avr-music

Music using an AVR microcontroller
2
star
11

.emacs.d

vikraman's .emacs.d
Emacs Lisp
2
star
12

docker-gentoo

Minimal gentoo amd64 docker image
2
star
13

Sim

A simple pencil game
Haskell
2
star
14

coexp

Continuations and Co-exponentials
Haskell
1
star
15

gentoostats-playground

Playground for gentoostats
Python
1
star
16

site

Haskell
1
star
17

guess

A simple number guessing game Facebook app
1
star
18

brainf-k

A Brainf**k interpreter in haskell
Haskell
1
star
19

programming-scripts

Scripts to ease programming for the lazy coder
Shell
1
star
20

lastfmable

Playing around with the last.fm api and appengine
Python
1
star
21

patch-theory

A naive patch theory implementation
Haskell
1
star
22

apokolips

My personal portage overlay
D
1
star
23

99problems

Haskell
1
star
24

df

My dotfiles repository
Lua
1
star
25

ratemypunch

Python
1
star
26

scanner

A port scanner
1
star
27

amestris

Qt4 based fault tolerant GUI server
C
1
star
28

cgal-qt-demos

Automatically exported from code.google.com/p/cgal-qt-demos
C++
1
star
29

color-it

Flood-it solver
C++
1
star
30

tweet-bti

Tweet using bti
1
star