vikraman/Sim vikraman/Sim

  • Stars
    star
    2
  • Language
    Haskell
  • License
    GNU General Publi...
  • Created over 14 years ago
  • Updated over 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
vikraman/Sim
github

vikraman

Reviews

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

Repository Details

A simple pencil game

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

coexp

Continuations and Co-exponentials
Haskell
1
star
14

gentoostats-playground

Playground for gentoostats
Python
1
star
15

site

Haskell
1
star
16

guess

A simple number guessing game Facebook app
1
star
17

brainf-k

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

sicp

My solutions to the SICP exercises
Scheme
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