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:
- ☆19Updated 8 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- A simple interpreter featuring a tracing JIT☆16Updated 14 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 12 years ago
- Python tools for the K Framework☆13Updated last year
- Pure relational SKI combinator calculus interpreter.☆11Updated 7 years ago
- A programming language that deduces code from tests☆30Updated 7 years ago
- Tiny verified SAT-solver☆27Updated 3 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- Parser for the llvm bitcode format☆59Updated 2 months ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16Updated 2 weeks ago
- Supplementary files for SSFT 2015 summer school☆11Updated 5 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆22Updated 3 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆22Updated 9 years ago
- The Zenon theorem prover☆15Updated last year
- Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.☆22Updated 8 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated 3 weeks ago
- Molecular computers with interaction combinators like graph rewrite systems☆10Updated 2 years ago
- Library classes for the Twelf Proof System☆21Updated 4 years ago
- software archaeology of reflective towers of interpreters☆16Updated 7 months ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators☆17Updated 2 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Updated 7 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆31Updated 9 years ago
- Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler☆11Updated 2 years ago
- SWORD: A Whole Program Race Detector for Java☆13Updated 4 years ago
- The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]☆70Updated last month
- Alef Lazily Evaluates Functions☆32Updated 12 years ago