yyadavalli

yyadavalli's Stars

• abo-abo/orca

  ORg CApture

  Language:Emacs Lisp1046

• alphapapa/org-super-agenda

  Supercharge your Org daily/weekly agenda by grouping items

  Language:Emacs Lisp1.4k109

• typelead/etlas

  Etlas, the build tool and package manager for the Eta programming language

  Language:Haskell6310

• juanjose49/omscs-cs7641-machine-learning-assignment-4

  I am open sourcing the boiler plate code necessary for Assignment 4 so we can focus on the analysis instead.

  Language:Java5179

• rtimush/sbt-updates

  sbt plugin that can check Maven and Ivy repositories for dependency updates

  Language:Scala76155

• abo-abo/lispy

  Short and sweet LISP editing

  Language:Emacs Lisp1.2k132

• jorgenschaefer/emacs-buttercup

  Behavior-Driven Emacs Lisp Testing

  Language:Emacs Lisp36844

• sarabander/sicp

  HTML5/EPUB3 version of SICP

  Language:HTML4.4k606

• vivien/i3blocks-contrib

  Official repository for community contributed blocklets

  Language:Python1.3k485

• vivien/i3blocks

  The hacker-friendly status_command for Sway and i3

  Language:C2.3k184

• paf31/purescript-book

  Sources for the PureScript book

  Language:PureScript452368

• arosien/cats-cheatsheets

  Language:TeX533

• tonymorris/fp-course

  Functional Programming Course

  Language:Haskell1k133

• wasamasa/dotemacs

  Literate Emacs configuration

  Language:Emacs Lisp15126

• mjs2600/ML-Final-Exam-Study-Notes

  2310

• frgomes/.emacs.d

  This is my .emacs.d folder

  Language:Emacs Lisp72

• typelead/eta-hackage

  A set of patches to make Hackage compatible with the Eta language.

  Language:Haskell6431

• agda/agda

  Agda is a dependently typed programming language / interactive theorem prover.

  Language:Haskell2.5k364

• sfischer13/awesome-eta

  :star: Useful resources for the Eta programming language

  635

• djspiewak/smock

  A utility harness for testing free programs (built on specs2)

  Language:Scala293

• pigworker/CS410-17

  being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde

  Language:Agda26227

• android-password-store/Android-Password-Store

  Android application compatible with ZX2C4's Pass command line application

  Language:Kotlin2.6k279

• IJHack/QtPass

  QtPass is a multi-platform GUI for pass, the standard unix password manager.

  Language:C++1k163

• the-ted/org-mind-map

  This is an emacs package that creates graphviz directed graphs.

  Language:Emacs Lisp54252

• simonmichael/hledger

  Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

  Language:Haskell3.1k320

• sgenoud/scikit-learn

  scikit-learn: machine learning in Python

  Language:C109

• hmemcpy/milewski-ctfp-pdf

  Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

  Language:TeX11.1k597

• sarabander/sicp-pdf

  SICP PDF with Texinfo and LaTeX source

  Language:Perl4.3k545

• ageron/handson-ml

  ⛔️ DEPRECATED – See https://github.com/ageron/handson-ml3 instead.

  Language:Jupyter Notebook25.2k12.9k

• ipython-contrib/jupyter_contrib_nbextensions

  A collection of various notebook extensions for Jupyter

  Language:JavaScript5.3k809