0/lambda-calculus 0/lambda-calculus

  • Stars
    star
    2
  • Language
    Python
  • Created over 11 years ago
  • Updated about 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
0/lambda-calculus
github

0

Reviews

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

Repository Details

Why should Turing machines get all the glory?

More Repositories

1

msp430-rng

Random (SLAA338) and pseudorandom (LCG) number generation.
C
20
star
2

migraine

Transform boring monochrome bitmaps into dazzling monochrome graphics!
Perl
6
star
3

...

filesfilesfiles
Haskell
5
star
4

cl-musicbrainz

Query MusicBrainz from Common Lisp.
Common Lisp
4
star
5

LatticeSweeper.jl

Simple two-site DMRG.
Julia
4
star
6

snake

Yet another Snake clone.
C
4
star
7

grade-reaper

Get your grades hot off the press! (UWaterloo specific)
Python
3
star
8

VibronicToolkit.jl

Tools for vibronic Hamiltonians.
Julia
3
star
9

phabricator-mail-xmpp

A Phabricator mail adapter to send messages through XMPP.
PHP
3
star
10

submodule-bomb

Nothing too exciting...
Shell
2
star
11

JeszenszkiBasis.jl

Bosonic occupation basis.
Julia
2
star
12

itensor-linear-rotors

An ITensor SiteSet for linear rotors.
C++
2
star
13

irssi-rainbow-parens

Displays matching brackets using matching colours.
Perl
2
star
14

Freenode-regex-quiz

2
star
15

scrape-quest

A scraper for UWaterloo's Quest system. Doesn't do very much.
Python
2
star
16

.vim

My Vim configuration
Vim Script
2
star
17

Boltzmannizer

Visualization tool for discrete Boltzmann distributions.
Python
2
star
18

DrSwine

Minimal LePIGS implementation in Racket.
Racket
1
star
19

DipoleChain.jl

Exact sparse diagonalization and path integral matrix multiplication for a linear chain of evenly-spaced linear rigid rotors with dipole-dipole interactions.
Julia
1
star
20

graph-sandbox

An interactive graph editor that runs in the browser.
JavaScript
1
star
21

srat-solver

Genetic solver for Jim Propp's SRAT.
Python
1
star
22

RPS

A simple rock-paper-scissors bot made for an AI contest.
C
1
star
23

uw-weather

Displays UWaterloo Weather Station data in a plain format.
Perl
1
star
24

SpaceFight

A two player game for two (forked from drobe's old repository)
Python
1
star
25

realtimepork

PIGS wavefunctions combined with HK semiclassical propagation.
Python
1
star
26

vim-diffoffer

Easy toggling of diff mode for the current buffer.
Vim Script
1
star
27

SpanishAcquisition

Talk to devices, organize and run experiments.
Python
1
star
28

wmiirc.pl

My Perl wmii "configuration" script.
Perl
1
star
29

openmm-pi-integrator-plugin

Path integral integrator plugin for OpenMM.
C++
1
star
30

.zsh

My Zsh configuration
Shell
1
star