analytic-bias

analytic-bias's Stars

• be5invis/Iosevka

  Versatile typeface for code, from code.

  Language:JavaScript19.5k1941.9k589

• wuye9036/CppTemplateTutorial

  中文的C++ Template的教学指南。与知名书籍C++ Templates不同，该系列教程将C++ Templates作为一门图灵完备的语言来讲授，以求帮助读者对Meta-Programming融会贯通。(正在施工中)

  Language:C++9.8k523451.6k

• rossant/awesome-math

  A curated list of awesome mathematics resources

  Language:Python9k23421964

• matze/mtheme

  A modern LaTeX Beamer theme

  Language:TeX6.5k128277845

• HackerPoet/NonEuclidean

  A Non-Euclidean Rendering Engine for 3D scenes.

  Language:C++6.1k18655579

• ElegantLaTeX/ElegantBook

  Elegant LaTeX Template for Books

  Language:TeX2.1k40220402

• yishn/tikzcd-editor

  A simple visual editor for creating commutative diagrams.

  Language:JavaScript1.9k2949101

• HoTT/Coq-HoTT

  A Coq library for Homotopy Type Theory

  Language:Coq1.3k60596194

• WolframResearch/Arrival-Movie-Live-Coding

  Documents from a live coding session by Christopher Wolfram related to content from the 2016 film Arrival

  Language:Mathematica999852136

• UniMath/UniMath

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

  Language:Coq96657525173

• stacks/stacks-project

  Repository for the Stacks Project

  Language:TeX863550153

• JakeWheat/intro_to_parsing

  Introduction to parsing with Haskell and Parsec

  Language:Haskell50316535

• KristallWang/Transgender-lost-years

  We lost the year of grow from a little girl to a woman. We lost teen-years. So, we have to learn.

  356342251

• primaryobjects/voice-gender

  Gender recognition by voice and speech analysis

  Language:R3513720102

• lambdabot/lambdabot

  A friendly IRC bot and apprentice coder, written in Haskell.

  Language:Haskell1651112870

• ProofSystem/Encyclopedia

  An Open Encyclopedia of Proof Systems

  Language:TeX117213837

• KristallWang/tiancaifancheshaonv

  《天才翻车少女》企划：五大学科+CNAO竞赛参赛选手中都有一群MtF，大家是如何翻车的呢，又经历了什么故事呢，欢迎大家分享自己的故事，凑成一本《天才翻车少女》

  98933

• wuliwiki/PhysWiki-log

  小时百科

  Language:TeX81369

• lazierthanthou/Lecture_Notes_GR

  Lecture Notes on General Relativity, based on lectures by Dr. Frederic P. Schuller in 2015

  Language:TeX726129

• samuelgruetter/dot-calculus

  Formalization of the Dependent Object Types (DOT) calculus

  Language:Coq62509

• bccharts/latin-conjugations

  Latin conjugation charts.

  48428

• Z-Shang/LICPP

  Lisp Flavoured C++

  Language:C++29630

• hackmud-unofficial/documentation

  Hackmud documentation

  Language:JavaScript28611

• oovm/Deus

  Mathematica Game Package

  Language:Mathematica26441

• QinxiangCao/UnifySL

  Language:Coq24205

• serras/sf-exercises

  Language:Coq12209

• Dih5/TgBot

  Package to implement bots in Mathematica using the Telegram API.

  Language:Mathematica11422

• sighingnow/amazing-coq

  WHAT I have done on the road to Coq language and certified programming.

  Language:Coq8102

• dpiponi/forms

  A short text on differential forms

  730

• Glavo/Hascalator

  Language:Scala3