vishallama Goto Github PK

effect-oriented-programming-book

Effect-Oriented Programming: Creating Reliable Systems with Scala 3 and ZIO 2

electrum2

Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

ent

Elementary Number Theory: Primes, Congruences, and Secrets

eopl3

EoPL3 exercises

erlang-programming-exercises

Code and solutions from the book 'Erlang Programming' (1st ed.)

erlangprogramming

The source code of the Erlang Programming book by Francesco Cesarini and Simon Thompson, published by O'Reilly Media

essentials-of-compilation

A book about compiling Racket and Python to x86-64 assembly

ethereumbook

Mastering Ethereum, by Andreas M. Antonopoulos, Gavin Wood

etudes-for-erlang

Companion exercises for O'Reilly Media's "Introducing Erlang"

etudes-for-erlang-solutions

Solutions to exercises from the book 'Etudes for Erlang'.

examples

All the examples in Real World OCaml

expert-fsharp-4.0

Code examples from the book 'Expert F# 4.0' (4th ed.)

fabric

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

fds_ss20

Lecture course on verified Functional Data Structures

first-edition

The book's repo

forallx-yyc

UCalgary version of forallx

formal-methods-alloy-feup-course

Materials from the Formal Methods for Critical Systems course at FEUP.

fp101x-content

FP101x - Functional Programming MOOC Content

fpinscala

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

frap

Formal Reasoning About Programs

frdomain

Code repo for Functional and Reactive Domain Modeling

fullstack-course1-module2

fullstack-course1-module3

get-programming-with-scala-1

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

gitignore

A collection of useful .gitignore templates

gitinpractice

📖 An opinionated intermediate/advanced Git book

gitinpracticeredux

👩🏼‍💻 A repository created by working through the examples in @GitInPractice

gopl.io

Example programs from "The Go Programming Language"

gulp-tutorial

A tutorial for using Gulp as a build system for (frontend) software projects.

haskell-mooc

Haskell MOOC University of Helsinki