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

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 806 0
New
First poster: bot
Backend>Libraries/Tools

Tex – Use Elixir like a scripting language, across your system
github.com
/elixir
0 836 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 1383 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 635 0
New
First poster: Carter
Backend>Libraries/Tools

Makepad: online code editor written in rust with webgl frontend (demo)
https://makepad.dev/ This thread was posted by one of our members via one of our news source trackers.
makepad.dev
#code/rust#webgl#frontend
7 1336 2
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
#programming#library/ocaml
0 1062 0
New
First poster: bot
Backend>Libraries/Tools

Maddy: Composable all-in-one mail server
Maddy Mail Server implements all functionality required to run a e-mail server. It can send messages via SMTP (works as MTA), accept mess...
maddy.email
0 553 0
New
First poster: bot
Backend>Libraries/Tools

Check If Email Exists - written in Rust
Check if an email address exists without sending any email, written in Rust.
github.com
#email
2 609 0
New
kagermanov27
Backend>Libraries/Tools

Open Source AI Parser for HTML Elements
Daath AI Parser is an open-source application that uses OpenAI to parse visible text of HTML elements. Interactive Example on Replit Li...
#ai#ml/python#machine-learning/html#json#online-tools#dev-tools#chatgpt#parser#gpt3#webscraping#artificial#openai
4 1056 1
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 31 0
New

Other popular topics Top

PragmaticBookshelf
Community>In The Spotlight

Spotlight: Brian P. Hogan (Author)
A PragProg Hero’s Journey with Brian P. Hogan @bphogan Have you ever worried that your only legacy will be in the form of legacy...
#author-spotlight#pragprog
50 3273 20
New
Exadra37
General Dev>Hardware

What monitor(s) do you have for programming?
Please tell us what is your preferred monitor setup for programming(not gaming) and why you have chosen it. Does your monitor have eye p...
#monitors#coding#programming#development
227 8432 88
New
brentjanderson
General Dev>Hardware

Moonlander Keyboard (Mechanical) (Ergonomic) (Split) (Ortholinear)
Bought the Moonlander mechanical keyboard. Cherry Brown MX switches. Arms and wrists have been hurting enough that it’s time I did someth...
/keyboards#hardware#moonlander#mechanical-keyboards#ortholinear#ergonomic
212 14702 90
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 7896 19
New
AstonJ
General Dev>Hardware

BIIP MT3 Extended 2048 Custom Keycap Set (Drop)
This looks like a stunning keycap set :orange_heart: A LEGENDARY KEYBOARD LIVES ON When you bought an Apple Macintosh computer in the e...
/keyboards#apple#mechanical-keyboards#keycaps
14 5830 7
New
PragmaticBookshelf
Community>In The Spotlight

Spotlight: Noel Rappin (Author)
“Finding the Boundaries” Hero’s Journey with Noel Rappin @noelrappin Even when you’re ultimately right about what the future ho...
#author-spotlight#web-development/rails/book-modern-front-end-development-for-rails/book-rails-5-test-prescriptions
34 3668 21
New
AstonJ
Backend>Chat

How to install Ruby 3 with ASDF
In case anyone else is wondering why Ruby 3 doesn’t show when you do asdf list-all ruby :man_facepalming: do this first: asdf plugin-upd...
/ruby#asdf
11 5145 4
New
mafinar
Backend>Chat

Data Structures and Algorithms with Elixir
This is going to be a long an frequently posted thread. While talking to a friend of mine who has taken data structure and algorithm cou...
/elixir#algorithms#data-structures
108 8869 31
New
First poster: CommunityNews
AI>In The News

How to fix the eyes in AI-generated images
aidemos.info
0 2757 0
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...
/ruby/elixir/book-programming-phoenix-liveview/phoenix#liveview#book-seven-moreuages-in-seven-weeks#book-sevenuages-in-seven-weeks
54 4335 23
New
Back to top

Latest in Libraries/Tools

MCP Server for Hex Package versions
Backend Libraries/Tools
FabForm - The smart form backend service for developers.
Backend Libraries/Tools
An alternative to Java for BPM applications
Backend Libraries/Tools
InterProcessPyObjects - high-performance and seamless sharing and modification of Python objects between processes
Backend Libraries/Tools
Open Source AI Parser for HTML Elements
Backend Libraries/Tools
Parser for Markdown Family
Backend Libraries/Tools
YOCaml - yet another static site generator, mostly written in OCaml
Backend Libraries/Tools
Visual Elixir Reference
Backend Libraries/Tools
Check If Email Exists - written in Rust
Backend Libraries/Tools
Rhizome – a JIT for Ruby, implemented in pure Ruby
Backend Libraries/Tools
Maddy: Composable all-in-one mail server
Backend Libraries/Tools
Gooey: Turn almost any Python command line program into a GUI application
Backend Libraries/Tools
Project Coyote from Microsoft - find and reproduce deep concurrency bugs in your .NET code
Backend Libraries/Tools
Ema: Haskell static site generator with hot reload
Backend Libraries/Tools
Pgvector – vector similarity search for Postgres
Backend Libraries/Tools
Preface - an opinionated functional programming library for OCaml
Backend Libraries/Tools
Zig Playground
Backend Libraries/Tools
Bash-LSP: A language server for Bash
Backend Libraries/Tools
Deep Daze - Text to Image Generation
Backend Libraries/Tools
`Tarearbol` Library Update
Backend Libraries/Tools

View all threads ❯

Latest (all)

Cell Mates: Extracting Useful Information From Tables for LLMs
AI In The News
Odin, A Pragmatic C Alternative with a Go Flavour
Backend In The News
What's new in Swift 6.2?
iOS In The News
New Tool: lsds - List All Linux Block Devices and Settings in One Place - Tanel Poder Consulting
Linux In The News
Kodee’s Kotlin Roundup: Compose Multiplatform for iOS is Stable (Plus AI, Web, and More!)
Backend Official News
Write the most clever code you possibly can
In The News
Dasung Paperlike 13K is a 13.3 inch E Ink color monitor - Liliputing
In The News
V weekly.2025.19 released!
Backend Official News
Wikidive - AI-Guided Wikipedia Exploration
AI In The News
Node.js v24.0.1 released!
Backend Official News
Mind-reading AI recreates what you're looking at with amazing accuracy
AI In The News
Why do LLMs have emergent properties?
AI In The News
Announcing Ivar: Ruby’s Missing Instance Variable Typo Warnings
Backend In The News
DOGE software engineer’s computer infected by info-stealing malware
In The News
Google hits back after Apple exec says AI is hurting search
macOS In The News

View all threads ❯

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.

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:

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.

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