Alternatives and similar repositories for CS2051-HonorsDiscreteMath

Users that are interested in CS2051-HonorsDiscreteMath are comparing it to the libraries listed below

• datafruit-dev / achilles
  python walks. achilles runs.
  ☆64Updated last month
• ashwinktpu / StarPlat
  ☆21Updated 3 months ago
• irregular-rhomboid / EAI-Math-Reading-Group
  Resources from the EleutherAI Math Reading Group
  ☆53Updated 4 months ago
• wellecks / ntptutorial
  Tutorial on neural theorem proving
  ☆174Updated last year
• dshah3 / GPU-Puzzles
  Solve puzzles. Learn CUDA.
  ☆64Updated last year
• siboehm / ShallowSpeed
  Small scale distributed training of sequential deep learning models, built on Numpy and MPI.
  ☆134Updated last year
• yixiaoer / mistral-v0.2-jax
  JAX implementation of the Mistral 7b v0.2 model
  ☆35Updated 11 months ago
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆61Updated 11 months ago
• kimbochen / md-blogs
  A blog where I write about research papers and blog posts I read.
  ☆12Updated 7 months ago
• yacineMTB / just-large-models
  Just large language models. Hackable, with as little abstraction as possible. Done for my own purposes, feel free to rip.
  ☆44Updated last year
• modula-systems / modula
  🧱 Modula software package
  ☆200Updated 3 months ago
• HMUNACHI / nanodl
  A Jax-based library for building transformers, includes implementations of GPT, Gemma, LlaMa, Mixtral, Whisper, SWin, ViT and more.
  ☆288Updated 10 months ago
• pyember / ember
  ☆182Updated 2 months ago
• joey00072 / Tinytorch
  A really tiny autograd engine
  ☆94Updated last month
• mikaelhaji / n1-codec
  a highly efficient compression algorithm for the n1 implant (neuralink's compression challenge)
  ☆47Updated last year
• okarthikb / WikiGPT
  81M parameter custom GPT
  ☆8Updated last year
• sangmichaelxie / cs324_p2
  Project 2 (Building Large Language Models) for Stanford CS324: Understanding and Developing Large Language Models (Winter 2022)
  ☆105Updated 2 years ago
• JIceberg / grouch
  A registration aid for Oscar. Simple, effective, and customizable. No login necessary.
  ☆35Updated last year
• abacusai / gh200-llm
  Docker image NVIDIA GH200 machines - optimized for vllm serving and hf trainer finetuning
  ☆45Updated 4 months ago
• Sea-Snell / JAX_llama
  Inference code for LLaMA models in JAX
  ☆118Updated last year
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆164Updated 2 weeks ago
• namin / llm-verified-with-monte-carlo-tree-search
  LLM verified with Monte Carlo Tree Search
  ☆276Updated 2 months ago
• princeton-nlp / USACO
  Can Language Models Solve Olympiad Programming?
  ☆117Updated 5 months ago
• dcao / seascape
  A tool for understanding UCSD CAPE data.
  ☆26Updated 2 years ago
• abrandenberger / course-notes
  Sets of LaTex course notes taken for various Math/CS classes at McGill University: currently include MATH 240, MATH 247, MATH 323 and a r…
  ☆37Updated 4 years ago
• google-research-datasets / tpu_graphs
  ☆124Updated last year
• johnma2006 / candle
  Deep learning library implemented from scratch in numpy. Mixtral, Mamba, LLaMA, GPT, ResNet, and other experiments.
  ☆51Updated last year
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆64Updated 5 months ago
• gautierdag / bpeasy
  Fast bare-bones BPE for modern tokenizer training
  ☆158Updated this week
• srush / Autodiff-Puzzles
  ☆436Updated 8 months ago