sunshowers/masters-thesis sunshowers/masters-thesis

  • This repository has been archived on 01/Feb/2022
  • Stars
    star
    1
  • Language
  • Created about 12 years ago
  • Updated about 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
sunshowers/masters-thesis
github

sunshowers

Reviews

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

Repository Details

My masters' thesis at IIT Kanpur

More Repositories

1

firewall-auth

IITK firewall auth
Python
21
star
2

z3.rkt

Racket bindings for Z3
Racket
19
star
3

jsdict

Dictionaries using ECMAScript proxies
JavaScript
18
star
4

targo

Wraps cargo to move target directories to a central location [super experimental]
Rust
18
star
5

overlay-extension

Windows taskbar icon overlay extension. Code under the Mozilla tri-license (MPL/GPL/LGPL).
JavaScript
5
star
6

numbermind

A Numbermind web app written in Racket using z3.rkt
Racket
5
star
7

iconrefresher

Python script to refresh icons on Windows
Python
3
star
8

process2

Unix processes done right.
2
star
9

tb-about-support

Thunderbird about:support
JavaScript
2
star
10

cargo-search2

cargo search, built for caching binary artifacts, optimized for GitHub Actions
Rust
2
star
11

adp

Python script to download paychecks from ADP
Python
2
star
12

playing-with-processing

1
star
13

non-master-branch

A test repo without a master branch.
1
star
14

dph-experiments

Experiments with data-parallel Haskell
Haskell
1
star
15

shelltester

C++
1
star
16

self-update-example

Working example for Rust self-update system
Rust
1
star
17

sublime-text-settings

1
star
18

dotfiles

Dotfiles for my private use. Always a WIP.
Shell
1
star
19

logic-min

Experiments with logic minimization
Rust
1
star
20

.emacs

.emacs
Emacs Lisp
1
star