When starting with a fresh install of Windows, these are my dev tools. All in one script for quick-and-easy installation. Run it, go make coffee, come back to a complete dev box!
☆35Aug 2, 2024Updated last year
Alternatives and similar repositories for windows-development-environment
Users that are interested in windows-development-environment are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated last year
- An ANTLR4 grammar for ECMAScript 5.1☆16Jul 13, 2017Updated 8 years ago
- Generator of binary installers for libraries built by vcpkg, alpha version.☆11Aug 5, 2021Updated 4 years ago
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆17Mar 26, 2026Updated 2 months ago
- A C++ Library for Dealing with Semantic Versioning☆11Mar 17, 2020Updated 6 years 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 large dataset of 4.2m Java source code and parallel data of their description from code search, and code summarization studies.☆55Feb 24, 2022Updated 4 years ago
- OpenCL based volume renderer for scalar fields.☆10Oct 27, 2023Updated 2 years ago
- Make std::mdspan formattable by std::format.☆11Dec 25, 2023Updated 2 years ago
- An Opinionated Formatter for Verus☆20Jun 10, 2026Updated last week
- A Systematic Literature Review of Deep Learning in Software Engineering☆20Aug 28, 2024Updated last year
- A Python 3 compatible fork of https://launchpad.net/pymeta☆18Jan 9, 2019Updated 7 years ago
- Build languages on Python.☆12May 2, 2021Updated 5 years ago
- ☆13Jan 18, 2025Updated last year
- Accessible and modern implementations of common optimization algorithms.☆15Jul 10, 2023Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- AI-assisted verification of Dafny Programs☆20Nov 9, 2025Updated 7 months ago
- Parseltongue is a DSL for systems which refuse to speak falsehood☆91Apr 28, 2026Updated last month
- Rayray is a baby ray tracer written in C++.☆18Aug 29, 2019Updated 6 years ago
- [DL4C @ ICLR 2025] A Benchmark for Automated Environment Setup☆37Nov 9, 2025Updated 7 months ago
- ☆16Jan 4, 2024Updated 2 years ago
- The ASF+SDF Meta-Environment is an inter-active IDE for language prototyping, source code analysis and source-to-source transformation. I…☆17Nov 15, 2012Updated 13 years ago
- A GitHub action to run clang-tidy and annotate failures☆14Jul 12, 2023Updated 2 years ago
- Flutter utilities☆19Jun 10, 2026Updated last week
- Visual graph rewriting platform☆10Jun 3, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A Python SpaceTraders library for interacting with the API☆14Dec 5, 2023Updated 2 years ago
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆16Aug 19, 2022Updated 3 years ago
- Jenkins job definitions for OSSCI☆10Jan 5, 2022Updated 4 years ago
- [alpha] Expose Julia functions to PyTorch☆15Aug 9, 2019Updated 6 years ago
- Simple interactive command line timetracker.☆11Jul 1, 2020Updated 5 years ago
- Universal Python binding for the LMDB 'Lightning' Database☆13Nov 7, 2017Updated 8 years ago
- Generic server for collaborative code analysis☆13Dec 19, 2016Updated 9 years ago
- High level overview of Rust☆19Oct 13, 2021Updated 4 years ago
- Simple image classifier that introduces machine learning with Codespaces☆22Sep 30, 2022Updated 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.
- Keras implementation of the article "Solving internal covariate shift in deep learning with linked neurons"☆13Dec 8, 2017Updated 8 years ago
- The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)☆10Jan 11, 2021Updated 5 years ago
- Windows Update KB971513 for IUIAutomation, The XP version link is dead on https://support.microsoft.com/en-us/kb/971513. Here is a copy.☆12Oct 20, 2016Updated 9 years ago
- Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations☆18Dec 15, 2012Updated 13 years ago
- SamrSearch can get user info and group info with MS-SAMR.☆15Feb 15, 2022Updated 4 years ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆11Sep 11, 2024Updated last year
- CURRENNT -- CUDA-enabled machine learning library for recurrent neural network☆16Feb 20, 2020Updated 6 years ago