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 1428 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 1428 2
Last post

Popular Backend topics Top

ErlangSolutions
Backend>Libraries/Tools

MongooseIM 4.0 release
MongooseIM is a massively scalable Instant Messaging server, designed to provide flexibility and reliability for almost any messaging use...
#app-chat#backend-development#instant-messaging#xmpp#mongooseim
2 1219 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 1028 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 1035 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 1730 2
New
First poster: bot
Backend>Libraries/Tools

Podman: A Daemonless Container Engine
Podman is an open-source project that is available on most Linux platforms and resides on GitHub. Podman is a daemonless container engine...
podman.io
#podman
0 881 0
New
mudasobwa
Backend>Libraries/Tools

Tarearbol - handy task runner, allowing retries, callbacks, assurance that the task succeeded, and more
Tarearbol provides a handy helper to work with many similar processes under the supervision of Tarearbol.DynamicManager. To build a supe...
rocket-science.ru
/elixir
4 1130 0
New
mudasobwa
Backend>Libraries/Tools

`Tarearbol` Library Update
Tarearbol library that eases the dealing with tasks got a massive update. use Tarearbol.Pool to create worker pools with no boilerplat...
/elixir
3 1222 1
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 1274 0
New
First poster: bot
Backend>Libraries/Tools

Pgvector – vector similarity search for Postgres
Open-source vector similarity search for Postgres
github.com
#postgres
0 1232 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 1047 0
New

Other popular topics Top

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 4622 20
New
AstonJ
General Dev>Hardware

Keyboard thock (sound)
I’ve been hearing quite a lot of comments relating to the sound of a keyboard, with one of the most desirable of these called ‘thock’, he...
/keyboards#mechanical-keyboards
14 9747 8
New
DevotionGeo
General Dev>Code Editors

Dendron: a personal knowledge management tool on top of VSCode
/vscode#visual-studio-code
28 6843 9
New
AstonJ
General Dev>Hardware

GMK Serika Keycaps - Serika 2 available to order now!
I have seen the keycaps I want - they are due for a group-buy this week but won’t be delivered until October next year!!! :rofl: The Ser...
/keyboards#keycaps#mechanical-keyboards
9 4719 7
New
Exadra37
Linux>Chat

RancherOS is in end of life
Oh just spent so much time on this to discover now that RancherOS is in end of life but Rancher is refusing to mark the Github repo as su...
#linux#rancheros
10 5767 6
New
AstonJ
Frontend>Chat

Online Hand to eye coordination test
Was just curious to see if any were around, found this one: I got 51/100: Not sure if it was meant to buy I am sure at times the b...
#online-tools
4 4021 1
New
Help
Game Dev>Questions

Can I use Java to program a game for Nintendo switch?
I am trying to crate a game for the Nintendo switch, I wanted to use Java as I am comfortable with that programming language. Can you use...
/java#nintendo
8 3968 3
New
PragmaticBookshelf
Community>In The Spotlight

Spotlight: Bruce Tate (Author) Interview and AMA!
Author Spotlight: Bruce Tate @redrapids Programming languages always emerge out of need, and if that’s not always true, they’re defin...
/elixir/ruby/phoenix/book-seven-more-languages-in-seven-weeks/book-seven-languages-in-seven-weeks#liveview/book-programming-phoenix-liveview
54 4972 23
New
AstonJ
AI>In The News

DeepSeek (671B) running on a cluster of 8 Mac Mini Pros with 64GB RAM each
This is cool! DEEPSEEK-V3 ON M4 MAC: BLAZING FAST INFERENCE ON APPLE SILICON We just witnessed something incredible: the largest open-s...
#ai#macs/deepseek
0 5576 1
New
NewsBot
Backend>Official News

Node.js v22.14.0 released!
Node.js v22.14.0 has been released. Link: Release 2025-02-11, Version 22.14.0 'Jod' (LTS), @aduh95 · nodejs/node · GitHub
github.com
/nodejs#official-news
0 2585 0
New
Back to top

Sponsor Spotlight

Erlang Solutions

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

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.

EEF

Supporting innovation across the BEAM ecosystem.

coders51

We build reliable cloud platforms for business-critical systems.

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 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.

EEF

Supporting innovation across the BEAM ecosystem.

coders51

We build reliable cloud platforms for business-critical systems.

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 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