Backend>Libraries/Tools

Project Coyote from Microsoft - find and reproduce deep concurrency bugs in your .NET code

OrlaghNeary

OrlaghNeary

Project Coyote from Microsoft - find and reproduce deep concurrency bugs in your .NET code

First time posting here and disclaimer, I work with Microsoft! I partner with Microsoft Research and there are so many cool projects underway we thought it could be useful to share more about them. One such research project is Coyote: Tech Minutes - Project Coyote Coyote gives the ability to write powerful, expressive tests for exercising the concurrency in your code. If useful to this community, when we have new projects I can continue to share. LMK!

2 comments
#microsoft#concurrency#coyote#dot-net
7 1273 2

Most Liked

OrlaghNeary

OrlaghNeary

Thanks Aston! It sure is!

2
Post #4
AstonJ

AstonJ

Welcome Orlagh and thanks for posting about Coyote! Is it designed to be used with .NET? If so I’ve added that to the title and moved to the Backend Libraries section :nerd_face: (if not please let me know!)

Also off-topic… but I loved your Javascript screencasts: Free JavaScript for beginners videos from Microsoft and would love to see you do similar for TypeScript - perhaps you can nudge the team in that direction? :smiley:

1
Post #3

Where Next?

View thread on forum
microsoft
concurrency
coyote
dot-net
Home Backend>Libraries/Tools
#microsoft#concurrency#coyote#dot-net
7 1273 2
Last post

Popular Backend topics Top

First poster: bot
Backend>Libraries/Tools

RuboCop 1.0
RuboCop 1.0. If at first you don’t succeed, call it version 1.0. RuboCop’s development started exactly 7 and half years ago. I made the ...
metaredux.com
/ruby#rubocop
0 928 0
New
First poster: bot
Backend>Libraries/Tools

Rust-GPU
Release Introducing rust-gpu v0.1 :dragon: · EmbarkStudios/rust-gpu. Today, we’re releasing a very early version of rust-gpu - a new pro...
github.com
/rust#rust-gpu
0 806 0
New
First poster: bot
Backend>Libraries/Tools

Pijul - The Mathematically Sound Version Control System Written in Rust
Pijul - The Mathematically Sound Version Control System Written in Rust. In this article, we’ll discuss Pijul - an alpha stage version c...
initialcommit.com
/rust
0 943 1
New
mafinar
Backend>Libraries/Tools

Learning Dart through implementing algorithms
A friend and I implemented a few algorithms in Dart and set them up in a repository. Thought I’d share it here.
/dart#algorithms
4 1540 2
New
First poster: bot
Backend>Libraries/Tools

Zig Playground
An online Zig compiler inspired by Go and Rust. Contribute to gsquire/zig-play development by creating an account on GitHub. https://zi...
github.com
/zig
0 1327 0
New
First poster: bot
Backend>Libraries/Tools

Preface - an opinionated functional programming library for OCaml
Preface Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml. Many ...
github.com
/ocaml#library#programming
0 1181 0
New
First poster: bot
Backend>Libraries/Tools

Gooey: Turn almost any Python command line program into a GUI application
Turn (almost) any Python command line program into a full GUI application with one line
github.com
/python
0 917 0
New
First poster: GermaVinsmoke
Backend>Libraries/Tools

Visual Elixir Reference
This guide collects some of the most common functions of the Elixir Programming Language and explain them conceptual and graphically in a...
superruzafa.github.io
/elixir
22 1224 7
New
crirvine
Backend>Libraries/Tools

An alternative to Java for BPM applications
To my knowledge, up until now, all Business Process Management (BPM) platforms have been Java based. If you are a Java developer and have...
/elixir/java#business-process-management
2 235 0
New
fabforms
Backend>Libraries/Tools

FabForm - The smart form backend service for developers.
I would like to announce updates to fabform.io our form backend service for developers
#web-development#forms
1 143 0
New

Other popular topics Top

AstonJ
General Dev>Dev Chat

Best chairs for developers?
What chair do you have while working… and why? Is there a ‘best’ type of chair or working position for developers?
#workspace#opinions
74 4882 41
New
siddhant3030
General Dev>Dev Chat

Which vertical monitor do you use?
I’m thinking of buying a monitor that I can rotate to use as a vertical monitor? Also, I want to know if someone is using it for program...
#monitors#programming
51 4319 20
New
DevotionGeo
Backend>Chat

Would you use Erlang now when there is Elixir?
Why, if your answer is yes?
/elixir/erlang
167 4400 52
New
AstonJ
General Dev>Hardware

Custom keyboard keycaps
There’s a whole world of custom keycaps out there that I didn’t know existed! Check out all of our Keycaps threads here: https://forum....
#hardware/keyboards#keycaps#mechanical-keyboards
15 8183 19
New
DevotionGeo
General Dev>Code Editors

Dendron: a personal knowledge management tool on top of VSCode
/vscode#visual-studio-code
28 6034 9
New
First poster: bot
General Dev>In The News

The overengineered Solution to my Pigeon Problem
The overengineered Solution to my Pigeon Problem. TL;DR: I built a wifi-equipped water gun to shoot the pigeons on my balcony, controlle...
maxnagy.com
0 4367 0
New
First poster: CommunityNews
AI>In The News

How to fix the eyes in AI-generated images
aidemos.info
0 3038 0
New
husaindevelop
Android>Questions

Clipboard readtext not working in android webview
Inside our android webview app, we are trying to paste the copied content from another app eg (notes) using navigator.clipboard.readtext ...
#android#clipboard
1 3243 0
New
PragmaticBookshelf
Backend>Learning Resources

Engineering Elixir Applications
Develop, deploy, and debug BEAM applications using BEAMOps: a new paradigm that focuses on scalability, fault tolerance, and owning each ...
pragprog.com
#pragprog/elixir#published-book/book-engineering-elixir-applications
40 2292 21
New
AstonJ
AI>Chat

How to: Run DeepSeek on Mac, Windows, and Linux!
This is a very quick guide, you just need to: Download LM Studio: https://lmstudio.ai/ Click on search Type DeepSeek, then select the o...
#macs/deepseek#guides#lm-studio
14 5193 10
New
Back to top

Sponsor Spotlight

WyewWorks

Enabling companies to succeed by building software people love.

Backend>Libraries/Tools

Backend Libraries/Tools ❯

Latest on Devtalk

Devtalk ❯

We ❤️ helpful members!

We reward our most helpful members via our MOTM scheme - by giving away a whopping 25 books per year!

Member of the Month

Devtalk Sponsors

Pragmatic Bookshelf

Practical resources that improve the lives of professional developers.

Erlang Solutions

We build trusted fault-tolerant systems that scale to billions of users.

Honeybadger

Real-time error tracking, performance insights, and observability for devs.

Manning Publications

Develop your skills with books, videos, and courses.

AppSignal

Catch errors, track performance, monitor hosts and more.

WyeWorks

Enabling companies to succeed by building software people love.

Pragmatic Studio

Courses that'll move you from confusion to "Aha, now I get it!"

View all our sponsors ❯

Categories:

Sub Categories:

Popular Portals

Devtalk Sponsors

Pragmatic Bookshelf

Practical resources that improve the lives of professional developers.

Erlang Solutions

We build trusted fault-tolerant systems that scale to billions of users.

Honeybadger

Real-time error tracking, performance insights, and observability for devs.

Manning Publications

Develop your skills with books, videos, and courses.

AppSignal

Catch errors, track performance, monitor hosts and more.

WyeWorks

Enabling companies to succeed by building software people love.

Pragmatic Studio

Courses that'll move you from confusion to "Aha, now I get it!"

View all our sponsors ❯

We're in Beta

About us Mission Statement See our Roadmap