lsingh123 / automatedkantianethicsLinks
This repository contains source code for my senior thesis, titled "Automated Kantian Ethics" and advised by Professor Nada Amin and Dr. William Cochran.
☆15Updated 2 years ago
Alternatives and similar repositories for automatedkantianethics
Users that are interested in automatedkantianethics are comparing it to the libraries listed below
Sorting:
- Parser for the llvm bitcode format☆59Updated last week
- A toy SWI-Prolog context-free grammar (CFG) parser, that extracts knowledge (facts) from text.☆20Updated 7 years ago
- deep learning for math☆30Updated 6 years ago
- Symbolic execution engine for toy language.☆51Updated 7 years ago
- YAP is a high-performance Prolog compiler☆12Updated 14 years ago
- Port of Aleph to SWI-Prolog☆48Updated last year
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 12 years ago
- Provides a reference implementation of FeatherweightRust in Java.☆14Updated 3 years ago
- Python term rewriting☆29Updated 12 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- Library classes for the Twelf Proof System☆22Updated 5 years ago
- Explainable machine learning☆17Updated 6 years ago
- Stratified synthesis for learning machine code instruction semantics☆37Updated 3 weeks ago
- Luck -- A Language for Property-Based Generators☆35Updated 3 months ago
- LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…☆19Updated 2 years ago
- ☆19Updated 8 years ago
- CHR: Leuven Constraint Handling Rules☆26Updated last month
- Slog 1.0☆43Updated last year
- A tool for testing C compilers automatically☆21Updated 9 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆29Updated 2 months ago
- Educational Proof Assistant for Type Theory☆74Updated 10 months ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- Python tools for the K Framework☆13Updated last year
- CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles☆33Updated 8 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- An automated theorem prover that uses Büchi automata.☆42Updated 3 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆76Updated last month
- ☆10Updated 4 years ago
- Supplementary files for SSFT 2015 summer school☆11Updated 5 years ago