8000 mozert / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View mozert's full-sized avatar

Block or report mozert

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Stars

Showing results

reddit-archive / reddit

historical code from reddit.com

Python 16,915 2,870 Updated Oct 17, 2017

UniMath / 2006_03_Homotopy_lambda_calculus

Voevodsky's 2006 paper on homotopy lambda calculus

15 3 Updated Jan 11, 2015

davidlazar / ocaml-semantics

Formal semantics of OCaml

OCaml 10 3 Updated Oct 30, 2013

tomjridge / p4.archived

A "low-level" combinator parsing library for OCaml

OCaml 8 1 Updated Jun 10, 2016

CategoricalData / HoTT-categories

A category theory library built on top of Homotopy Type Theory, by Jason Gross

Coq 26 2 Updated Jan 10, 2014

UniMath / UniMath

This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.

Rocq Prover 986 179 Updated Jul 7, 2025

fpottier / loop

Coq 8 Updated May 26, 2025

LMMS / lmms

Cross-platform music production software

C++ 8,842 < 2A19 /path> 1,068 Updated Jul 8, 2025
0