vishallama

bore

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

cats

Lightweight, modular, and extensible library for functional programming.

coq-art

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

docs-1

This repository contains .NET Documentation.

dune

A composable build system for OCaml

martin-lof

papers of Per Martin Löf

zio

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

fpinscala

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

bitcoinbook

Mastering Bitcoin 2nd Edition - Programming the Open Blockchain

cargo

The Rust package manager

categorical-systems-theory

cs228-notes

Course notes for CS228: Probabilistic Graphical Models.

docs.microsoft.com-nuget

Documentation repo for NuGet

fabric

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

get-programming-with-scala-1

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

GitInPractice

📖 An opinionated intermediate/advanced Git book

gopl.io

Example programs from "The Go Programming Language"

high-assurance-rust

A free book about developing secure and robust systems software.

hugo-xmin

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

lectures

Oxford Deep NLP 2017 course

ponyo

Library and Toolkit for Standard ML

practical-fm

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

practical-tla-plus-1

Source Code for 'Practical TLA+' by Hillel Wayne

rust-by-example

Learn Rust with examples (Live code editor included)

rustwasm-book

The Rust and WebAssembly Book

shapeless-guide-code

Example code to accompany shapeless-guide.

surrealdb

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

SymmetryBook

This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

understandinges6

Content for the ebook "Understanding ECMAScript 6"

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.