This repository contains source code for my senior thesis, titled "Automated Kantian Ethics" and advised by Professor Nada Amin and Dr. William Cochran.
☆16Jul 27, 2022Updated 3 years ago
Alternatives and similar repositories for automatedkantianethics
Users that are interested in automatedkantianethics are comparing it to the libraries listed below
Sorting:
- Summary notes from COMP6771 Advanced C++ Programming☆18Aug 31, 2025Updated 6 months ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- ☆18Nov 7, 2024Updated last year
- petitboot for ps3 with kexec "sort_segments failed" fixed☆12May 28, 2025Updated 9 months ago
- ☆12Jun 7, 2024Updated last year
- Boilerplate for a TypeScript NodeJS project with ESLint and Prettier configured☆13May 28, 2023Updated 2 years ago
- First pass at a thin wrapper around the Monarch API and ChatGPT plugin☆12Mar 21, 2025Updated 11 months ago
- High-level library for executable binary file analysis☆16Feb 13, 2017Updated 9 years ago
- Python tools for reverse engineering Microsoft 3D Movie Maker☆12Feb 28, 2021Updated 5 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago
- An attempt to reverse engineer custom file formats used by the game Outlaws from LucasArts.☆16Nov 3, 2018Updated 7 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 6 years ago
- Real-time mesh fracturing with dynamic impact locations☆12Aug 27, 2020Updated 5 years ago
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆16Feb 20, 2026Updated 2 weeks ago
- A Simple DLL Forward for Fucking IDA 9.0, which removed ida64.dll from beta3.☆14Sep 19, 2024Updated last year
- ☆10Oct 24, 2024Updated last year
- REcon 2024 Repo, slides for talk "GOP Complex: Image parsing bugs, EBC polymorphic engines and the Deus ex machina of UEFI exploit dev""☆14Mar 31, 2025Updated 11 months ago
- ☆11Jun 19, 2024Updated last year
- Random experiments and shenanigans☆13Dec 6, 2025Updated 3 months ago
- Fusion is a minimal kernel utility designed for PlayStation 4 research and development.☆20Feb 13, 2026Updated 3 weeks ago
- Client-Server chat app that translate (without reasoning) messages based on chosen languages via a simple map☆14Jul 18, 2024Updated last year
- The ultimate tool for data transfer, manipulation and proxy.☆16Jan 12, 2026Updated last month
- Adaption of the r2ghidra-dec product to lift binaries to LLVM IR☆13Apr 14, 2021Updated 4 years ago
- A formally verified bug finder☆14Nov 25, 2024Updated last year
- Transformer with constraints on Bach chorales☆11Aug 14, 2020Updated 5 years ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Feb 10, 2026Updated 3 weeks ago
- A simple interpreter featuring a tracing JIT☆16Mar 28, 2011Updated 14 years ago
- ☆13Nov 9, 2022Updated 3 years ago
- Code lifting for executing a visionOS library os macOS using QBDL and QBDI☆21Sep 30, 2024Updated last year
- ARM/THUMB disassembler☆15Aug 9, 2010Updated 15 years ago
- The PoC demonstrates the potential for remote code execution by exploiting the identified security flaw.☆13Mar 17, 2024Updated last year
- ☆13Jul 1, 2025Updated 8 months ago
- Logical relation for predicative CC omega with booleans and an intensional identity type☆12Apr 22, 2025Updated 10 months ago
- Library handling the communication with Apple's Tatsu Signing Server (TSS)☆10Mar 21, 2025Updated 11 months ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆13Mar 23, 2023Updated 2 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated 9 months ago
- PS4 system_fs_image.bin extractor☆14Aug 5, 2017Updated 8 years ago
- Terminal-based IDA disassembly, microcode and pseudocode dumper☆43Updated this week
- ☆19Nov 26, 2024Updated last year