vishallama Goto Github PK

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

hello-express

Simple Express app serving dynamic and static content.

hellonode-builtin

A minimal Fly example Node application for use in tutorials

high-assurance-rust

A free book about developing secure and robust systems software.

how_to_design_programs_2nd_ed

Code and solutions to exercises from the book 'How to Design Programs' (2nd ed)

hugo-xmin

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

interactive_theorem_proving_and_program_development

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

introducing-erlang

Notes and code from the book 'Introducing Erlang'.

jquery

jQuery JavaScript Library

kieranhealy.hugo

The source code to http://kieranhealy.org

lean

Lean Theorem Prover

lean4-metaprogramming-book

learn_ruby

a basic ruby class generated from test-first-teaching

lectures

Oxford Deep NLP 2017 course

lodash

A modern JavaScript utility library delivering modularity, performance, & extras.

martin-lof

papers of Per Martin Löf

mathematics_in_lean

The user home repository for the Mathematics in Lean tutorial.

mnml-ghost-theme

A minimal, responsive, fast ghost blog theme with great typography. Comes with Disqus comments, syntax highlighting, and KaTeX for mathematics, and more.

newconnect4

nodejsinaction

The Node.js in Action (Manning) code repository

openlogic

An open-source, customizable intermediate logic textbook

pairing_checkin

The sample repo to be used for our pairing checkin

paperback

Theme for Hugo static website engine

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

prep_basics

The repo students will push to as part of the final project in the Web Development Basics (http://vikingcodeschool.com/web-development-basics) unit of the prep curriculum

programming-in-scala

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