Pinned Repositories
LEGUP
Logic Engine for Grid-Using Puzzles - a better way to learn formal logic
venue
edgent-kafka-spark
ExistentialGraphProofGenerator
Generates Existential Graph Proofs from set of premises to a goal.
LEGUP
Logic Engine for Grid-Using Puzzles - a better way to learn formal logic
sjl
turtle
PD turtle academy
WheresWaldo
CG_F15
core
parallel finite element unstructured meshes
samanthajlee2's Repositories
samanthajlee2/edgent-kafka-spark
samanthajlee2/ExistentialGraphProofGenerator
Generates Existential Graph Proofs from set of premises to a goal.
samanthajlee2/LEGUP
Logic Engine for Grid-Using Puzzles - a better way to learn formal logic
samanthajlee2/sjl
samanthajlee2/turtle
PD turtle academy
samanthajlee2/WheresWaldo
CG_F15