jonathankochems

jonathankochems's Stars

• ckreibich/scholar.py

  A parser for Google Scholar, written in Python

  Language:Python2.1k777

• packetloop/haskell-cpython

  Clone of https://john-millikin.com/code/haskell-cpython/

  Language:Haskell11

• Hopobcn/FWI

  RTM

  Language:C3615

• jsermeno/amby

  Statistical data visualization

  Language:Haskell11

• timbod7/haskell-chart

  A 2D charting library for haskell

  Language:Haskell42985

• boyank/yoc

  command line tool for scraping financial options prices and related data from finance.yahoo.com

  Language:Python245

• 0ax1/MPI-Checker

  Checks to verify the usage of the MPI API in C and C++ code, based on Clang’s Static Analyzer and Clang-Tidy.

  383

• yav/type-nat-solver

  A plugin for solving numeric constraints in GHC's type-checker

  Language:Haskell505

• yav/presburger

  Decision procedures for Presburger arithmetic in Haskell

  Language:Haskell298