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
- 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.
- GroverZhu's Blog☆10Sep 6, 2023Updated 2 years ago
- ☆26Jul 10, 2025Updated 9 months 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
- A pipeline for 3D face recognition(FR), including data preprocessing, feature extraction and face recognition. Suit for consumer RGB-D ca…☆21Apr 29, 2019Updated 7 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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 7 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 8 months ago
- ☆24Updated this week
- Zero-code LLM security & observability proxy. Real-time prompt injection detection, PII scanning, and cost control for OpenAI-compatible …☆47Updated this week
- Gradient-domain Volumetric Photon Density Estimation, SIGGRAPH 2018☆39Apr 24, 2023Updated 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.
- ☆15Nov 21, 2020Updated 5 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
- Build event-trigger based automation across your SaaS tools☆17Oct 3, 2023Updated 2 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
- This a query auto-completion system can be used in any searching scenario☆22Mar 23, 2018Updated 8 years ago
- GitHub development on VFSForGit [please fork upstream microsoft/VFSForGit repository instead of this one]☆22Apr 21, 2022Updated 4 years ago
- Distributed consensus system with Map interface based on Apache Ratis☆28Nov 27, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- [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
- [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
- ☆47Jul 1, 2025Updated 10 months ago
- Software Engineering Courses in NWPU(Undergraduate)☆44May 22, 2023Updated 2 years ago
- Homework of Andrew Ng's "Machine Learning" course in Coursera☆116Jun 26, 2018Updated 7 years ago