☆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
- ☆70Jun 11, 2026Updated 2 months ago
- ☆58Updated this week
- ☆17Nov 10, 2025Updated 9 months ago
- ☆11Jan 2, 2026Updated 7 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!☆187Apr 14, 2026Updated 4 months ago
- Repository for Deep Learning Theory papers☆15Jan 24, 2024Updated 2 years ago
- Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)☆21Apr 27, 2023Updated 3 years ago
- KAIST. CS492 Algorithms for NP-hard Problems. Spring 2024.☆24Jun 4, 2024Updated 2 years ago
- ☆19Dec 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
- Support for language highlighting of KECC(KAIST Educational C Compiler) IR☆12May 17, 2022Updated 4 years ago
- KAIST CS420: Compiler Design☆566Apr 3, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- AMUSE optimizer implementation☆35Jul 14, 2026Updated last month
- ☆82Mar 2, 2026Updated 5 months ago
- A curated list for interpretable machine learning☆17Jan 4, 2019Updated 7 years ago
- SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes☆48Jun 5, 2026Updated 2 months ago
- Neovim client for coq-lsp☆32May 3, 2026Updated 3 months ago
- A simple package to format Backus-Naur form☆18May 24, 2026Updated 2 months ago
- ☆19Apr 28, 2021Updated 5 years ago
- ☆15Sep 29, 2022Updated 3 years ago
- ☆10Sep 10, 2022Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆50Jun 7, 2018Updated 8 years ago
- Rocq framework to define the semantics of CPU architectures☆38Updated this week
- ☆16Oct 18, 2024Updated last year
- 🧮 Polynomial Calculator☆12Jan 3, 2023Updated 3 years ago
- Code for fair classification (SVM) and dimensionality reduction (PCA)☆11Nov 14, 2018Updated 7 years ago
- BoSy is a reactive synthesis tool based on constraint-solving☆22Aug 3, 2023Updated 3 years ago
- 🇰🇷 쉬운 전문용어 (Easy Korean Translations of CS Jargons)☆41Jun 21, 2026Updated last month
- Euphony: a probabilistic model-guided program synthesizer☆27Nov 21, 2022Updated 3 years ago
- Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler☆13Nov 17, 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.
- Training vision models with full-batch gradient descent and regularization☆40Feb 14, 2023Updated 3 years ago
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆51Sep 25, 2024Updated last year
- ☆301Apr 23, 2026Updated 3 months ago
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆77Mar 31, 2026Updated 4 months ago
- equation discovery based on generative models☆22Apr 10, 2025Updated last year
- A minimal esolang based on lambda calculus☆16Jan 13, 2021Updated 5 years ago
- Jump to better conclusions: SCAN both left and right☆11Jan 24, 2019Updated 7 years ago