Advanced NLP, Fall 2025 https://cmu-l3.github.io/anlp-fall2025/
☆61Jan 18, 2026Updated 3 months ago
Alternatives and similar repositories for anlp-fall2025-code
Users that are interested in anlp-fall2025-code are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Neural theorem proving evaluation via the Lean REPL☆23Jul 12, 2025Updated 9 months ago
- LLMs + Lean, on your laptop or in the cloud☆207Oct 10, 2025Updated 6 months ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- Neural theorem proving tutorial, version II☆40Apr 26, 2024Updated 2 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Repository for "Scaling Evaluation-time Compute with Reasoning Models as Process Evaluators"☆12Mar 25, 2025Updated last year
- ☆13May 10, 2025Updated 11 months ago
- Advanced NLP, Spring 2025 https://cmu-l3.github.io/anlp-spring2025/☆75Mar 28, 2025Updated last year
- NeurIPS 2024 tutorial on LLM Inference☆49Dec 10, 2024Updated last year
- ☆17Aug 5, 2025Updated 9 months ago
- ☆21Dec 3, 2025Updated 5 months ago
- ☆61Dec 1, 2025Updated 5 months ago
- minimal Energy-based transformer☆43Dec 11, 2025Updated 4 months ago
- documentation used in my projects☆19Updated this week
- 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.
- A wrapper around libssh2 for .NET☆30Jan 21, 2026Updated 3 months ago
- ☆22Jan 14, 2026Updated 3 months ago
- This repo documents my workflows and stack to run comfy ui GenANI assist under windows☆36Apr 26, 2026Updated last week
- [NeurIPS 2025, Spotlight]: Ambient-o: Training Good models with Bad Data.☆34Apr 6, 2026Updated 3 weeks ago
- Real-time webcam demo with SmolVLM(mlx-community/SmolVLM-Instruct-4bit) and MLX-VLM☆26Jun 12, 2025Updated 10 months ago
- A powerful, interactive Python CLI for converting, manipulating, and inspecting media files using FFmpeg 🎬☆20Apr 12, 2026Updated 3 weeks ago
- Raptor is a modern, fast, and easy-to-use system for building disk images, bootable isos, containers and much more, from a simple, Docker…☆40Feb 10, 2026Updated 2 months ago
- Compare AI model pricing and performance in a simple interactive web app.☆18Apr 25, 2026Updated last week
- ☆13Aug 13, 2025Updated 8 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- [NeurIPS 2025] Beyond Masked and Unmasked: Discrete Diffusion Models via Partial Masking☆30Mar 18, 2026Updated last month
- key/value store for Python based on Cloudflare workers☆33Jun 13, 2025Updated 10 months ago
- Simple application for tracking and managing a home schooling program.☆40Sep 13, 2025Updated 7 months ago
- ArterialNet reconstructs arterial blood pressure (ABP) waveform☆13Feb 24, 2025Updated last year
- ☆49Mar 30, 2026Updated last month
- Camera app drawn on SkiaSharp canvas with real-time SKSL shaders. Built-in desktop shader editor. Made with DrawnUI for .NET MAUI.☆26Apr 21, 2026Updated last week
- A modular, privacy-minded translation extension for browsers☆28Updated this week
- Docker/podman container for llama.cpp/vllm/exllamav{2,3} orchestrated using llama-swap☆18Apr 10, 2026Updated 3 weeks ago
- ☆17Jul 1, 2025Updated 10 months 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.
- Внедрение в инструменты BPM (Business Process Management software tools моделирования верхнеуровневых и детальных процессов) и EA (от биз…☆17Feb 28, 2026Updated 2 months ago
- A collection of type-safe, async friendly, and un-opinionated enhancements to SQLAlchemy Core that works well with mordern web servers☆35Dec 12, 2025Updated 4 months ago
- 🔥 Learn Svelte starter☆31Nov 3, 2025Updated 6 months ago
- A Haskell-like fp library with the darkest energy☆19Sep 4, 2025Updated 8 months ago
- CLI for the Py++ programming language☆26Apr 8, 2026Updated 3 weeks ago
- Compare Naive Bayes, SVM, XGBoost, Bagging, AdaBoost, K-Nearest Neighbors, Random Forests for classification of Malaria Cells☆11Jun 5, 2019Updated 6 years ago
- A truly open version of gpt-oss which shows the entire pre-training from scratch☆89Sep 4, 2025Updated 8 months ago