Over 1200+ lines of vimrc
☆43Jul 29, 2026Updated 3 months ago
Alternatives and similar repositories for dotvim
Users that are interested in dotvim are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Region growing for automatic spine segmentation☆11Apr 1, 2020Updated 6 years ago
- TensorFlow implementation of CapsNet☆10Apr 3, 2020Updated 6 years ago
- Spring 2021 Short Course materials☆12Dec 2, 2024Updated last year
- Implementation of the model from "Faster sorting algorithms discovered using deep reinforcement learning" that discovered an all-new ult…☆11Aug 29, 2023Updated 3 years ago
- Huffman encoder☆10Sep 8, 2013Updated 13 years ago
- AI Agents on 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.
- Sparse Matrix-Matrix Multiplication Benchmark on Intel Xeon and Xeon Phi (KNC, KNL) from blog post:☆12Sep 25, 2016Updated 10 years ago
- ExtendJ is a Java compiler implemented in reference attribute grammars using JastAdd.☆14Updated this week
- Programs for the IBM 1401☆10Nov 13, 2014Updated 12 years ago
- CPP wrapper for MXNet interface☆10Feb 29, 2016Updated 10 years ago
- Using python with openCV and dlib to switch face in image.☆13Jun 27, 2020Updated 6 years ago
- Repository of experiment for the paper☆10Feb 5, 2024Updated 2 years ago
- BlockCIrculantRNN (LSTM and GRU) using TensorFlow☆14Oct 30, 2018Updated 8 years ago
- ☆13Jun 17, 2019Updated 7 years ago
- Repo for PLAN's verified code generation project☆13Aug 2, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆10Jun 28, 2019Updated 7 years ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆14Nov 4, 2026Updated last week
- ☆13Oct 1, 2026Updated last month
- Premise selection server for Lean☆10Aug 16, 2026Updated 2 months ago
- Footstep planning and Trajectory Optimization☆10Apr 12, 2015Updated 11 years ago
- ☆15Oct 21, 2020Updated 6 years ago
- Code needed to reproduce results from my ICLR 2019 paper on fixed-point quantization of the backprop algorithm.☆10Jan 24, 2019Updated 7 years ago
- Cinematic Particle Effects with OpenCL☆10May 17, 2010Updated 16 years ago
- [DEPRECATED] vim configuration, focusing on neovim☆10Aug 16, 2023Updated 3 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.
- A 3D Slicer extension that generates Digitally Reconstructed Radiographs☆14Apr 25, 2024Updated 2 years ago
- Long Short-Term Memory Neural Networks trained and tested on the TIMIT Acoustic-Phonetic Continuous Speech Corpus.☆11Aug 27, 2017Updated 9 years ago
- Stochastic Gradient Descent SLAM in JavaScript/HTML5. Implementation of SLAM by SGD graph optimization by Olson et al. (2006)☆13Feb 2, 2017Updated 9 years ago
- Personal course notes (in Chinese) for THU CST.☆13Jun 23, 2018Updated 8 years ago
- 在线图书借阅系统 - 2017 THU OOP课大作业☆14Jul 1, 2018Updated 8 years ago
- ☆18Jul 30, 2026Updated 3 months ago
- See http://www.dickgrune.com/Programs/similarity_tester/☆15Dec 2, 2012Updated 13 years ago
- ☆18Dec 25, 2017Updated 8 years ago
- A hardware accelerated IP packet forwarder running on programmable ICs☆15Jan 21, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- learning : A collection of all kinds of resources, videos, pdf, blogs, codes... 📚 + 💻 + ❤☆17Jan 3, 2023Updated 3 years ago
- 编写高质量代码--改善Python程序的91个建议☆12Jun 19, 2015Updated 11 years ago
- ☆14Mar 25, 2025Updated last year
- Lean formalization of CFSG☆21Oct 28, 2026Updated 2 weeks ago
- My Linux configuration files and text-files with notes on Linux subjects☆16Jun 15, 2017Updated 9 years ago
- PrimeSensor Modules for OpenNI☆13Dec 11, 2023Updated 2 years ago
- Replication package for ICSE 2022 submission titled "Automatic Merge Conflict Resolution Tools: The Current State and Barriers to Adoptio…☆12Sep 14, 2021Updated 5 years ago
Are these results useful?