lsingh123 / automatedkantianethicsView external linksLinks
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 5 months ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- First pass at a thin wrapper around the Monarch API and ChatGPT plugin☆12Mar 21, 2025Updated 10 months ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago
- petitboot for ps3 with kexec "sort_segments failed" fixed☆12May 28, 2025Updated 8 months ago
- Real-time mesh fracturing with dynamic impact locations☆12Aug 27, 2020Updated 5 years ago
- Terminal-based IDA disassembly, microcode and pseudocode dumper☆37Updated this week
- Boilerplate for a TypeScript NodeJS project with ESLint and Prettier configured☆13May 28, 2023Updated 2 years ago
- ☆12Jun 7, 2024Updated last year
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 5 years ago
- An attempt to reverse engineer custom file formats used by the game Outlaws from LucasArts.☆16Nov 3, 2018Updated 7 years ago
- Python tools for reverse engineering Microsoft 3D Movie Maker☆12Feb 28, 2021Updated 4 years ago
- ☆18Nov 7, 2024Updated last year
- High-level library for executable binary file analysis☆16Feb 13, 2017Updated 9 years ago
- The ultimate tool for data transfer, manipulation and proxy.☆16Jan 12, 2026Updated last month
- Random experiments and shenanigans☆13Dec 6, 2025Updated 2 months ago
- Fusion is a minimal kernel utility designed for PlayStation 4 research and development.☆19Feb 6, 2026Updated last week
- ☆11Jun 19, 2024Updated last year
- Adaption of the r2ghidra-dec product to lift binaries to LLVM IR☆13Apr 14, 2021Updated 4 years ago
- 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 10 months ago
- A formally verified bug finder☆14Nov 25, 2024Updated last year
- Client-Server chat app that translate (without reasoning) messages based on chosen languages via a simple map☆14Jul 18, 2024Updated last year
- ☆10Oct 24, 2024Updated last year
- A Simple DLL Forward for Fucking IDA 9.0, which removed ida64.dll from beta3.☆14Sep 19, 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)☆11Dec 11, 2025Updated 2 months ago
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆16Feb 10, 2026Updated last week
- A simple interpreter featuring a tracing JIT☆16Mar 28, 2011Updated 14 years ago
- ☆19Nov 26, 2024Updated last year
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated 8 months ago
- The PoC demonstrates the potential for remote code execution by exploiting the identified security flaw.☆13Mar 17, 2024Updated last year
- Logical relation for predicative CC omega with booleans and an intensional identity type☆12Apr 22, 2025Updated 9 months 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
- Fuzzer and code generator for testing Vineflower☆13Apr 13, 2024Updated last year
- Library handling the communication with Apple's Tatsu Signing Server (TSS)☆10Mar 21, 2025Updated 10 months ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆13Mar 23, 2023Updated 2 years ago
- A Rust implementation of the Lean kernel☆11Jan 2, 2023Updated 3 years ago
- ☆14Nov 9, 2022Updated 3 years ago