Danielle Stewart (@daniellestewart)
github

daniellestewart

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    3
  • Global Rank 1,851,937 (Top 64 %)
  • Registered about 7 years ago
  • Most used languages
    C
         33.3 %
    Prolog
         33.3 %
    OCaml
         33.3 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 305,304
  • Country Ranking
    Prolog
         324
    OCaml
         1,050

Top repositories

1

proof-checker

OCaml sequent calculus proof checker
OCaml
1
star
2

Prolog-DCG

A definite clause grammar in prolog
Prolog
1
star
3

device-driver

A repository for the Device Drivers project. This project is a linux device driver where the device is a region of memory. The memory is treated as bounded buffer containing 32 byte items, each read and written one at a time.
C
1
star