nykh/cs242-lambda-pi nykh/cs242-lambda-pi

  • Stars
    star
    2
  • Language
    OCaml
  • Created almost 7 years ago
  • Updated almost 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
nykh/cs242-lambda-pi
github

nykh

Reviews

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

Repository Details

simple λΠ-interpreter with vector type

More Repositories

1

EPL

UT EE380L Engineering Programming Language course
HTML
3
star
2

zeppelin2jupyter

Commandline tool to convert zeppelin notebook to jupyter notebook
Rust
2
star
3

bglistbuilder

A script to retrieve data from Boardgamegeek.com to fill in a game list
Python
2
star
4

manage_gmail_filter

Tools to manage gmail filter
Python
2
star
5

aws-sdb-interface

An interface for AWS SDB using AngularJS
JavaScript
1
star
6

quicktone

A project for researching perception of Chinese tones
1
star
7

chantit

Chant aggregator
1
star
8

funkcium

(WIP) Yet Another Python functional library, with scala inspiration
Python
1
star
9

latex-shorthands

Collection of LaTeX shorthands to facilitate more semantic writing
TeX
1
star
10

qiniu-backup-tool

incremental and bidirectional backup of Qiniu(TM) Bucket
Python
1
star
11

python-package-structure

A minimum example to remind myself how relative import works and how to run code in python
Python
1
star
12

exercism-rust

exercism.io/rust exercises
Rust
1
star
13

emacs-configuration

Emacs Lisp
1
star
14

nykh.github.io

log
HTML
1
star
15

portfolio

personal website
HTML
1
star
16

HearingAidProject

Senior project simulating heairng aid and cochlear implant communication
C
1
star
17

ee445m-robot-team13

Automatically exported from code.google.com/p/ee445m-robot-team13
C
1
star