Skip to content
View yogeshsajanikar's full-sized avatar
  • Pune, India
Block or Report

Block or report yogeshsajanikar

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
yogeshsajanikar/README.md

Hello there

I am Yogesh Sajanikar. I am a passionate functional programmer interested in formal methods such as TLA+, Coq. As a programmer I am biased towards Haskell, which is my favorite language, in the same way I am biased towards Emacs as my lifelong editor. I like to solve interesting problems especially related to geometry, data science, AI and distributed systems. I take pride in the code that I write. Now a days, I am striving to bring a formalism into the way I code.

I am indebted to open source and community as I use it daily, and learnt a lot using it. Though I live and work in the corporate world, I feel that the corporate world consumes open source but do not contribute to it officially. As an exception, few of my earlier employers did have an open attitude towards it. At a personal level I feel that I should have started the contribution much earlier.

Feel free to contact me at yogesh.underscore.sajanikar.at.yahoo.com, I will be happy to help.

Github Stats

yogeshsajanikar

Popular repositories Loading

  1. hspark hspark Public

    A port of Apache Sparks to Haskell using distributed process

    Haskell 33 3

  2. awesome-courses awesome-courses Public

    Forked from prakhar1989/awesome-courses

    📚 List of awesome university courses for learning Computer Science!

    7 2

  3. three-draco3d three-draco3d Public

    ThreeJS loader for draco3d

    JavaScript 2

  4. stl stl Public

    Standard Tessellation Language Reader and Viewer

    Haskell 1

  5. heroku-buildpack-haskell-stackage heroku-buildpack-haskell-stackage Public

    Build haskell package with stackage

    Shell 1

  6. angular-template-for-threejs angular-template-for-threejs Public

    Forked from makimenko/angular-template-for-threejs

    Angular Template For Three.js

    TypeScript 1