fredfeng/CS292C external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

fredfeng/CS292C

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/fredfeng/CS292C)

Close

fredfeng / CS292CView on GitHubMore

• External links
• Readme badge

☆27Jun 1, 2025Updated 9 months ago

Alternatives and similar repositories for CS292C

Users that are interested in CS292C are comparing it to the libraries listed below

• microsoft / torchy

  View on GitHub
  A tracing JIT for PyTorch
  ☆17Aug 29, 2022Updated 3 years ago
• fredrikNordvallForsberg / CS410-22

  View on GitHub
  being the teaching materials and exercises for CS410 Advanced Functional Programming at the University of Strathclyde, 2022/23 session
  ☆19Nov 22, 2022Updated 3 years ago
• uwsampl / sparsetir-artifact

  View on GitHub
  Repository for artifact evaluation of ASPLOS 2023 paper "SparseTIR: Composable Abstractions for Sparse Compilation in Deep Learning"
  ☆25Feb 24, 2023Updated 3 years ago
• vlab-cs-ucsb / ABC

  View on GitHub
  ☆29Feb 11, 2026Updated last month
• RMSnow / CS-Postgraduate

  View on GitHub
  Some materials about postgraduate recommendation, especially summer workshop.
  ☆12Apr 7, 2020Updated 5 years ago
• CodeLLM-Research / CodeJudge-Eval

  View on GitHub
  [COLING25] CodeJudge Eval: Can Large Language Models be Good Judges in Code Understanding?
  ☆12Dec 3, 2024Updated last year
• DSLsofMath / FLABloM

  View on GitHub
  Functional Linear Algebra with Block Matrices
  ☆11Feb 17, 2022Updated 4 years ago
• basic-calculus / hs-callbypushvalue

  View on GitHub
  Ever been so pissed you rewrote a 4500 line Java project into 300 lines of Haskell?
  ☆14Oct 4, 2020Updated 5 years ago
• serras / cat-theory-lambdaconf-wr-2017

  View on GitHub
  ☆10Jan 11, 2017Updated 9 years ago
• emina / rosette

  View on GitHub
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆687Nov 21, 2025Updated 4 months ago
• ai4reason / ATP_Proofs

  View on GitHub
  Interesting ATP Proofs
  ☆13Sep 3, 2021Updated 4 years ago
• yuchen814 / CodeHalu

  View on GitHub
  ☆19Aug 23, 2024Updated last year
• uw-unsat / serval-tutorial-sosp19

  View on GitHub
  ☆14Nov 11, 2019Updated 6 years ago
• asaparov / grammar

  View on GitHub
  Implementation of generative semantic grammar.
  ☆17Jun 2, 2022Updated 3 years ago
• multimodal-art-projection / IV-Bench

  View on GitHub
  ☆13Apr 23, 2025Updated 10 months ago
• takanuva / coc

  View on GitHub
  Calculus of Constructions
  ☆18Jul 17, 2019Updated 6 years ago
• thrust / cub

  View on GitHub
  THIS REPOSITORY HAS MOVED TO github.com/nvidia/cub, WHICH IS AUTOMATICALLY MIRRORED HERE.
  ☆11May 6, 2023Updated 2 years ago
• appleseedlab / maki

  View on GitHub
  A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs
  ☆12Aug 27, 2025Updated 6 months ago
• nju-websoft / PyCRE

  View on GitHub
  Conflict-aware Inference of Python Compatible Runtime Environments with Domain Knowledge Graph, ICSE 2022
  ☆14Dec 12, 2021Updated 4 years ago
• princeton-nlp / align-mlm

  View on GitHub
  ☆13Nov 30, 2022Updated 3 years ago
• clulab / scala-transformers

  View on GitHub
  Scala interfaces to huggingface transformers and tokenizers
  ☆13Updated this week
• lexi-lambda / heroku-buildpack-racket

  View on GitHub
  a Heroku buildpack for deploying apps written in Racket
  ☆27Apr 20, 2022Updated 3 years ago
• willieneis / ProBO

  View on GitHub
  ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language
  ☆15Jul 4, 2019Updated 6 years ago
• ulx3s / quick-start

  View on GitHub
  ULX3S Quick Start
  ☆23Oct 8, 2020Updated 5 years ago
• SmartAPI / smartAPI-Specification

  View on GitHub
  The OpenAPI Specification Repository
  ☆11Jul 12, 2023Updated 2 years ago
• rodrigogribeiro / apostila-discreta

  View on GitHub
  Material para Matemática Discreta
  ☆10Jul 31, 2016Updated 9 years ago
• nyuichi / LeanHOL

  View on GitHub
  super tiny implementation of higher-order logic proof assistant in lean
  ☆22Sep 29, 2019Updated 6 years ago
• siyan-sylvia-li / arxivParser

  View on GitHub
  ☆18Sep 21, 2023Updated 2 years ago
• cmu-delphi / covidcast-indicators

  View on GitHub
  Back end for producing indicators and loading them into the COVIDcast API.
  ☆12Feb 28, 2026Updated 3 weeks ago
• hgyhungry / ShflBW_Sparse_NN

  View on GitHub
  ☆16Nov 22, 2022Updated 3 years ago
• hackwa / pynqfire

  View on GitHub
  Python FIR Filter Package for Xilinx Pynq Board
  ☆30Apr 5, 2018Updated 7 years ago
• cflw / taichi_demo

  View on GitHub
  太极图形演示
  ☆12Feb 23, 2022Updated 4 years ago
• jyi2ya / pixpix

  View on GitHub
  A cli pixel art generator written in rust
  ☆15Jan 10, 2025Updated last year
• seclab-fudan / PDiff

  View on GitHub
  PDiff: Semantic-based Patch Presence Testing for Downstream Kernels
  ☆14Nov 8, 2020Updated 5 years ago
• km-clay / nixos-config

  View on GitHub
  My NixOS configurations and dotfiles
  ☆14Mar 10, 2026Updated last week
• rodrigogribeiro / unification

  View on GitHub
  Formalisation of a type unification algorithm in Coq proof assistant.
  ☆21Oct 9, 2018Updated 7 years ago
• ctongfei / unli

  View on GitHub
  Uncertain natural language inference
  ☆15Jun 12, 2023Updated 2 years ago
• rzrn / anders

  View on GitHub
  Anders: Cubical Type Checker
  ☆23Oct 23, 2023Updated 2 years ago
• ibeltagy / rrr

  View on GitHub
  Entailment rules extracted from RTE datasets using a modified Robinson Resolution algorithm
  ☆12Jun 8, 2015Updated 10 years ago