Pinned Repositories
c-asip
Plain C client for the ASIP protocol
calvino
ciclobot
A very very basic Telegram bot in Python
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
java-asip
A Java client for the ASIP protocol
mccogwed
A prototype model checker for a weighted doxastic logic
myrtle
MIddlesex RoboTic PlafOrm, MIRTO aka Myrtle
pymarash
A Python bridge between the MAplin Robotic Arm and ScratcH (pyMarash)
racket-asip
A Racket client for the Arduino Service Interface Protocol (ASIP)
racketlapse
A very simple programme to build a timelapse using the Raspberry Pi camera
fraimondi's Repositories
fraimondi/racket-asip
A Racket client for the Arduino Service Interface Protocol (ASIP)
fraimondi/myrtle
MIddlesex RoboTic PlafOrm, MIRTO aka Myrtle
fraimondi/java-asip
A Java client for the ASIP protocol
fraimondi/mccogwed
A prototype model checker for a weighted doxastic logic
fraimondi/pymarash
A Python bridge between the MAplin Robotic Arm and ScratcH (pyMarash)
fraimondi/racketlapse
A very simple programme to build a timelapse using the Raspberry Pi camera
fraimondi/c-asip
Plain C client for the ASIP protocol
fraimondi/calvino
fraimondi/ciclobot
A very very basic Telegram bot in Python
fraimondi/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
fraimondi/CST3110-demo
Demo project
fraimondi/fraimondi.github.io
fraimondi/infer
A static analyzer for Java, C, C++, and Objective-C
fraimondi/ltl2buchi
fraimondi/monosat
MonoSAT - An SMT solver for Monotonic Theories
fraimondi/Test_W22
fraimondi/w22-demo
A demo for teaching