cc-wr

cc-wr's Stars

• WolframResearch/codeparser

  Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)

  Language:Rust130191814

• robertylewis/mathematica

  Lean-independent implementation of the MM-Lean link

  Language:Lean28514

• jamespizzurro/metrohero-webapp

  The webapp for the MetroHero project, a (now defunct) app for WMATA Metrorail commuters and transit nerds in and around the DC area.

  Language:JavaScript241011

• jamespizzurro/metrohero-server

  The server used to power the MetroHero project, a (now defunct) app for WMATA Metrorail commuters and transit nerds in and around the DC area.

  Language:Java191010