Pinned Loading

1. dafny-lang/dafny dafny-lang/dafny Public

   Dafny is a verification-aware programming language

   C# 2.9k 262

2. mini-ool-interpreter mini-ool-interpreter Public

   Compiler for a toy language in my Programming Languages course - MiniOO

   OCaml

3. infinite-recursive-image infinite-recursive-image Public

   A script to create the Droste effect with any image.

   Python 1 1

4. Quines Quines Public

   Some quines I have written up

   C++ 1

5. eMatrix eMatrix Public

   My attempt at making a lite version of cMatrix (github.com/abishekvashok/cmatrix).

   C++

6. frequent-itemsets frequent-itemsets Public

   DMML Assignment 1

   Python