Giters
Vishal Lama (vishallama)

vishallama

Geek Repo

18

followers

69

following

1k

stars

Location:USA

Home Page:https://mathstodon.xyz/web/@vishallama

Github PK Tool:Github PK Tool

Vishal Lama's starred repositories

TypeFunc

Resources for type theory, functional programming, etc.

Stargazers:308Issues:0Issues:0

coq-course

Coq course at Chalmers CSE

Language:CoqStargazers:37Issues:0Issues:0

examples

All the examples in Real World OCaml

Language:OCamlLicense:UnlicenseStargazers:375Issues:0Issues:0

lectures

Oxford Deep NLP 2017 course

Stargazers:15620Issues:0Issues:0

cats

Lightweight, modular, and extensible library for functional programming.

Language:ScalaLicense:NOASSERTIONStargazers:5217Issues:0Issues:0

tut

doc/tutorial generator for scala

Language:ScalaLicense:MITStargazers:581Issues:0Issues:0

scalacheck

Property-based testing for Scala

Language:ScalaLicense:BSD-3-ClauseStargazers:1937Issues:0Issues:0

shapeless

Generic programming for Scala

Language:ScalaLicense:Apache-2.0Stargazers:3375Issues:0Issues:0

vim-slime

A vim plugin to give you some slime. (Emacs)

Language:Vim ScriptLicense:MITStargazers:1839Issues:0Issues:0

popup-openvpn

Make a self hosted OpenVPN server in 15 minutes

Language:ShellLicense:MITStargazers:808Issues:0Issues:0

akka

Build highly concurrent, distributed, and resilient message-driven applications on the JVM

Language:ScalaLicense:NOASSERTIONStargazers:13000Issues:0Issues:0

gitea

Git with a cup of tea! Painless self-hosted all-in-one software development service, including Git hosting, code review, team collaboration, package registry and CI/CD

Language:GoLicense:MITStargazers:43510Issues:0Issues:0

first-edition

The book's repo

Language:ScalaStargazers:274Issues:0Issues:0

aas

Code to accompany Advanced Analytics with Spark from O'Reilly Media

Language:ScalaLicense:NOASSERTIONStargazers:1515Issues:0Issues:0

bootzooka

Simple project to quickly start developing a Scala-based microservice or web application, without the need to write login, user registration etc.

Language:ScalaLicense:Apache-2.0Stargazers:727Issues:0Issues:0

ghost-caffeine-theme

A minimalist, Material Design inspired Ghost Theme for optimal desktop and mobile experiences

Language:SCSSLicense:MITStargazers:335Issues:0Issues:0

akka-in-action

Accompanying source code for akka in action

Language:ScalaLicense:MITStargazers:749Issues:0Issues:0

sample-applications

Sample applications that go with the book Play for Scala

Language:ScalaStargazers:260Issues:0Issues:0

reactive-web-applications

Sources of the sample applications of the Reactive Web Application book

Language:ScalaStargazers:180Issues:0Issues:0

paperback

Theme for Hugo static website engine

Language:HTMLLicense:MITStargazers:43Issues:0Issues:0

blog

All code and content for my blog.

Language:TeXStargazers:15Issues:0Issues:0

learning-spark

Example code from Learning Spark book

Language:JavaLicense:MITStargazers:3881Issues:0Issues:0

mnml-ghost-theme

A minimal, responsive, fast Ghost 5.0 blog theme with great typography. Comes with paid membership support, Disqus comments, syntax highlighting, and KaTeX for mathematics, and more.

Language:CSSLicense:MITStargazers:293Issues:0Issues:0

tmux-resurrect

Persists tmux environment across system restarts.

Language:ShellLicense:MITStargazers:11013Issues:0Issues:0

tpm

Tmux Plugin Manager

Language:ShellLicense:MITStargazers:11761Issues:0Issues:0

tmate

Instant Terminal Sharing

Language:CLicense:NOASSERTIONStargazers:5567Issues:0Issues:0

TensorFlow-Book

Accompanying source code for Machine Learning with TensorFlow. Refer to the book for step-by-step explanations.

Language:Jupyter NotebookLicense:MITStargazers:4454Issues:0Issues:0

laverna

Laverna is a JavaScript note taking application with Markdown editor and encryption support. Consider it like open source alternative to Evernote.

Language:JavaScriptLicense:MPL-2.0Stargazers:9175Issues:0Issues:0

hugo

The world’s fastest framework for building websites.

Language:GoLicense:Apache-2.0Stargazers:74042Issues:0Issues:0

Forge

F# CLI tool for project, file, and solution management

Language:F#License:UnlicenseStargazers:231Issues:0Issues:0