rems-project / reviewing-good-and-bad-reasonsView external linksLinks
☆14Dec 2, 2021Updated 4 years ago
Alternatives and similar repositories for reviewing-good-and-bad-reasons
Users that are interested in reviewing-good-and-bad-reasons are comparing it to the libraries listed below
Sorting:
- Talk to be given at PLMW 2022☆19Jan 19, 2022Updated 4 years ago
- LLM-based and retrieval-augmented Control Code Generation☆22Oct 22, 2024Updated last year
- Software Tools in JavaScript☆30Mar 5, 2023Updated 2 years ago
- C# samples for The Eye Tribe Tracker☆19Nov 28, 2016Updated 9 years ago
- homebridge smartthings plugin☆21Updated this week
- An Intellij Plugin that generates unit test methods with meaningful names based in described behaviours with @should tags in methods ja…☆10Dec 14, 2025Updated 2 months ago
- ☆11Jul 20, 2021Updated 4 years ago
- Synchronizable PBKDF2 based password generator☆14Dec 31, 2016Updated 9 years ago
- Teaching and learning deep learning in the context of digital image processing☆11Sep 29, 2023Updated 2 years ago
- Encoders and Decoders for RF and IR protocols used for remote control and data acquisition. Both Encoders and Decoders can be supplied as…☆12Jul 29, 2017Updated 8 years ago
- Implements a simple "Wasp in the Box" algorithm for SmartThings☆11Feb 10, 2015Updated 11 years ago
- PassDock public issue tracker.☆23Nov 11, 2014Updated 11 years ago
- A python plugin integrated into Carla Simulator for emulate cyber-attack over the CAN-Bus (https://carla.org/)☆14Apr 26, 2021Updated 4 years ago
- DEPRECATED: Element Hiding Helper extension for Adblock Plus☆11Dec 1, 2017Updated 8 years ago
- Body Sensor Network (BSN): a prototype for exercising dependable adaptation in healthcare domain.☆13May 8, 2024Updated last year
- Device types and SmartApps written for the SmartThings home automation system.☆11Jun 3, 2014Updated 11 years ago
- Python bindings for libsrcml☆17Aug 25, 2025Updated 5 months ago
- Common code, such as validators and mixins, that are shared between ActiveModels in metasploit-framework and ActiveRecords in metasploit_…☆14May 2, 2025Updated 9 months ago
- A block-based programming environment for Arduino.☆16Jan 12, 2026Updated last month
- ☆14Aug 21, 2020Updated 5 years ago
- Adds syntax to racket languages☆11Aug 17, 2022Updated 3 years ago
- Sharp Aquos IP Remote for SmartThings☆10Oct 21, 2015Updated 10 years ago
- A scalable error-friendly factories for your Elixir apps☆10Oct 13, 2020Updated 5 years ago
- Site da Guilda feito com Elixir e Phoenix LiveView.☆11Feb 23, 2023Updated 2 years ago
- minimal network probing engine based on scamper with support for ICMP, UDP, and TCP probes☆10Dec 21, 2022Updated 3 years ago
- SmartThings DeviceType for 8-way relay combined with Arduino and SmartThing board☆10Apr 17, 2014Updated 11 years ago
- Data-flow Analysis Visualizer☆10Dec 9, 2021Updated 4 years ago
- C# framework for transforming and analyzing source code with srcML.☆21Feb 10, 2016Updated 10 years ago
- A command line application for Windows written in C# that allows a user to quickly send new todo's to Toodledo. I use it with launchy for…☆19Aug 25, 2012Updated 13 years ago
- My dotfiles☆11Feb 4, 2026Updated 2 weeks ago
- ☆10Feb 8, 2021Updated 5 years ago
- Artifact for TOSEM Submission: GiantRepair☆12Jun 26, 2024Updated last year
- ☆11Mar 16, 2016Updated 9 years ago
- This repository accompanies the research paper "P. Kreutzer, S. Kraus, M. Philippsen: Language-Agnostic Generation of Compilable Test Pro…☆12Jul 8, 2022Updated 3 years ago
- Stuff related to scraping the Code Review StackExchange☆12Jan 19, 2023Updated 3 years ago
- Linux helper for VLC Streamer.☆15Aug 31, 2014Updated 11 years ago
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆17Jul 10, 2025Updated 7 months ago
- TheDeepChecker: Dynamic Debugger for Neural Networks Training Programs☆10Nov 2, 2022Updated 3 years ago
- Attack/Defense services for the CyberChallenge.IT 2024 National Competition @ Turin, Italy☆11Jul 18, 2024Updated last year