☆39Dec 7, 2021Updated 4 years ago
Alternatives and similar repositories for CLT21
Users that are interested in CLT21 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆35Jun 21, 2020Updated 6 years ago
- ☆11Jun 14, 2024Updated 2 years ago
- ☆19Nov 5, 2023Updated 2 years ago
- ☆14Jan 8, 2023Updated 3 years ago
- ☆14Jan 13, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆10Nov 20, 2023Updated 2 years ago
- ☆70Aug 26, 2026Updated last month
- Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)☆21Apr 27, 2023Updated 3 years ago
- ☆233Apr 18, 2025Updated last year
- KAIST. CS492 Algorithms for NP-hard Problems. Spring 2024.☆24Jun 4, 2024Updated 2 years ago
- ☆18Dec 13, 2019Updated 6 years ago
- [NeurIPS'21] RoMA: Robust Model Adaptation for Offline Model-based Optimization☆15Oct 28, 2021Updated 4 years ago
- 2025년 국민대학교 KPSC + AIM 스터디 - 강화학습을 이용한 체스 AI 만들기☆13Jun 22, 2025Updated last year
- Learn one, get them all for free☆12Jan 28, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆83Mar 2, 2026Updated 6 months ago
- A curated list for interpretable machine learning☆17Jan 4, 2019Updated 7 years ago
- Neovim client for coq-lsp☆32May 3, 2026Updated 4 months ago
- computational physics (Chungbuk National University, Korea)☆10May 26, 2022Updated 4 years ago
- ☆10Sep 10, 2022Updated 4 years ago
- ☆50Jun 7, 2018Updated 8 years ago
- Rocq framework to define the semantics of CPU architectures☆39Updated this week
- ☆14Feb 1, 2024Updated 2 years ago
- 🧮 Polynomial Calculator☆12Jan 3, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 🇰🇷 쉬운 전문용어 (Easy Korean Translations of CS Jargons)☆41Jun 21, 2026Updated 3 months ago
- ☆12May 30, 2024Updated 2 years ago
- Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler☆13Nov 17, 2022Updated 3 years ago
- Training vision models with full-batch gradient descent and regularization☆39Feb 14, 2023Updated 3 years ago
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆51Sep 25, 2024Updated 2 years ago
- ☆303Apr 23, 2026Updated 5 months ago
- ☆18Jun 10, 2022Updated 4 years ago
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆79Mar 31, 2026Updated 5 months ago
- Supporting code for the paper "Dangers of Bayesian Model Averaging under Covariate Shift"☆33Oct 19, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆28Aug 17, 2019Updated 7 years ago
- Verified graph rewriting (for dataflow circuits).☆29Updated this week
- Contrastive self-supervised learning using Rényi divergence☆14Oct 21, 2022Updated 3 years ago
- american fuzzy lop - a security-oriented fuzzer☆11Feb 25, 2026Updated 7 months ago
- A Lean-embedded framework to verify Verilog modules☆15Updated this week
- 《파이썬을 활용한 딥러닝 전이학습》 예제 코드☆18Nov 6, 2019Updated 6 years ago
- Code for the paper "What Makes Better Augmentation Strategies? Augment Difficult but Not too Different" (ICLR 22)☆12Aug 28, 2023Updated 3 years ago