Projects in Awesome Lists by aallan
A curated list of projects in awesome lists by aallan .
https://github.com/aallan/vera
Vera: a programming language designed for LLMs to write
algebraic-effects contracts formal-verification llm parser programming-language verification webassembly
Last synced: 11 May 2026
https://github.com/aallan/datasensinglab
Code and hardware for the Data Sensing Lab.
Last synced: 17 Mar 2026
https://github.com/aallan/pico-lorawan-circuitpython
Raspberry Pi Pico and LoRaWAN from CircuitPython
circuitpython lorawan raspberry-pi-pico
Last synced: 01 Sep 2025
https://github.com/aallan/benchmarking-ml-on-the-edge
Benchmarking machine learning inferencing on embedded hardware.
benchmark benchmarking-framework coral-tpu jetson-nano machine-learning movidius raspberry-pi small-ai tiny-ml
Last synced: 05 Sep 2025
https://github.com/aallan/node-owlintuition
node.js library for the OWL Intuition range of energy monitoring and control systems
Last synced: 06 May 2025
https://github.com/aallan/iphone-tracker
This iOS application uses iOS 4.x Significant Location Change API to log your location to an SQLite file which you can then export via email. There are no outbound network connections and your location is never sent anywhere, just stored in the DB.
Last synced: 16 Aug 2025
https://github.com/aallan/vera-bench
VeraBench: a benchmark suite for LLM code generation in Vera
benchmark code-generation contracts formal-verification llm programming-language vera verification verified-programming
Last synced: 08 Jun 2026
https://github.com/aallan/perl-modules-for-astronomy
Astronomy related Perl Modules.
Last synced: 17 Mar 2026
https://github.com/aallan/apppl
WatchMouse In-App Monitoring library for various platforms, see: http://iam.watchmouse.com/
Last synced: 06 May 2025
https://github.com/aallan/perl-modules-for-voevent
Perl modules for handling IVOA standard VOEvent messages and the surrounding infrastructure.
Last synced: 13 May 2026
https://github.com/aallan/estar-project
The eSTAR Project is a programme to build an intelligent robotic telescope network. It is a joint project between the Astrophysics Research Institute at Liverpool John Moores University and the Astrophysics Research Group of the School of Physics at the University of Exeter.
Last synced: 07 May 2026
https://github.com/aallan/arview
An early Geo AR toolkit for iOS written in Objective-C, circa 2010 perhaps?
Last synced: 09 Sep 2025
https://github.com/aallan/tinkertoy-model
The Tinkertoy Model is a small scalable agent simulation based on work by Shoham & Tennenholtz (1997).
Last synced: 12 May 2026