Discover @daniellestewart Open Source projects

Danielle Stewart (@daniellestewart)

daniellestewart

Stars
3
Global Rank 1,854,108 (Top 64 %)
Registered about 7 years ago
Most used languages

OCaml
33.3 %

Prolog
33.3 %

C
33.3 %
Location 🇺🇸 United States
Country Total Rank 305,304
Country Ranking

Prolog
352

OCaml
764

proof-checker

OCaml sequent calculus proof checker

Prolog-DCG

A definite clause grammar in prolog

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.