vishallama Goto Github PK

followers: 18.0 following: 69.0 repos: 154.0 gists: 4.0

Name: Vishal Lama

Type: User

Bio: Software Engineer (Scala/ZIO/Rust), building distributed/concurrent applications. Interested in using formal verification methods in business applications.

Location: USA

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

Vishal Lama's Projects

assignment_viking_store

The Viking Store e-commerce application for Viking Commerce Inc

awesome-jekyll

A collection of awesome Jekyll goodies (tools, templates, plugins, guides, etc.)

beginningfsharp4-0

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

bitcoinbook

Mastering Bitcoin 2nd Edition - Programming the Open Blockchain

bootstrap

The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.

bootzooka

Simple project to quickly start developing a web application using AngularJS and Akka HTTP, without the need to write login, user registration etc.

bore

🕳 bore is a simple CLI tool for making tunnels to localhost

caffeine-theme

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

categories-and-categorical-logic

Some notes and solutions to exercises from the lecture notes 'Introduction to Categories and Categorical Logic' by Sam Abramsky and Nikos Tzevelekos.

cats

Lightweight, modular, and extensible library for functional programming.

coinductive-types

Code and examples based on the tutorial 'A Tutorial on [Co-]Inductive Types in Coq' by Eduardo Giménez and Pierre Castéran

computational-category-theory

Notes and code based on the book 'Computational Category Theory'.

concrete-semantics

Code and solutions to exercises from the book 'Concrete Semantics' (Feb 2016)

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.