Chase Johnson
blog / work / projects
Projects
  • Dates and deadlines in programming language conferences
    A list of programming languages conference dates and deadlines
  • Adelfa
    Proof assistant for LF signatures
  • ReachU
    Mobile application to help users connect with mental health resources
© 2024 | Chase Johnson