vishallama

User data from Github https://github.com/vishallama

followers

following

stars

USA

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

Vishal Lama's repositories

cats

Lightweight, modular, and extensible library for functional programming.

Language:ScalaNOASSERTION1 10

coq-art

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

Language:CoqMIT100

docs-1

This repository contains .NET Documentation.

Language:DockerfileCC-BY-4.01 10

dune

A composable build system for OCaml

Language:OCamlMIT1 10

martin-lof

papers of Per Martin Löf

Language:TeX1 10

zio

ZIO — A type-safe, composable library for async and concurrent programming in Scala

Language:ScalaApache-2.01 10

fpinscala

Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"

Language:ScalaMIT010

algorithms-exercises

Algorithms using JavaScript

Language:JavaScript000

bitcoinbook

Mastering Bitcoin 2nd Edition - Programming the Open Blockchain

Language:HTMLNOASSERTION010

cargo

The Rust package manager

Language:RustApache-2.0010

cs228-notes

Course notes for CS228: Probabilistic Graphical Models.

Language:SCSSMIT010

docs.microsoft.com-nuget

Documentation repo for NuGet

Language:PowerShellMIT010

fabric

Read-only mirror of https://gerrit.hyperledger.org/r/#/admin/projects/fabric

Language:GoApache-2.0010

get-programming-with-scala-1

Code for the book "Get Programming with Scala" (Manning)

Language:ScalaMIT010

GitInPractice

📖 An opinionated intermediate/advanced Git book

NOASSERTION010

gopl.io

Example programs from "The Go Programming Language"

Language:Go010

high-assurance-rust

A free book about developing secure and robust systems software.

Language:Rust010

hugo-xmin

eXtremely Minimal Hugo theme: about 150 lines of code in total, including HTML and CSS

Language:HTMLMIT010

lectures

Oxford Deep NLP 2017 course

010

oorp-web

A migration project of the book "Object-oriented Reengineering Patterns"

000

ponyo

Library and Toolkit for Standard ML

Language:Standard MLBSD-2-Clause010

practical-fm

A gently curated list of companies using verification formal methods in industry

010

practical-tla-plus-1

Source Code for 'Practical TLA+' by Hillel Wayne

Language:TLANOASSERTION010

pydantic

Data validation using Python type hints

Language:PythonMIT000

rust-by-example

Learn Rust with examples (Live code editor included)

Language:HandlebarsApache-2.0010

rustwasm-book

The Rust and WebAssembly Book

Language:HandlebarsMIT010

shapeless-guide-code

Example code to accompany shapeless-guide.

Language:ScalaApache-2.0010

surrealdb

A scalable, distributed, collaborative, document-graph database, for the realtime web

Language:RustNOASSERTION010

understandinges6

Content for the ebook "Understanding ECMAScript 6"

010

zio2Scala3

Scala 3 and ZIO 2 example project with support for Quill (for PostgreSQL connectivity) and OrientDB (Multi-model database with Graph and JSON support) and ZIO logging, metric and ZioHttp.

Language:Scala010