carlchapman.info

Notice: Functionality to filter by tag and order by metric - coming soon
S 256 hours
2.5k lines 0.25 MB

Satsy - a codebase search engine

A web application that searches a database of code snippets by functionality using user-specified input-output pairs and an SMT solver.

  • bootstrap
  • sql
  • mysql
  • java
  • Z3
  • SMT-Lib2
  • experimental
  • search
  • senior design
  • ISU
S 300 hours
1.8k lines 2470 MB

Cluster analysis of web behaviors

10 semesters worth of student activity (2.4 GB) on the Agronomy 154 website was reduced and transformed into meaningful information, from which clusters were formed that help to identify what web behaviors lead to success in the class.

  • java swing
  • sql
  • sqlite3
  • java
  • Weka
  • statistics
  • clustering
  • research
  • big data
  • educational
  • agronomy
  • xml
  • ISU
S 600 hours
7.4k lines 8.12 MB

Exam and Quiz Production Tool

A standalone java swing program using a mysqlite database to store questions and construct quizzes or exams with questions taken randomly from a subset of all questions whose keys match a user-specified prefix.

  • java swing
  • sql
  • sqlite3
  • java
  • MS Word
  • DOS
  • educational
  • agronomy
  • xml
  • ISU