Ian Sweet (@Isweet)
github

Isweet

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    11
  • Global Rank 920,445 (Top 32 %)
  • Followers 23
  • Following 18
  • Registered over 11 years ago
  • Most used languages
    Haskell
         50.0 %
    OCaml
         25.0 %
    C
         25.0 %
  • Location 🇺🇸 United States
  • Country Total Rank 151,664
  • Country Ranking
    OCaml
         654
    Haskell
         1,087

Top repositories

1

ppa

Principles of Program Analysis (Nielson, Nielson, Hankin)
Haskell
5
star
2

checkedc-lua

This repository contains a mirror of the Lua interpreter. Various branches contain attempted ports of the Lua source to Checked C.
C
2
star
3

sym-while

Symbolic Execution of `while` language
OCaml
2
star
4

sym-stack

Symbolic Execution of Stack Machine
Haskell
1
star