Pinned Repositories
AirSane-openwrt
OpenWRT AirSane package
altera-sockit-hardcaml
antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
async-timeout
asyncio-compatible timeout class
aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
boe-rate-forecast-tracker
cbmc
C Bounded Model Checker
cmangla.github.io
PhD candidate in Computer Science, University of Cambridge.
dafny
Dafny is a verification-aware programming language
minisat-2.2.1-for-cbmc
Patched MiniSat that CBMC uses
cmangla's Repositories
cmangla/altera-sockit-hardcaml
cmangla/AirSane-openwrt
OpenWRT AirSane package
cmangla/minisat-2.2.1-for-cbmc
Patched MiniSat that CBMC uses
cmangla/antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
cmangla/async-timeout
asyncio-compatible timeout class
cmangla/aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
cmangla/boe-rate-forecast-tracker
cmangla/cbmc
C Bounded Model Checker
cmangla/cmangla.github.io
PhD candidate in Computer Science, University of Cambridge.
cmangla/dafny
Dafny is a verification-aware programming language
cmangla/py3antlr4book
Covert ANTLR4 book source code to Python3 version.
cmangla/docs
Documentation for Tasmota (https://github.com/arendst/Tasmota)
cmangla/documentation
The official documentation for Raspberry Pi computers and microcontrollers
cmangla/esphome-devices
ESPHome Device Configurations Repository - A database of user submitted configurations for a variety of devices which can be flashed to run ESPHome.io firmware.
cmangla/gh-action-sdk
GitHub CI action to build packages via SDK
cmangla/homebrew-cask
🍻 A CLI workflow for the administration of macOS applications distributed as binaries
cmangla/Pi-Codec
Tools for the IQaudIO Pi-Codec / CodecZero sound cards
cmangla/rq
Simple job queues for Python
cmangla/squashfuse
FUSE filesystem to mount squashfs archives
cmangla/stable-baselines3
PyTorch version of Stable Baselines, reliable implementations of reinforcement learning algorithms.
cmangla/tptp-features
Extract features from TPTP problems for machine learning