Vishal Lama (@vishallama)
github

vishallama

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    21
  • Global Rank 621,339 (Top 22 %)
  • Followers 17
  • Following 53
  • Registered about 13 years ago
  • Most used languages
    Standard ML     33.3 %
    Ruby
         16.7 %
    Scala
         16.7 %
    Coq     16.7 %
    TeX
         16.7 %
  • Location 🇺🇸 United States
  • Country Total Rank 109,783
  • Country Ranking
    Standard ML     86
    Coq     169
    Scala
         1,333
    TeX
         2,161

Top repositories

1

programming-in-scala-3rd-ed

Code examples from the book 'Programming in Scala' (3rd ed) by Martin Odersky, et al.
Scala
7
star
2

algebra-chapter0

Solutions to exercises in the book 'Algebra - Chapter 0' by Paolo Aluffi.
TeX
4
star
3

interactive_theorem_proving_and_program_development

Code and examples from the book 'Interactive Theorem Proving and Program Development' (Coq'Art book)
Coq
2
star
4

programming-in-standard-ml

Code examples from the book 'Programming in Standard ML' (2011) by Bob Harper.
Standard ML
2
star
5

computational-category-theory

Notes and code based on the book 'Computational Category Theory'.
Standard ML
1
star
6

ruby-binary-search-trees

Ruby implementation of the Binary Search Tree (BST) ADT
Ruby
1
star
7

tmux-tutorial

Tuturial for tmux (Terminal Multiplexer).
1
star