Skip to content
View vishallama's full-sized avatar

Block or report vishallama

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

40 stars written in TeX
Clear filter

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

TeX 11,557 636 Updated Apr 8, 2026

Posit Cheat Sheets - Can also be found at https://posit.co/resources/cheatsheets/.

TeX 6,332 1,941 Updated Apr 6, 2026

Advanced R: a book

TeX 2,457 1,697 Updated Mar 13, 2025

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

TeX 1,562 163 Updated Oct 30, 2025

A free book: "The Science of Functional Programming"

TeX 1,480 100 Updated Mar 11, 2026

papers of Per Martin Löf

TeX 816 71 Updated Jan 30, 2024

The Type Astronaut's Guide to Shapeless

TeX 761 70 Updated Feb 11, 2019

Efficient R programming: a book

TeX 741 383 Updated Feb 27, 2025

LaTeX package and annotated examples for annotating equations using TikZ.

TeX 575 26 Updated Oct 9, 2024

amateur translation project of Grothendieck's EGA.

TeX 384 42 Updated Oct 15, 2025

Repository for the textbook 'Improving Your Statistical Inferences' by Daniel Lakens

TeX 305 89 Updated Mar 17, 2026

Engineering Production-Grade Shiny Apps — Published in the R Series

TeX 248 111 Updated Nov 26, 2025

A version of the 1997 SML definition with corrections and some proposed Successor ML features added.

TeX 206 10 Updated Aug 15, 2024

LaTeX code for a paper on lean's type theory

TeX 164 6 Updated Aug 2, 2022

Agda lecture notes for the Functional Programming course at TU Delft

TeX 133 17 Updated Mar 3, 2026

UCalgary version of forallx, an introduction to formal logic

TeX 119 42 Updated Dec 18, 2025

Elementary Number Theory: Primes, Congruences, and Secrets

TeX 113 38 Updated Aug 5, 2023

A tutorial to the Idris Programming Language.

TeX 96 25 Updated Dec 16, 2015

Learning Object-Oriented Programming with Pharo

TeX 73 23 Updated Feb 19, 2026

Lecture notes from Cambridge maths

TeX 73 19 Updated Feb 1, 2024

Open source LaTeX of Pharo By Example

TeX 67 18 Updated Mar 24, 2015

Modeling and Programming with Gecode

TeX 50 10 Updated Feb 18, 2026

Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS) 2023

TeX 49 6 Updated Dec 22, 2025

Starter template for a scientific book written in LaTeX with scripts for producing PDF, HTML, ePub, mobi, et al. formats.

TeX 46 6 Updated Apr 7, 2022

Object-Oriented Reengineering Patterns

TeX 38 9 Updated Jun 16, 2023

Dynamic Web Development with Seaside

TeX 25 4 Updated Jul 20, 2025

Quarto template for a nice scholarly PDF format

TeX 18 6 Updated Feb 3, 2026

All code and content for my blog.

TeX 15 7 Updated Sep 23, 2018
Next