jnlindsay

jnlindsay's Stars

• d2l-ai/d2l-en

  Interactive deep learning book with multi-framework code, math, and discussions. Adopted at 500 universities from 70 countries including Stanford, MIT, Harvard, and Cambridge.

  Language:Python24.1k4.4k

• jnlindsay/pytorch-experiments

  Language:Jupyter Notebook1

• zhaoyu-li/DL4TP

  [COLM 2024] A Survey on Deep Learning for Theorem Proving

  13810

• JADekker/LeanBourbaki

  Formalisation of N. Bourbaki, Topologie Générale in Lean4.

  Language:Lean5

• PatrickMassot/leanblueprint

  plasTeX plugin to build formalization blueprints.

  Language:Python17329

• plastex/plastex

  plasTeX is a Python package that processes LaTeX documents into an XML-DOM-like object which can be used to generate various types of output.

  Language:Python30079

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.8k428

• leanprover-community/mathlib4

  The math library of Lean 4

  Language:Lean1.6k343

• SReichelt/slate-hlm

  HLM mathematical library for the Slate interactive theorem prover

  Language:Shell42

• cpitclaudel/alectryon

  A collection of tools for writing technical documents that mix Coq code and prose.

  Language:HTML23734

• imagine-hussain/leetcode

  Language:C++4

• krevis/MIDIApps

  MIDI apps for Mac OS X: MIDI Monitor and SysEx Librarian.

  Language:Swift715112

• dclelland/Gong

  Gong is a MIDI library for iOS and macOS.

  Language:Swift8516

• stacks/stacks-project

  Repository for the Stacks Project

  Language:TeX862153

• d3/d3

  Bring data to life with SVG, Canvas and HTML. :bar_chart::chart_with_upwards_trend::tada:

  Language:Shell109k22.9k

• TheCherno/Hazel

  Hazel Engine

  Language:C++11.8k1.5k

• ssloy/tinyrenderer

  A brief computer graphics / rendering course

  Language:C++20.7k2k

• SaschaWillems/Vulkan

  C++ examples for the Vulkan graphics API

  Language:GLSL10.4k2k