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

composer

:warning: :warning: :warning: Hyperledger Composer has been deprecated :warning: :warning: :warning:

Language:JavaScriptLicense:NOASSERTIONStargazers:1629Issues:0Issues:0

Ammonite

Scala Scripting

Language:ScalaLicense:MITStargazers:2598Issues:0Issues:0

scala3

The Scala 3 compiler, also known as Dotty.

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

scalajs-bundler

Language:ScalaLicense:NOASSERTIONStargazers:235Issues:0Issues:0

scaladex

The Scala Package Index

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

RiskBazaar

RiskBazaar

Language:PythonStargazers:10Issues:0Issues:0

bitcoinbook

Mastering Bitcoin 3rd Edition - Programming the Open Blockchain

Language:HTMLLicense:NOASSERTIONStargazers:23238Issues:0Issues:0

fzf

:cherry_blossom: A command-line fuzzy finder

Language:GoLicense:MITStargazers:62800Issues:0Issues:0

thank-you-github

An open letter of gratitude to GitHub

Stargazers:1977Issues:0Issues:0

docs.microsoft.com-nuget

Documentation for NuGet

Language:PowerShellLicense:MITStargazers:149Issues:0Issues:0

BeginningFSharp4-0

Source code for the book "Beginning F# 4.0" ISBN-13 (pbk): 978-1-4842-1375-9

Language:F#Stargazers:6Issues:0Issues:0

fsharp

The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio

Language:F#License:MITStargazers:3842Issues:0Issues:0

fsharp

Please file issues or pull requests here: https://github.com/dotnet/fsharp

Language:F#License:MITStargazers:2172Issues:0Issues:0

frap

Formal Reasoning About Programs

Language:CoqLicense:NOASSERTIONStargazers:650Issues:0Issues:0

dist-prog-book

Language:CSSLicense:NOASSERTIONStargazers:3422Issues:0Issues:0

sbt-extras

A more featureful runner for sbt, the simple/scala/standard build tool

Language:ShellLicense:NOASSERTIONStargazers:911Issues:0Issues:0

pomodoro-indicator

A simple app to do the pomodoro technique in Ubuntu

Language:PythonLicense:GPL-3.0Stargazers:91Issues:0Issues:0

sbt-eclipse

Plugin for sbt to create Eclipse project definitions

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

learnhaskell

Learn Haskell

Language:MakefileLicense:CC0-1.0Stargazers:7939Issues:0Issues:0

r4ds

R for data science: a book

Language:RLicense:NOASSERTIONStargazers:4466Issues:0Issues:0

hugo-xmin

eXtremely Minimal Hugo theme: about 140 lines of code in total, including HTML and CSS (with no dependencies)

Language:HTMLLicense:MITStargazers:738Issues:0Issues:0

cring

Johan's clone of the cring repository from http://cring.adeel.ru/

Language:ShellStargazers:27Issues:0Issues:0

qupzilla

Cross-platform Qt web browser

Language:C++License:GPL-3.0Stargazers:1118Issues:0Issues:0

progit2

Pro Git 2nd Edition

Language:CSSLicense:NOASSERTIONStargazers:5732Issues:0Issues:0

sml-redprl

The People's Refinement Logic

Language:Standard MLLicense:MITStargazers:227Issues:0Issues:0

coqoon

eclipse plugin to support side-by-side proofs and code

Language:ScalaStargazers:25Issues:0Issues:0

cs228-notes

Course notes for CS228: Probabilistic Graphical Models.

Language:SCSSLicense:MITStargazers:1881Issues:0Issues:0

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLicense:LGPL-2.1Stargazers:4739Issues:0Issues:0

FStar

A Proof-oriented Programming Language

Language:F*License:Apache-2.0Stargazers:2655Issues:0Issues:0

asdf

Extendable version manager with support for Ruby, Node.js, Elixir, Erlang & more

Language:ShellLicense:MITStargazers:21298Issues:0Issues:0