HarryGifford

HarryGifford's Stars

• baowenbo/DAIN

  Depth-Aware Video Frame Interpolation (CVPR 2019)

  Language:Python8.2k187139836

• alexjoverm/typescript-library-starter

  Starter kit with zero-config for building a library in TypeScript, featuring RollupJS, Jest, Prettier, TSLint, Semantic Release, and more!

  Language:TypeScript4.4k47154495

• plasma-umass/coz

  Coz: Causal Profiling

  Language:C4.1k71143159

• corkami/collisions

  Hash collisions and exploitations

  Language:Python3.1k4412186

• ocaml-multicore/ocaml-multicore

  Multicore OCaml

  Language:OCaml7625731968

• CadeEvs/FrostyToolsuite

  Language:C#524260131

• wilson-labs/cola

  Compositional Linear Algebra

  Language:Python43254729

• SMLFamily/Successor-ML

  A version of the 1997 SML definition with corrections and some proposed Successor ML features added.

  Language:TeX193534510

• smlnj/smlnj

  Standard ML of New Jersey

  Language:Standard ML1841428014

• SMLFamily/The-Definition-of-Standard-ML-Revised

  The Definition of Standard ML, Revised (1997)

  Language:TeX11325113

• ocamllabs/ocaml-modular-implicits

  OCaml extended with modular implicits

  Language:OCaml10321468

• abccsss/LeteSansMath

  OpenType sans-serif math font

  Language:TeX49551

• robsimmons/abbot

  Generation of abstract binding trees

  Language:Standard ML27725

• HarryGifford/special-relativity

  See effects of special relativity such as Terrell rotation, relativistic beaming and Doppler shift.

  Language:TypeScript13200

• alainfrisch/mtt

  Simple transformation language for XML with exact type-checking

  Language:OCaml7301