vishallama

Pinned Repositories

• algebra-chapter0

  Solutions to exercises in the book 'Algebra - Chapter 0' by Paolo Aluffi.

  Language:TeX5200

• bore

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

  Language:Rust1000

• 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.

  Language:TeX1101

• cats

  Lightweight, modular, and extensible library for functional programming.

  Language:Scala1100

• 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

  Language:Coq0100

• cpdt

  Code and examples based on the book 'Certified Programming with Dependent Types' (version: June 30, 2016) by Adam Chlipala.

  Language:Coq0100

• fpinscala

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

  Language:Scala0100

• interactive_theorem_proving_and_program_development

  Code and examples from the book 'Interactive Theorem Proving and Program Development' (Coq'Art book)

  Language:Coq2101

• programming-in-scala-3rd-ed

  Code examples from the book 'Programming in Scala' (3rd ed) by Martin Odersky, et al.

  Language:Scala81010

• programming-in-standard-ml

  Code examples from the book 'Programming in Standard ML' (2011) by Bob Harper.

  Language:Standard ML3101

vishallama's Repositories