Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View Xarpet's full-sized avatar

Highlights

  • Pro

Block or report Xarpet

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 supported. This note will be visible to only you.
Report abuse

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

Report abuse
Showing results

Free, no-nonsense, super fast blogging.

CSS 4,484 146 Updated Dec 19, 2025

Graphic notes on Gilbert Strang's "Linear Algebra for Everyone"

PostScript 20,974 2,519 Updated Jun 30, 2025

Parsnp was designed to align the core genome of hundreds to thousands of bacterial genomes within a few minutes to few hours. Input can be both draft assemblies and finished genomes, and output inc…

C++ 148 27 Updated Oct 2, 2025

Public quant internship repository, maintained by NUFT but available for everyone.

OCaml 1,877 132 Updated Oct 19, 2025

A site displaying Rice University's O-week family tree .

TypeScript 6 1 Updated Oct 3, 2025

Haskell library for building declarative animations based on SVG graphics

Haskell 1,170 66 Updated Feb 6, 2025

a light & inspirational theme for typora

CSS 121 14 Updated Jun 21, 2024

An interactive guide to the game theory of cooperation

JavaScript 6,101 975 Updated Nov 14, 2021
C++ 1,360 65 Updated Sep 13, 2022
HTML 1 Updated Mar 14, 2022

HoTTEST Summer School materials

TeX 318 75 Updated Jun 3, 2025

My slides and notes

Agda 139 6 Updated May 31, 2023

Cartesian Cubical Type Theory

Agda 71 4 Updated Mar 1, 2021

Collection of Summer 2026 tech internships!

42,744 3,132 Updated Dec 20, 2025

A UCI-compatible chess engine, written in Rust. Currently in developlent.

Rust 27 1 Updated Apr 23, 2024

Proving Ground: Tools for Automated Mathematics

Jupyter Notebook 205 38 Updated Sep 5, 2021

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

HTML 434 26 Updated Dec 16, 2025
C++ 33 6 Updated Nov 2, 2020

A Haskell Chess Engine.

Haskell 3 Updated Jun 21, 2022

A Haskell client for the Selenium WebDriver protocol.

Haskell 200 73 Updated Sep 16, 2025

This guide is what I did to get all 7 of my internships during my 4 years at university.

36 1 Updated Feb 10, 2023

算法面试必备,推荐刷题网站www.lintcode.com。北大学霸的《LeetCode刷题模板》+V领取: jiuzhangfeifei

3,353 796 Updated Sep 8, 2022

🎓 Path to a free self-taught education in Computer Science!

HTML 199,281 24,789 Updated Aug 23, 2025

数据结构 浙大MOOC

C 483 92 Updated May 21, 2020

C++那些事

C++ 42,641 8,813 Updated Jun 14, 2024