Pinned Loading

1. pocket pocket Public

   A minimal, statically typed, procedural programming language

   OCaml 4 1

2. solveit solveit Public

   A simple SAT solver in Haskell

   Haskell 2

3. goto-lang goto-lang Public

   A simple programming language with only GOTO statements for control flow.

   OCaml 4 1

4. java-static-analyses java-static-analyses Public

   A collection of intra-procedural static analyses for Java programs implemented using Soot.

   Java 1

5. gaganchandan.github.io gaganchandan.github.io Public

   Forked from academicpages/academicpages.github.io

   Files for my personal website

   JavaScript 4