Source code behind the Microsoft Research project Ada
☆14Mar 25, 2026Updated 2 weeks ago
Alternatives and similar repositories for ada
Users that are interested in ada are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Get Windows System Root certificates☆16Jan 21, 2026Updated 2 months ago
- ☆12Oct 30, 2024Updated last year
- Samples for Microsoft Security DevOps integrations.☆16Jul 16, 2025Updated 8 months ago
- A standardization of VS Code theme creation workflow with reusable components.☆13Mar 27, 2022Updated 4 years ago
- Tools for viewing and managing Windows network configurations☆48Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- MFCStoreClient is an example of how to access Windows Store APIs from a C++ MFC app.☆20Sep 1, 2022Updated 3 years ago
- Accelerated ray tracing in Schwarzschild spacetime☆14Aug 24, 2019Updated 6 years ago
- Fork of chromium depot_tools☆18Apr 30, 2020Updated 5 years ago
- Display live statistics during .NET garbage collections☆13May 23, 2024Updated last year
- Grupo de Usuários do OpenBSD☆10Oct 17, 2023Updated 2 years ago
- An event sourcing library for Gleam.☆19Aug 26, 2024Updated last year
- In-memory key-value store for testing applications against weak behaviors of a database.☆11Feb 4, 2021Updated 5 years ago
- SuperConvert is a C# library that provides easy and efficient conversion between JSON and various data formats.☆15Dec 29, 2023Updated 2 years ago
- Exploration Library in C++☆16Jun 13, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Native node module to access the Windows Registry☆39Mar 26, 2026Updated 2 weeks ago
- Cpp Socket Programming Tutorial☆10Jun 9, 2021Updated 4 years ago
- This contain the source course for Spring Boot : Complete guide from development to deployment☆14Feb 14, 2019Updated 7 years ago
- Random small Raspberry Pico projects☆17Dec 27, 2021Updated 4 years ago
- Java multithreading course at Udemy☆12Oct 1, 2020Updated 5 years ago
- ☆11Feb 5, 2019Updated 7 years ago
- C# API SDK which enables you to seamlessly integrate the Bitmovin API into your projects☆15Apr 1, 2026Updated last week
- Building Games with SFML [Video] by Packt Publishing☆10Jan 20, 2021Updated 5 years ago
- Project of video synopsis☆10May 18, 2016Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Tool for processing and analyzing pressure measurements☆19Feb 24, 2026Updated last month
- Common source and libraries used by IIS projects☆25Mar 21, 2025Updated last year
- Many Dotnet Web API examples. Documentation (Swagger / OpenAPI), ReturnCodes, Cache, Datatype Extensions and other algorithm tests.☆13Jul 29, 2022Updated 3 years ago
- Tutorial and Reference for writing network applications with Boost.Asio☆15Oct 31, 2023Updated 2 years ago
- pmt☆15Sep 17, 2025Updated 6 months ago
- Utilities for the Arduino framework☆13Apr 9, 2020Updated 6 years ago
- Plotter attachment for the Ender 3 3D printer to allow for printing onto non-standard materials/objects☆37Mar 6, 2024Updated 2 years ago
- Development Guidelines☆18Sep 12, 2022Updated 3 years ago
- MATLAB-based FIR filter and profile designer☆10Jan 25, 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.
- Python program for EOF analysis of MIKE 21 data to enable training of Sparse Gaussian Process models to predict flood inundation extent.☆10Apr 11, 2024Updated last year
- Custom firmware images for the CC2650 based TI SensorTag☆13May 26, 2018Updated 7 years ago
- Introduction to Machine Learning C++ Libraries, published by Packt☆20Jan 14, 2021Updated 5 years ago
- A tool to convert MIDI controller inputs into UDP packets☆18Sep 24, 2024Updated last year
- A C++ library for information theory and probability☆16Jun 26, 2023Updated 2 years ago
- Working files for the Docker and Kubernetes course from Udemy taught by Stephen Grider (StephenGrider)☆13Jan 25, 2023Updated 3 years ago
- ☆11Feb 25, 2023Updated 3 years ago