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:
- ☆12Sep 11, 2024Updated last year
- 将北航课表导入到各个平台的系统日历中☆10Mar 5, 2020Updated 6 years ago
- Project3-CUDA-Path-Tracer☆11Oct 10, 2016Updated 9 years ago
- Optix/CUDA based photon mapping☆14Dec 16, 2016Updated 9 years ago
- Unity project in which I experiment with new shader techniques☆17Feb 15, 2020Updated 6 years ago
- 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.
- GroverZhu's Blog☆10Sep 6, 2023Updated 2 years ago
- Open-source strong baseline for domain generlization re-ID. We will udpate the strong baseline and CFD method~☆10Nov 30, 2021Updated 4 years ago
- ☆25Jul 10, 2025Updated 8 months ago
- A pipeline for 3D face recognition(FR), including data preprocessing, feature extraction and face recognition. Suit for consumer RGB-D ca…☆21Apr 29, 2019Updated 6 years ago
- Code related to the publication Correlated Photon Mapping for Interactive Global Illumination of Time-Varying Volumetric Data by Daniel J…☆18Sep 14, 2023Updated 2 years ago
- IEEE ISBI 2022 paper: CEUSegNet: A Cross-Modality Lesion Segmentation Network for Contrast-Enhanced Ultrasound.☆10Mar 2, 2023Updated 3 years ago
- ☆17Aug 3, 2018Updated 7 years ago
- Improving Few-Shot Learning with Auxiliary Self-Supervised Pretext Tasks☆13Feb 24, 2021Updated 5 years ago
- 全景拼接图片☆21Feb 14, 2017Updated 9 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- The Min language☆102Jul 18, 2014Updated 11 years ago
- a fusion of Hector SLAM 2d map construction and depth camera's pointcloud data☆19Apr 4, 2019Updated 6 years ago
- [EXPERIMENTAL] A Powerful, Beautiful, Programmable and Rich Graph Editor for Students, Data Scientists, Mathematicians and anyone who wan…☆36Jan 18, 2021Updated 5 years ago
- Use Python to Manage Windows Route Table with IP Helper Functions（iphlpapi.dll）☆14Oct 17, 2016Updated 9 years ago
- Applying 3D CNN for bio-medical images segmentation with 3D-Unet, Residual 3D-Unet and Recurrent Residual 3D-Unet (R2U3D) implemented in …☆22Jul 12, 2022Updated 3 years ago
- ☆38Aug 7, 2025Updated 7 months ago
- Zero-code LLM security & observability proxy. Real-time prompt injection detection, PII scanning, and cost control for OpenAI-compatible …☆42Updated this week
- ☆24Updated this week
- ☆15Nov 21, 2020Updated 5 years 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.
- Gradient-domain Volumetric Photon Density Estimation, SIGGRAPH 2018☆40Apr 24, 2023Updated 2 years ago
- pytorch implementation of PRNet, with weight transfered☆46Mar 6, 2019Updated 7 years ago
- The ParSeMiS project (Parallel and Sequential Graph Mining Suite) searches for frequent, interesting substructures in graph databases. ht…☆46Mar 19, 2020Updated 6 years ago
- A template ROS2 C++ node to test a PCL Pointcloud2 processing☆18Jun 27, 2022Updated 3 years ago
- Implement DeViSE: A Deep Visual-Semantic Embedding Model☆18Jan 15, 2018Updated 8 years ago
- Build event-trigger based automation across your SaaS tools☆17Oct 3, 2023Updated 2 years ago
- This a query auto-completion system can be used in any searching scenario☆22Mar 23, 2018Updated 8 years ago
- Distributed consensus system with Map interface based on Apache Ratis☆27Nov 27, 2023Updated 2 years ago
- GitHub development on VFSForGit [please fork upstream microsoft/VFSForGit repository instead of this one]☆22Apr 21, 2022Updated 3 years ago
- 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.
- MCP server for controlling a real iPhone via macOS iPhone Mirroring...and any MacOs app. Screenshot, tap, swipe, type — from any MCP clie…☆48Mar 19, 2026Updated last week
- [COLM 2024] SKVQ: Sliding-window Key and Value Cache Quantization for Large Language Models☆24Oct 5, 2024Updated last year
- CernVM-FS Graph Driver for Docker☆24Dec 10, 2018Updated 7 years ago
- 重庆大学国创创业组优秀项目-笑递☆10Feb 15, 2023Updated 3 years ago
- ☆46Jul 1, 2025Updated 8 months ago
- [COLM 2025] DFRot: Achieving Outlier-Free and Massive Activation-Free for Rotated LLMs with Refined Rotation; 知乎：https://zhuanlan.zhihu.c…☆29Mar 5, 2025Updated last year
- Software Engineering Courses in NWPU(Undergraduate)☆43May 22, 2023Updated 2 years ago