a experiment to implement HM type system on Racket/scheme
☆13Dec 20, 2019Updated 6 years ago
Alternatives and similar repositories for Tscheme
Users that are interested in Tscheme are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A toy scanner and parser for C language☆17Dec 30, 2019Updated 6 years ago
- SGLang wheels for multiple platforms☆11Oct 13, 2025Updated last year
- Open-source strong baseline for domain generlization re-ID. We will udpate the strong baseline and CFD method~☆10Nov 30, 2021Updated 4 years ago
- ☆13Nov 22, 2022Updated 3 years ago
- ☆16Sep 25, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- SylvaDeck is an agent-native presentation workbench for turning structured thinking into editable decks. A local-first, HTML-based AI pre…☆18May 3, 2026Updated 6 months ago
- ☆15Nov 21, 2020Updated 5 years ago
- Fast and memory-efficient exact attention☆23Oct 27, 2026Updated last week
- [COLM 2024] SKVQ: Sliding-window Key and Value Cache Quantization for Large Language Models☆25Oct 5, 2024Updated 2 years ago
- Implement DeViSE: A Deep Visual-Semantic Embedding Model☆18Jan 15, 2018Updated 8 years ago
- ☆28Jun 8, 2026Updated 4 months ago
- Efficient and unified implementations for TopK-based sparse attention☆41Jul 10, 2026Updated 3 months ago
- Code related to the Neural-Swarm (ICRA 2020, Journal) papers☆29Mar 23, 2022Updated 4 years ago
- ☆37Aug 7, 2025Updated last year
- 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.
- [COLM 2025] DFRot: Achieving Outlier-Free and Massive Activation-Free for Rotated LLMs with Refined Rotation; 知乎：https://zhuanlan.zhihu.c…☆30Mar 5, 2025Updated last year
- My neovim config☆23Apr 14, 2026Updated 6 months ago
- Quantized Attention on GPU☆45Nov 22, 2024Updated last year
- Automated CUDA kernel performance diagnostics from NVIDIA Nsight Compute (NCU) CSV exports.☆35Mar 18, 2026Updated 7 months ago
- LLM Inference with Microscaling Format☆35Nov 12, 2024Updated last year
- ☆31May 24, 2023Updated 3 years ago
- A reinforcement learning framework with verifiable aesthetic rewards for improving aesthetic slide generation capabilities in LLM agents.…☆32May 19, 2026Updated 5 months ago
- Official PyTorch Implementation of FREE (ICCV'21)☆34Sep 7, 2022Updated 4 years ago
- The source code for our work "Towards better Validity: Dispersion based Clustering for unsupervised Person Re-identification"☆32Jun 15, 2019Updated 7 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 北京航空航天大学 数理统计 课程学习☆252Dec 4, 2020Updated 5 years ago
- Enabling Mixed Opponent Strategy Script and Self-play on SMAC☆43Aug 9, 2026Updated 2 months ago
- Source code and documents for course BUAA Software Engineering Embedded 2021. 北航计算机学院2021春季学期嵌入式软件工程代码与文档.☆30Jun 2, 2022Updated 4 years ago
- [ECCV24] MixDQ: Memory-Efficient Few-Step Text-to-Image Diffusion Models with Metric-Decoupled Mixed Precision Quantization☆50Nov 27, 2024Updated last year
- Repository of the paper "Generalizing Person Re-Identification by Camera-Aware Instance Learning and Cross-Domain Mixup"☆40Aug 26, 2020Updated 6 years ago
- ☆38Dec 10, 2020Updated 5 years ago
- ☆65Apr 26, 2025Updated last year
- Zero Shot Learning with Feature Generating Networks☆39Sep 13, 2021Updated 5 years ago
- FastCache: Fast Caching for Diffusion Transformer Through Learnable Linear Approximation [Efficient ML Model]☆53Aug 2, 2026Updated 3 months 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.
- a size profiler for cuda binary☆74Oct 3, 2026Updated last month
- An efficient open-source AutoML system for automating machine learning lifecycle, including feature engineering, neural architecture sear…☆61Jan 26, 2022Updated 4 years ago
- Code for data-aware compression of DeepSeek models☆75Dec 11, 2025Updated 10 months ago
- Attentive Region Embedding Network for Zero-shot Learning (CVPR 2019)☆58Jul 4, 2019Updated 7 years ago
- 使用 cutlass 仓库在 ada 架构上实现 fp8 的 flash attention☆82Aug 12, 2024Updated 2 years ago
- This repository contains the code and data for the paper "Chaining the Evidence: Robust Reinforcement Learning for Deep Search Agents wit…☆77Apr 8, 2026Updated 6 months ago
- ☆92Jan 23, 2025Updated last year