vishallama
Software Engineer (Scala/ZIO/Rust), building distributed/concurrent applications. Interested in using formal verification methods in business applications.
USA
Pinned Repositories
algebra-chapter0
Solutions to exercises in the book 'Algebra - Chapter 0' by Paolo Aluffi.
bore
🕳 bore is a simple CLI tool for making tunnels to localhost
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
cpdt
Code and examples based on the book 'Certified Programming with Dependent Types' (version: June 30, 2016) by Adam Chlipala.
fpinscala
Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"
interactive_theorem_proving_and_program_development
Code and examples from the book 'Interactive Theorem Proving and Program Development' (Coq'Art book)
programming-in-scala-3rd-ed
Code examples from the book 'Programming in Scala' (3rd ed) by Martin Odersky, et al.
programming-in-standard-ml
Code examples from the book 'Programming in Standard ML' (2011) by Bob Harper.
vishallama's Repositories
vishallama/cats
Lightweight, modular, and extensible library for functional programming.
vishallama/coq-art
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
vishallama/docs-1
This repository contains .NET Documentation.
vishallama/dune
A composable build system for OCaml
vishallama/martin-lof
papers of Per Martin Löf
vishallama/zio
ZIO — A type-safe, composable library for async and concurrent programming in Scala
vishallama/fpinscala
Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"
vishallama/algorithms-exercises
Algorithms using JavaScript
vishallama/bitcoinbook
Mastering Bitcoin 2nd Edition - Programming the Open Blockchain
vishallama/cargo
The Rust package manager
vishallama/cs228-notes
Course notes for CS228: Probabilistic Graphical Models.
vishallama/docs.microsoft.com-nuget
Documentation repo for NuGet
vishallama/fabric
Read-only mirror of https://gerrit.hyperledger.org/r/#/admin/projects/fabric
vishallama/get-programming-with-scala-1
Code for the book "Get Programming with Scala" (Manning)
vishallama/GitInPractice
📖 An opinionated intermediate/advanced Git book
vishallama/gopl.io
Example programs from "The Go Programming Language"
vishallama/high-assurance-rust
A free book about developing secure and robust systems software.
vishallama/hugo-xmin
eXtremely Minimal Hugo theme: about 150 lines of code in total, including HTML and CSS
vishallama/lectures
Oxford Deep NLP 2017 course
vishallama/oorp-web
A migration project of the book "Object-oriented Reengineering Patterns"
vishallama/ponyo
Library and Toolkit for Standard ML
vishallama/practical-fm
A gently curated list of companies using verification formal methods in industry
vishallama/practical-tla-plus-1
Source Code for 'Practical TLA+' by Hillel Wayne
vishallama/pydantic
Data validation using Python type hints
vishallama/rust-by-example
Learn Rust with examples (Live code editor included)
vishallama/rustwasm-book
The Rust and WebAssembly Book
vishallama/shapeless-guide-code
Example code to accompany shapeless-guide.
vishallama/surrealdb
A scalable, distributed, collaborative, document-graph database, for the realtime web
vishallama/understandinges6
Content for the ebook "Understanding ECMAScript 6"
vishallama/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.